Assertion: quotient group | /r/HasProperty | z/nz
Facets:
Source sentences:
text: All quotient groups Z/nZ are finite, with the exception Z/0Z = Z/{0}.
text: For every positive divisor d of n, the quotient group Z/nZ has precisely one subgroup of order d, generated by the residue class of n/d.