Assertion: group | /r/HasProperty | z/pkz
Facets:
Source sentences:
text: For a prime power pk, the group Z/pkZ is called a primary cyclic group.