Assertion: group's number | /r/HasAspect | nontrivial divisors
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.