Développement : Irréductibilité des polynômes cyclotomiques et application aux extensions finies de Q

Détails/Enoncé :

Démonstration classique de l'irréductibilité des polynômes cyclotomiques, et on montre en application qu'une extension finie de Q contient un nombre fini de racines de l'unité.

Versions :

  • Auteur :
  • Remarque :
    D'après moi pour les leçons : 102, 125 et 141 (ne pas tenir compte du 126 dans le document, je ne sais pas pourquoi je l'ai mis).

    Le développement tient bien en 15 mins, juste admettre le "rectangle noir" du 3) du document, c'est une partie facile et c'est tout benef si on vous demande de le démontrer après...

    NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
    J'écris assez mal également, toutes mes excuses.
  • Références :
  • Fichier :
  • Auteur :
  • Remarque :
    Recasages: 102, 141

    Page 82

    Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil
  • Référence :
  • Fichier :

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

Cours d'algèbre , Perrin (utilisée dans 284 versions au total)
Exercices d'algèbre , Ortiz (utilisée dans 9 versions au total)