\((\mathbb{Z}/p\mathbb{Z})^\times\) is Cyclic

\(\textbf{Proposition 1. }\)If \(p\), \(q\) are primes with \(q^k | (p-1)\), then \((\mathbb{Z}/p\mathbb{Z})^\times\) contains an element of order \(q^k\).

\(\textbf{Proof. }\)


References