Assertion: abelian group's subgroup | /r/HasProperty | i
Facets:
Source sentences:
text: As to its motivation, consider that the composition series of a finite group is a finite sequence of subgroups {A i }, where each A i+1 is an extension of A i by some simple group.