Développement : Condition nécessaire et suffisante pour que Z/nZ* soit cyclique

Détails/Enoncé :

$((\mathbb{Z}/n\mathbb{Z})^*,\times)$ est cyclique si et seulement si $n$ est de la forme:
\begin{equation*}
\begin{cases}
n = 1,2,4,\\
n = p^\alpha, \text{ avec } p\geq3\text{ et } \alpha\geq1,\\
n = 2p^\alpha \text{ avec } p\geq3\text{ et } \alpha\geq1.
\end{cases}
\end{equation*}

Versions :

Références utilisées dans les versions de ce développement :

Carnet de voyage en Algébrie, Philippe Caldero, Marie Peronnier (utilisée dans 105 versions au total)
Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 449 versions au total)