A group having a normal series
such that every quotient lies in the centre of (a so-called central series). The length of a shortest central series of a nilpotent group is called its class (or degree of nilpotency). In any nilpotent group the lower (and upper) central series (see Subgroup series) breaks off at the trivial subgroup (the group itself), and their lengths are equal to the nilpotency class of the group.
The finite nilpotent groups are exhausted by direct products of -groups, that is, groups of orders , where is a prime number. In any nilpotent group the elements of finite order form a subgroup, the quotient group by which is torsion free. The finitely-generated torsion-free nilpotent groups are exhausted by the groups of integral triangular matrices with 1's along the main diagonal, and their subgroups. Every finitely-generated torsion-free nilpotent group can be approximated by a finite -group for every prime . Finitely-generated nilpotent groups are polycyclic groups (cf. Polycyclic group) and, moreover, have a central series with cyclic factors.
All nilpotent groups of class at most form a variety (see Variety of groups), defined by the identity
The free groups of this variety are called free nilpotent groups. Concerning completions of torsion-free nilpotent groups see Locally nilpotent group.
|||A.G. Kurosh, "The theory of groups" , 1–2 , Chelsea (1955–1956) (Translated from Russian)|
|||M.I. Kargapolov, J.I. [Yu.I. Merzlyakov] Merzljakov, "Fundamentals of the theory of groups" , Springer (1979) (Translated from Russian)|
Let be a group and some relation (or, more generally, a predicate) that can hold between elements of groups and/or between sets of elements of groups. For instance, could be the relation of equality, the relation "the element g belongs to the subgroup H" , or the relation of conjugacy between subsets of a group. Let be a class of groups. Then one says that the group is approximable by the groups from with respect to the relation if whenever the relation does not hold in (between elements, subsets, or between an element and a subset), then there is a homomorphism from into a group from such that the relation also does not hold between the images under this homomorphism. I.e. the homomorphisms , , suffice to detect whether elements (subsets) are -different.
If the relation is equality, then one simply says that the group is approximable by the groups from .
Concerning approximability cf. also Residually-finite group.
Nilpotent group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Nilpotent_group&oldid=13294