Show that:
For every odd prime p and every $\displaystyle r \geq 1$, the Group $\displaystyle (\mathbb{Z}/p^r\mathbb{Z})^{*}$ (multiplicative group of remainders modulo p^r that are coprime to p) is cyclic.

Hint: Induction on r. You may use the existence of primitive roots modulo primes.