• Non ci sono risultati.

Polynômes irréductibles sur F

N/A
N/A
Protected

Academic year: 2021

Condividi "Polynômes irréductibles sur F"

Copied!
2
0
0

Testo completo

(1)

Polynômes irréductibles sur F

q

[X ]

Leçons : 123, 125, 141, 190

Théorème 1

On notePq(d) l’ensemble des polynômes irréductibles de degré d sur Fq. Alors si n∈ N, Xqn− X =Y

d|n

Y

P∈Pq(d)

P(X )

Démonstration. Soit P ∈ Pq(d). Alors K = Fq[X ]/(P) est un corps de cardinal qddonc pour tout x ∈ K, on a xqd = x. Mais si n = dk, k ∈ N, alors

xqn= xqd k

. . .(xqd) . . .Šqd

| {z }

kfois

= x

par une récurrence immédiate. Donc en particulier avec x= X , on obtient P | Xqn− X . Ainsi, par le lemme de Gauss,Q

d|n

Q

P∈Pq(d)

P(X ) | Xqn− X .

Soit P un facteur irréductible de Xqn− X dans Fq[X ]. Comme Fqn est le corps de décom- position de Xqn− X , P est scindé sur Fqn. Donc si x est une racine de P dans Fqn, selon le théorème de la base télescopique, n= [Fqn: Fq] = [Fqn: Fq(x)][Fq(x) : Fq]. Mais comme P est irréductible, P est le polynôme minimal de x sur Fq donc[Fq(x) : Fq] = d, de sorte que d| n.

Enfin, Xqn− X est à facteurs simples : si Xqn− X avait un facteur double, il aurait une racine double dans son corps de décomposition. Mais(Xqn− X )0= −1 dans toute extension de Fq(à cause de la caractéristique de Fq) donc Xqn− X est à racines simples dans son corps de décomposition1.

Proposition 2

Soit g : N→ C, alors si G(n) =P

d|n

g(d), on a pour tout n ∈ N, g(n) = P

d|n

µ(d)Gn d

 , oùµ est la fonction de Möbius.

Démonstration. On remarque que d| n et d0| n

d si et seulement si d d0| n.

P

d|n

µ(d)Gn d

= P

d|n

µ(d) Pd0|nd g(d0) = P dd0| nµ(d)g(d0) = P

d0|n

g(d0) P

d|d0n

µ(d).

Or, si m6= 1, P

d|m

µ(d) = 02 doncP

d|n

µ(d)Gn d

= g(n).

1. Une racine double de P est une racine de P0 dans un corps de caractéristique quelconque, mais la réciproque n’est vraie qu’en caractéristique nulle

2. en effet, si m=Qr

i=1

pαii, P

d|m

µ(d) = P

d|m

µ(d) = P

β¶αµ(p1β1. . . pβrr) = P

β∈{0,1}r(−1)|β|= Pr

k=0 r

k(−1)k(choix de k1 parmi r termes) donc P

d|m

µ(d) = 0

Gabriel LEPETIT 1 ENS Rennes - Université Rennes 1

(2)

Corollaire 3

Si I(q, d) = CardPq(d), alors ∀n ∈ N, I(q, n) = 1 n

P

d|n

µn d



qd et I(q, n) ∼n→+∞ qn n. Démonstration. La première formule est une conséquence immédiate de l’inversion de Möbius. Pour la deuxième, posons rn = P

d|n,d<n

µn d



qd. Alors |rn| ¶ P

d|n d6=n

qd

E(n2) P

d=0

qd = qE(2n)+1− 1

q− 1 −−−−→

n→+∞

1

1− q donc en particulier, rn= o(qn).

Ainsi, comme I(n, q) =qn+ rn

n , on a I(n, q) ∼n→+∞

qn n.

Référence : Patrice TAUVEL (2008). Corps commutatifs et théorie de Galois. Calvage et Mounet, p. 121.

Gabriel LEPETIT 2 ENS Rennes - Université Rennes 1

Riferimenti

Documenti correlati

Paramétrisation rationnelle d’une équation homo- gène, cercle, folium de Descartes.. Objectif Agrégation : Equa diophant lin en dimension supérieure, décomposition

Plusieurs institutions se rencontrent ainsi au sein de notre « mostra » : pour Lyon, l’Université Lyon 1 avec le projet « Vésale en 3D » et le Musée des Sciences médicales et

« sauvage * de la place des Carmes par les boutiques portatives de vendeurs de lard, de volaille et de fromage, la réponse immédiate que les échevins apportent là aussi

La successione mostra un’ordinata distribuzione spaziale, sempre correlata alle fasi della Laurentina ed alle sue strutture di conteni- mento e sostruzione: si passa dagli

Et elle s’empresse de préciser que l’on néglige trop le fait que bien souvent lorsque l’État échoue dans ses investissements c’est parce qu’il essayait de faire quelque

5  Réduite à son squelette, l’idée fondamentale de la théorie de la pratique postule que la culture, dans un sens très large (qui inclut les grandes structures

Cet essai de «normalisation» de l’écriture sur internet selon des normes élaborées et testées au fil des jours (et désormais des années) par cette communauté d’Imazighen

Granité – Glace pilée plus ou moins grossièrement, peu sucrée et parfumée d’un simple sirop de fruits, d’une liqueur ou de café. Parfait – Entremets glacé