Développement : Condition de cyclicité des (Z/nZ)^x

Détails/Enoncé :

Pour $n \geq 1 $,
$$ \left( \textbf{Z} / n \textbf{Z} \right) ^{\times} \ \text{est cyclique} \ \Longleftrightarrow \ n = 1, 2, 4, p^{\alpha} \ \text{ou} \ 2p^{\alpha}, \ \text{avec} \ p \geq 3 \ \text{premier et } \alpha \geq 1.$$

Versions :