Equivalence of definitions of periodic nilpotent group

This article gives a proof/explanation of the equivalence of multiple definitions for the term periodic nilpotent group
View a complete list of pages giving proofs of equivalence of definitions

Statement

The following are equivalent for a group $G$:

1. It is both locally finite (every finitely generated subgroup is finite) and nilpotent.
2. It is both periodic (every element has finite order) and nilpotent.
3. It is a nilpotent group and also a group generated by periodic elements: it has a generating set where all the elements have finite orders.
4. Its abelianization is a periodic abelian group.
5. It is a nilpotent group and all the quotient groups between successive members of its lower central series are periodic abelian groups.
6. It is a restricted direct product of nilpotent p-groups, with a common bound on their nilpotency class.

Related facts

• Root set of a subgroup for a set of primes in a nilpotent group is a subgroup

Facts used

1. All successive quotients between lower central series members of a group are homomomorphic images of tensor powers of the abelianization.
2. [[uses::Equival

Proof

(1) implies (2)

This is obvious from the general fact that locally finite implies periodic. We do not use that $G$ is nilpotent for this implication.

(2) implies (3)

This is obvious from the general fact that any periodic group is a group generated by periodic elements -- in fact, we could take the generating set as the set of all elements. Note that this step again does not use anything about $G$ being nilpotent.

(3) implies (4)

Suppose $S$ is a generating set for $G$ that comprises only elements of finite order. Under the quotient map from $G$ to its abelianization, the image of $S$ is a generating set for the abelianization of $G$. Since the abelianization is an abelian group, being generated by a set of elements all of finite order is equivalent to the whole group being a periodic group, and hence a periodic abelian group.

(4) implies (5)

Denote by ${\gamma }_i(G)$ the $i^{th}$ member of the lower central series of $G$. Each of the successive quotients ${\gamma }_i(G)/{\gamma }_{i+1}(G)$ is a homomorphic image of a tensor power of the abelianization of $G$ by Fact (1). Since the abelianization of $G$ is periodic, each ${\gamma }_i(G)/{\gamma }_{i+1}(G)$ is periodic.

(5) implies (1)

We use Fact (2) to note that all the quotients between successive members of the lower central series are in fact locally finite. Fact (3) now completes the proof.

Equivalence with (6)

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.