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!