Assertion: abelian group's subgroup | /r/HasProperty | h i
Facets:
Source sentences:
text: ; in other words, G is generated by the subgroups {H i }.