A class of generalized supersoluble groups.
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 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...