Irréductibilité des polynômes cyclotomiques sur Z

DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE
Irréductibilité des polynômes cyclotomiques sur Z
Leçons : 102, 141, 120,121,144
[Per], théorème 4.10
Théorème
Soit nN; le polynôme cyclotomique Φn(qui est dans Z[X]) est irréductible sur Z, donc sur Q.
Démonstration :
Étape 1 : Par récurrence forte, on va commencer par montrer que nN,ΦnZ[X].
Si n=1, on a bien Φ1=X1Z[X].
Soit n>1, on suppose : k[[1, n1]],ΦkZ[X].
Soit F=
d|n
d6=n
Φd; on a FZ[X]et Funitaire. D’une part, ΦnF=Xn1. 1
Et comme Fest unitaire, on peut faire la division euclidienne de Xn1 par Fdans Z[X]:
Xn1=PF +Ravec P,RZ[X]et deg R<deg F.
Cette division euclidienne est aussi vraie dans C[X]; elle y est même unique, et on obtient : P=Φn
et R=0.
Conséquemment, ΦnZ[X].
Étape 2 : Soit ξCune racine primitive nede l’unité ; soit ppremier, avec p-n.
Ainsi, ξpest aussi une racine primitive nede l’unité, on note ω=ξp.
Étape 3 : Soit πξ(respectivement πω) le polynôme minimal de ξ(resp. ω) sur Q.
On va montrer que πξet πωsont des éléments de Z[X].
Zest un anneau euclidien, donc a fortiori, Zest factoriel, donc Z[X]est un anneau factoriel. 2
Donc on peut écrire Φn=
r
i=1
Fαi
i, où les Fisont irréductibles dans Z[X]et les αisont dans N.
Quitte à multiplier les Fipar 1, comme Φnest unitaire, on peut supposer que les Fisont unitaires.
Comme Φn(ξ) = Φn(ω) = 0 ; i0[[1, r]],Fi0(ξ) = 0 et i1[[1, r]],Fi1(ω) = 0.
Mais comme Fi0et Fi1sont irréductibles dans Z[X](donc dans Q[X]) et unitaires, ce sont les poly-
nômes minimaux de ξet ω, sur Q.
Conséquemment, Fi0=πξet Fi1=πω.
Ainsi, on a montré que πξ
Φnet πω|Φndans Z[X].
Étape 4 : On va montrer désormais que πξ=πω; supposons par l’absurde que πξ6=πω.
Comme πξet πωsont irréductibles dans Z[X]et distincts, on a : πξπω
Φndans Z[X].
Par ailleurs, comme πω(ξp)=0, ξest racine de πω(Xp); ainsi, πξétant le polynôme minimal de ξ
sur Q,ona:πξ(X)
πω(Xp)dans Q[X].
Autrement dit, QQ[X],πω(Xp)=πξ(X)Q(X).
Mais πξZ[X]est unitaire ; on a donc la division euclidienne dans Z[X]:
πω(Xp)=πξ(X)S(X) + R(X)avec S,RZ[X]et deg R<deg πξ.
Par unicité de la division euclidienne dans Q[X],ona:Q=Set R=0.
En particulier, πξ(X)
πω(Xp)dans Z[X].
Dans la suite, on notera PFp[X]la réduction modulo pdu polynôme PZ[X].
Le morphisme de Frobenius fournit alors : πξ(X)
πω(Xp)=πω(X)p.
Soit Aun facteur irréductible de πξdans Fp[X].
Ainsi, A|πωp, et par le lemme d’Euclide : A|πω.
Comme πξπω
Φndans Z[X],πξπω
Φndans Fp[X]et donc A2
Φndans Fp[X].
Ensuite, A2
Xn1, donc BFp[X],Xn1=A2B, puis en dérivant nXn1=A(2A0B+AB0).
Donc, A
nXn1dans Fp[X].
Mais A
nXnndans Fp[X], donc A|n6=0.
1. Cela se justifie bien en disant que les racines nes de l’unité sont les racines primitives des de l’unité, avec d|n.
2. « Je veux bien, je les connais ces résultats-là, mais si on me demande comment ça se démontre ?
– Eh bien, tu n’as qu’à aller voir à la page ??. »
Florian LEMONNIER 1
Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1
DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE
En conséquence, deg A=0, ce qui contredit l’irréductibilité de A(car Fpest un corps donc les
polynômes de degré nul sont inversibles dans Fp[X]).
On obtient donc (enfin) une contradiction : ainsi πξ=πω.
Étape 5 : Montrons, par récurrence sur sNque :
αracine de πξ,p1, . . . , pspremiers tels que (p1. . . ps)n=1, πξ(αp1...ps)=0.
Si s=1, on a déjà vu ça dans l’étape précédente.
Soit s>1, αune racine de πξ, et k=p1. . . psoù les pisont des nombres premiers tels que kn=1.
On a p1. . . ps1n=1 donc αp1...ps1est racine de πξpar hypothèse de récurrence.
Or, aussi psn=1, donc πξ(αp1...ps1)ps=0, d’où πξαk=0.
Étape 6 : Ainsi, tous les éléments de µ
nsont racines de πξ, donc deg πξ>ϕ(n).
Et comme πξ
Φn, on a deg πξ=ϕ(n);πξet Φnétant unitaires, on obtient Φn=πξ.
Références
[Per] D. PERRIN Cours d’algèbre, Ellipses, 1996.
Florian LEMONNIER 2
Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1
1 / 2 100%

Irréductibilité des polynômes cyclotomiques sur Z

La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !