Développement : Irréductibilité des polynômes cyclotomiques sur Q[X]

Tintin

Il faut bien défendre le développement pour la leçon 125 en insistant sur le corollaire. De plus, si le développement est un peu court on peut redémontrer le lien entre les éléments irréductibles de A[X] et ceux de Frac(A)[X] ou bien redémontrer que les polynômes cyclotomiques sont bien dans Z[X].

N'hésitez pas à me contacter si vous constatez ce qui semble être une erreur (typographie, mathématique, etc).

Mathis Lemay

Je démontre le lemme de Gauss d'abord (dans le Perrin), puis le lemme sur les polynômes ensuite (Gozard) et enfin le théorème (Gozard). A force de m'entraîner, j'arrivais à faire les 3 en 15 minutes mais il faut être rapide et ne pas hésiter. On peut ne pas faire le lemme de Gauss, je le faisais seulement pour que ça rentre dans la 142...
Comme le dit Tintin, pour mettre ça dans la 125, il faut remplacer le lemme de Gauss par un dernier lemme qu'on démontre après donnant le fait que toute racine primitive de l'unité est algébrique et donnant le degré de l'extension.
Il faut comprendre pourquoi démontrer que si $u$ est racine de $f$ alors pour tout $p$ premier ne divisant pas $n$, $u^p$ est aussi racine de $f$ implique que toutes les racines primitives de l'unité sont racines de $f$. J'avais mis le détail en haut de la 2e page mais ce n'est pas passé au scan...
Désolé, la 2e page est un peu coupée, mais tout est dans les références.

Jeanclaudedu77

Assez élégant.

Mr_Syndrome

Pour les leçons : 102, 120(on utilise grandement la réduction modulo p), 123(on se place dans Z/pZ et on utilise le morphisme de Frobenius), 125, 127, 141, 144,
Attention, ce développement est assez difficile, il faut donc être bien sûr de soi si on le présente et faire attention à tous les petits détails de la preuve. Par exemple, dans la démonstration du Perrin, il y a beaucoup d'arguments qui sont passés sous silence, et sur lesquels le jury vous interrogera obligatoirement !
Je mets aussi un PDF général sur les polynômes cyclotomiques, qui contient également le développement (mieux rédigé que mon développement original car relu par un prof).

Marmiton

J’adore ce développement, clairement mon préféré ! Le Gozard contourne magnifiquement la division euclidienne dans Z[X] qui peut exister sous certaines conditions, c’est parfait pour ceux qui ne sont pas à l’aise sur ce sujet !

Recasages : 102 - 122 - 141 - (125)

Pour la 125, je peux comprendre le recasage, surtout qu’on peut parler d’extensions Cyclotomiques juste après mais bon… il y a la réduction des Cyclotomiques dans Fp qui me semble bien plus pertinente. Idem pour les leçons 120, 121 et 144 : oui il y a un lien, mais l’étude des polynômes Cyclotomiques dans Fp semble bien plus approprié (le carnet de voyage en Algebrie propose ce développement d’ailleurs).