-elements in groups and Dietzmann classes.
We prove that if is an integer and is a finitely generated soluble group such that every infinite set of elements of contains a pair which generates a nilpotent subgroup of class at most , then is an extension of a finite group by a torsion-free -Engel group. As a corollary, there exists an integer , depending only on and the derived length of , such that is finite. For , such depends only on .
Let be the class of groups satisfying the minimal condition on normal subgroups and let be the class of groups of finite lower central depth, that is groups such that for some positive integer . The main result states that if is a finitely generated hyper-(Abelian-by-finite) group such that for every , there exists a normal subgroup of finite index in satisfying for every , then is finite-by-nilpotent. As a consequence of this result, we prove that a finitely generated hyper-(Abelian-by-finite)...
Let ϕ be an automorphism of prime order p of the group G with C G(ϕ) finite of order n. We prove the following. If G is soluble of finite rank, then G has a nilpotent characteristic subgroup of finite index and class bounded in terms of p only. If G is a group with finite Hirsch number h, then G has a soluble characteristic subgroup of finite index in G with derived length bounded in terms of p and n only and a soluble characteristic subgroup of finite index in G whose index and derived length are...
We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic...
Let G be a non-periodic locally solvable group. A characterization is given of the subgroups-D of G for which the map , for all , defines a lattice-endomorphism.