Nilpotence criterion for an abelian-by-cyclic group

ID: nilpotence-criterion-for-an-abelian-by-cyclic-group

For , the commutator is in additive notation. The lower central series from its second term is . It terminates exactly when is a nilpotent matrix. For rank two this means , equivalently and . Nilpotence of a finite-index subgroup alone gives virtual nilpotence of the whole group.

New to topics? Read the docs here!