Assertion: abelian group's element | /r/HasProperty | unique
Facets:
Source sentences:
text: Such an element is unique (see below), and thus one speaks of the identity element.
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.