Assertion: quotient group | /r/HasProperty | simple
Facets:
Source sentences:
text: Thus, since a prime number p has no nontrivial divisors, pZ is a maximal proper subgroup, and the quotient group Z/pZ is simple; in fact, a cyclic group is simple if and only if its order is prime.