Assertion: abelian group's subgroup | /r/HasProperty | cyclic of order
Facets:
Source sentences:
text: For the Hom group, recall that it is isomorphic to the subgroup of Z / nZ consisting of the elements of order dividing m. That subgroup is cyclic of order gcd(m, n), which completes the proof.