Assertion: abelian group | /r/HasProperty | supersolvable
Facets:
Source sentences:
text: An abelian group is supersolvable if and only if it is finitely generated.
text: In fact, all supersolvable groups are finitely generated, and an abelian group is supersolvable if and only if it is finitely generated.