3
Pour conclure il suffit maintenant de montrer que Xpn−Xest sans facteur
carr´e i.e. qu’il n’existe aucun polynˆome non constant g∈Fp[X] tel que g2
divise Xpn−X.
Supposons l’existence d’un polynˆome girr´eductible sur Fptel que g2
divise Xpn−X. Soit h∈Fp[x] tel que
Xpn−X=g2h.
En d´erivant les deux membres de l’´egalit´e d´efinissant h, on obtient
−1 = pnXpn−1−1 = 2gg0h+g2h0,
En particulier −1 est divisible par g, ce qui n’est possible que si gest un
polynˆome constant.
(4) Soient P= pgcd F, Xpn−X, et P=p1...plla factorisation de Pen fac-
teurs irr´eductibles. Comme Pdivise F, les pisont des facteurs irr´eductibles
de F. De plus, comme Pdivise Xpn−X, d’apr`es la question pr´ec´edente,
chaque piest un polynˆome irr´eductible de degr´e divisant n.
Si Gest un polynˆome irr´eductible de degr´e divisant n, alors, d’apr`es la
question pr´ec´
dente, Gdivise Xpn−X. Si de plus Gdivise F, alors G=pi
pour un certain indice i. Les polynˆomes irr´eductibles divisant Psont donc
exactement les polynˆomes irr´eductibles divisant Fet de degr´e divisant n.
Pour conclure il suffit de remarquer que P= pgcd(F, Xpn−X) est sans
facteur carr´e puisque Xpn−Xest sans facteur carr´e.
(5) D’apr`es le point pr´ec´edent, il suffit de calculer
Pn:= pgcd X5+ 2X4+X2+ 2X+ 1, X3n−X
pour diff´erentes valeurs de n.
Dans le cas n= 1, on a P1= 1 (on peut aussi rearquer directement que
le polynˆome X5+ 2X4+X2+ 2X+ 1 n’admet pas de racines dans F3).
Dans le cas n= 2, on a P2=X2+X+2, qui est irr´eductible dans F3[X],
donc le seul facteur irr´eductible de degr´e 2 de X5+ 2X4+X2+ 2X+ 1 est
X2+X+2. En effectuant une division euclidienne de X5+2X4+X2+2X+1
par X2+X+ 2 on obtient
X5+ 2X4+X2+ 2X+ 1 = (X2+X+ 2) ·(X3+X2−1)
et comme le polynˆome X3+X2−1 est irr´eductible dans F3[X] (car il est de
degr´e 3 et il n’admet pas de racines dans F3), on a obtenu la d´ecomposition
de X5+ 2X4+X2+ 2X+ 1 en facteurs irr´eductibles.
(6) On commence par factoriser X5+X2+ 2X+ 1 en calculant
Qn:= pgcd X5+X2+ 2X+ 1, X3n−X
pour diff´erentes valeurs de n. Dans le cas n= 1, on a Q1= 1. Dans le cas
n= 2, on a Q2=X2+ 1, qui est irr´eductible dans F3[X]. On a
X5+X2+ 2X+ 1 = (X2+ 1) ·(X3−X+ 1)