@@How this problem works

@@FP



@@ABELIAN

@@NILPOTENT

\ni We check whether all of the commutators of the generators are trivial
to determine if the subgroup is abelian.

\ni For a general discussion of finitely generated nilpotent groups, see
@Nilpotent_groups@Nilpotent_groups::
General discussion@

@@FREE

@@AP_FREE

@@AP_FREE_CYCLIC

@@SMALL_CANCELLATION

@@ONE_RELATOR

















