Homepage › Solution manuals › David A. Cox › Galois Theory › Exercise 9.1.10
Exercise 9.1.10
Prove that a cyclic group of order has generators.
Answers
Proof. More generally, we prove that a cyclic group of order has elements of order if (0 otherwise !).
Let a generator of : .
Every element is of the form . Recall (see Exercise 3), that
If , there is no element of order by Lagrange’s Theorem, and if ,
Indeed, if , then there exists , with , such that
, so . As , .
Conversely, if , then
The elements of order in are thus the elements , where
The mapping defined by is so a bijection.
Hence there exist exactly elements of order in , for every factor of . In particular, there exist elements of order in , hence generators in a cyclic group of order . □