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

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