Assertion: abelian group's subgroup | /r/HasProperty | \rangle\
Facets:
Source sentences:
text: the cyclic subgroup \(\langle a \rangle\) is normal.