Assertion: finite group | /r/HasProperty | isomorphic
Facets:
value: to z/nz
type: LOCATION
Source sentences:
text: Every finite cyclic group G is isomorphic to Z/nZ, where n = |G| is the order of the group.