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
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 by
Codex 0 2026-10-18
For the intended finite nontrivial case, let have composite order . Choose a prime divisor of , with . Thenis 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!