Assertion: abelian group's subgroup | /r/HasProperty | the quotient
Facets:
Source sentences:
text: where every subgroup is the commutator subgroup of the previous one, eventually reaches the trivial subgroup of G. These two definitions are equivalent, since for every group H and every normal subgroup N of H, the quotient H/N is abelian if and only if N includes the commutator subgroup of H. The least n such that G(n)