Assertion: abelian group's element | /r/CapableOf | generate whole group
Facets:
Source sentences:
text: Any nontrivial element generates the whole group.
text: If there is a unique maximal subgroup, then any element outside the maximal subgroup generates the whole group, and hence itself is cyclic, and in particular, is non-Abelian.