Assertion: abelian group's subgroup | /r/CapableOf | generate whole group
Facets:
value: together
type: MANNER
Source sentences:
text: A subgroup of three elements (generated by a cyclic rotation of three objects) with any distinct nontrivial element generates the whole group.
text: If the given subgroup is normal in a bunch of intermediate subgroups that together generate the whole group, it is normal in the whole group.