Assertion: abelian group's image | /r/HasProperty | cyclic subgroup
Facets:
Source sentences:
text: The image (Z n ) is the cyclic subgroup generated by [m] k .