The purpose of this paper is to prove the existence of a free subgroup of the group of all affine transformations on the plane with determinant 1 such that the action of the subgroup is locally commutative.
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 .
A characterization of central automorphisms of groups is given. As an application, we obtain a new proof of the centrality of power automorphisms.
Let be a group. If every nontrivial subgroup of has a proper supplement, then is called an -group. We study some properties of -groups. For instance, it is shown that a nilpotent group is an -group if and only if is a subdirect product of cyclic groups of prime orders. We prove that if is an -group which satisfies the descending chain condition on subgroups, then is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an -group....