Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2013/paper-2/8/v/solution

For the intended finite nontrivial case, let have composite order . Choose a prime divisor of , with . Then
is a nontrivial proper cyclic subgroup of order . Indeed , and no smaller positive power is the identity because has order . Thus .
If the source also allows an infinite cyclic group, is a proper cyclic subgroup: its powers have even exponents and do not include . The trivial group, of order one, is an exception to the literal formulation “not of prime order”: it has no proper subgroup at all. The nontriviality assumption is therefore necessary for that general wording. These facts are instances of subgroups and quotients of a cyclic group.

New to topics? Read the docs here!