Assertion: abelian group's element | /r/HasProperty | m
Facets:
Source sentences:
text: Z k is completely determined by ( n ), and this must be an element [m] k of Z k whose order is a divisor of n.