DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE
Polynômes irréductibles sur F
q Leçons : 125, 141, 190,123,144[FG], exercices 3.11 et 5.10 Théorème
Soitpun nombre premier etr∈N∗; on noteq= pr, soitn∈N∗.
SoitA(n,q)l’ensemble des polynômes deFq[X]irréductibles unitaires de degrénetI(n,q) =#A(n,q). Alors :
1. On a la factorisation suivante dansFq[X]:Xqn−X =
∏
d|n
∏
P∈A(d,q)
P.
2. Notantµla fonction de Möbius1, on a :I(n,q) = 1 n
∑
d|n
µ
n
d
qd.
3. On en déduit alors l’équivalent :I(n,q) ∼
n→∞
qn n.
Démonstration :
On commence bien évidemment par fixer une bonne fois pour toutes une clôture algébriqueFqdeFq, dans laquelle on travaillera tout le long de ce développement.
1. – Soitd|netP∈ A(d,q); fixonsxune racine dePdansFq.
AlorsK := Fq(x)est un corps de rupture dePet[K : Fq] = degP = det donc, par unicité des corps finis :K=Fqd.
CommeFqd est l’ensemble des racines deXqd−Xet que ce polynôme diviseXqn−X,xest racine deXqn−X.2
Donc P
Xqn−X, carPétant irréductible sur un corps fini, il est à racines simples dansFq.3 Puis, par irréductibilité, on en déduit :
∏
d|n
∏
P∈A(d,q)
P
Xqn−X. – SoitPun facteur irréductible deXqn−X, de degréd>1.
CommeXqn−Xest scindé surFqn,Pl’est aussi.
Soitxracine deP, qui est donc dansFqn;K:=Fq(x)est un corps intermédiaire entreFqetFqn. On a alors :[Fqn :K][K:Fq] = [Fqn :Fq] =net doncd= [K:Fq]divisen.
1. Pourk∈N∗, on définitµparµ(k) =0 sikpossède un facteur carré etµ(k) = (−1)rsinon, oùrdésigne alors le nombre de facteurs premiers distincts dek.
2. En effet,xqn=x(qd)nd =xqd(qd)nd−1=xqd(qd)nd−1
=x(qd)nd−1=. . .=x(qd)0=x.
3. Démontrons ce fait général : Lemme
SiKest un corps fini ou de caractéristique nulle, et siP∈K[X]est un polynôme irréductible, AlorsPest à racines simples dans la clôture algébriqueKdeK.
En effet, soitαune racine multiple deP, alors∃Q∈K[X],P= (X−α)2Q.
En dérivant, on obtient ensuiteP0= (X−α)(2Q+ (X−α)Q0), donc(X−α)|P0dansK[X]. Et finalement,(X−α)|P∧P0dansK[X].
OrP∧P0|PdansK[X]et degP∧P0>1, donc, par irréductibilité deP, on a :P=P∧P0, et comme degP0<degP:P0=0.
SiKest de caractéristique nulle, alorsPest une constante donc nul ou inversible donc non-irréductible. On a donc une contradiction dans ce cas.
Sinon,Kest de caractéristiquep>0 etP∈ K[Xp], d’oùP(X) =R(Xp) =R(X)p, avecR∈ K[X], car le morphisme de Frobenius est un automorphisme quand le corps est fini.
Pour terminer sur ce sujet, citons un contre-exemple sur un corps infini de caractéristique positive.
SoitP=T2+X∈F2(X)[T].
Pest irréductible, car il n’admet pas de racine dansF2(X)(pour des problèmes de parité) et qu’il est de degré 2.
Padmet une racineα=√
−X∈F2(X)et doncP= (T−α)(T+α) = (T−α)2carF2(X)est un corps de caractéristique 2.
Florian LEMONNIER 1
Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1
DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE
Les racines deXqn−XdansFqnsont simples donc tous les facteurs irréductibles deXqn−Xdans Fq[X]interviennent avec une multiplicité égale à 1.
Ainsi Xqn−X
∏
d|n
∏
P∈A(d,q)
P
.
– Les deux polynômes considérés étant unitaires, on en déduitXqn−X=
∏
d|n
∏
P∈A(d,q)
P.
2. Lemme (Formule d’inversion de Möbius) Soit f :N∗→Retg:
N∗ → R
n 7→ ∑d|n f(d) . Alors∀n∈N∗,f(n) =
∑
d|n
µ n
d
g(d) =
∑
d|n
µ(d)gn d
.
Démonstration : Soitn∈N∗, on a :
∑
d|n
µ(d)gn d
=
∑
d|n
∑
d0|nd
µ(d)f(d0) =
∑
dd0|n
µ(d)f(d0) =
∑
d0|n
f(d0)
∑
d|dn0
µ(d)
.
Soit désormaisk∈N∗,k>1.
On écritk= pα11. . .prαr sa décomposition en facteurs premiers, avecr>0.
On a ensuite :
∑
d|k
µ(d) =µ(1) +
∑
ri=1
∑
16γ1<...<γi6r
µ(pγ1. . .pγi) +0=
∑
r i=0r i
(−1)i = (1−1)r =0.
Et sik=1,
∑
d|1
µ(d) =µ(1) =1, ce qui nous donne donc
∑
d|n
µ(d)gn d
= f(n).
En regardant les degrés dans la factorisation précédente, on obtient :qn=
∑
d|n
dI(d,q). En appliquant la formule d’inversion de Möbius à la fonction f :n7→nI(n,q), on obtient :
∀n∈N∗,nI(n,q) =
∑
d|n
µ n
d qd.
3. On posern=
∑
d|n d<n
µ n
d
qdet alors :|rn|6 bn2c
i=1
∑
qd=qqbn2c −1
q−1 =On→∞
qbn2c.
Doncrnest négligeable devantqn, d’où :I(n,q) = q
n+rn
n ∼
n→∞
qn n.
Références
[FG] S. FRANCINOUet H. GIANELLA–Exercices de mathématiques pour l’agrégation (Algèbre 1), 2ème éd., Masson, 1997.
Florian LEMONNIER 2
Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1