相关论文: A generalized argument for dominions in varieties …

In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of…

We investigate the concept of dominion (in the sense of Isbell) in several varieties of nilpotent groups. We obtain a full description of dominions in the variety of nilpotent groups of class at most two. Then we look at the behavior of…

Dominions, in the sense of Isbell, are investigated in the context of decomposable varieties of groups. An upper and lower bound for dominions in such a variety is given in terms of the two varietal factors, and the internal structure of…

Let~$S$ be a finite nonabelian simple group, and let $H$ be a subgroup of $S$. In this work, the dominion (in the sense of Isbell) of $H$ in $S$ in rmVar(S)$ is determined, generalizing an example of B.H. Neumann. A necessary and sufficient…

A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy…

We give necessary and sufficient conditions for weak and strong embeddability of amalgams in each subvariety of the category of all nilpotent groups of class at most two; this generalizes B. Maier's result for the latter class. We also…

We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.

We introduce the notion of a powerfully solvable group. These are powerful groups possessing an abelian series of a special kind. These groups include in particular the class of powerfully nilpotent groups. We will also see that for a…

The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.

We discuss a very general Kirillov Theory for the representations of certain nilpotent groups which gives a combined view an many known examples from the literature.

Some results that are true in classical groups are investigated in generalized groups and are shown to be either generally true in generalized groups or true in some special types of generalized groups. Also, it is shown that a Bol groupoid…

A variety of groups does not contain all metabelian groups if and only if there is an absolute bound for the nilpotency classes of powerful $p$-groups in the given variety. Similarly, a variety contains only finitely many finite $p$-groups…

The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.

Using the description of dominions in the variety of nilpotent groups of class at most two, we give a characterization of which groups are absolutely closed in this variety. We use the general result to derive an easier characterization for…

The notion of essential submodules and essential extensions of modules are extended to groups (typically nonabelian), and several necessary and sufficient conditions for a group to possess a proper essential subgroup are investigated.…

The article $-$ part of a larger thesis which aims to give a detailed description of the generalisation to the category of groups with operators of the classical theory of semisimplicity for modules $-$ presents a straightforward…

In problems involving the allocation of a single non-disposable commodity, we study rules defined on a general domain of preferences requiring only that each preference exhibit a unique global maximum. Our focus is on rules that satisfy a…

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…

Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that…