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 :

  • Auteur :
  • Remarque :
    Attention : dans l'énoncé du théorème 3, p doit être supérieur ou égal à 3 (je ne le précise pas ; je le modifierai prochainement).

    Il est possible que je change de référence aussi, parce que je n'aime pas trop la façon dont la preuve est présentée dans le Perrin...

    Je donne aussi un peu plus de détails, mais peut-être que le lemme 2 ne serait pas à prouver à l'oral (sauf demande du jury a posteriori).

    Attention aux coquilles.
  • Référence :
  • Fichier :