Thorie de Galois

Marc SAGE

Table des matires

1 Introduction
1.1 Prolongements disomorphismes aux corps
1.2 Groupe de Galois . . . . . . . . . . . . . .
1.3 Morphisme de Frobenius . . . . . . . . . .
1.4 Polynmes sparables . . . . . . . . . . .
1.5 Corps parfaits . . . . . . . . . . . . . . . .
1.6 Corps nis . . . . . . . . . . . . . . . . . .
1.6.1 Rappels . . . . . . . . . . . . . . .
1.6.2 Cyclicit de Gal Fq Fp . . . . . .
1.6.3 Extensions intermdiaires . . . . .
1.7 Clture algbrique de Fq . . . . . . . . . .
1.8 Thorme de Lroth . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

2
2
4
4
4
6
6
6
7
7
9
9

2 Thorie de Galois
2.1 tude prliminaires des K-morphismes . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Thorme dexistence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2 Extensions sparables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.3 Extensions normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Extensions galoisiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Lemme dArtin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4 Correspondance de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5 Clture galoisienne dune extension sparable nie Thorme de llment primitif
2.6 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.1 Racines de lunits Extensions cyclotomiques . . . . . . . . . . . . . . . . .
2.6.2 Polynmes symtriques Discriminant . . . . . . . . . . . . . . . . . . . . . .
2.6.3 Extension cycliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

12
12
12
13
14
15
17
18
19
20
20
22
25

de dcomposition
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

3 Rsolubilit par radicaux

27
3.1 Extensions composes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Calcul de Gal L1 L2 K en fonction de Gal L1 K et Gal L2 K . . . . . . . . . . . . . . . . . 28
3.3 Construction de la thorie des groupes : produit br . . . . . . . . . . . . . . . . . . . . . . . . . 29
4 Calcul du groupe de Galois dun polynme P 2 Z [X] via la rduction modulo
4.1 Lecture de GalQ P dans la dcomposition de P en facteurs irrductibles . . . . . .
4.2 Rduction modulo p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Construction dun corps de dcomposition de P . . . . . . . . . . . . . . . .
4.2.2 Injection de GalFp P dans GalQ P . . . . . . . . . . . . . . . . . . . . . . . .
4.2.3 Recherche de facteurs irrductibles . . . . . . . . . . . . . . . . . . . . . . .

p
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

32
32
32
33
34
36

Introduction

1.1

Prolongements disomorphismes aux corps de dcomposition

Dnition.
Soit K un corps, P 2 K [X].
Un corps de dcomposition de P est une extension L de K telle que
P est scind sur L
.
L engendr par les racines de P

Proposition (rappel).
Un corps de dcomposition existe toujours, et est unique isomorphisme prs.

Proposition (prolongement disomorphismes aux corps de dcomposition).

Soit : K1 ! K2 un isomorphisme de corps. Soit P1 2 K1 [X], et P2 2 K2 [X] le polynme obtenu via ,
L1 le corps de dcomposition de P1 sur K1
et
. Alors il existe un isomorphisme e : L1 ! L2 qui prolonge
L2 le corps de dcomposition de P2 sur K2
:
K1 ,! L1
#
#e ,
K2 ,! L2

le nombre

de tels isomorphismes vrie

[L1 : K1 ] ,
et si P1 est scind simple dans L1 , on a lgalit
= [L1 : K1 ] .
Dmonstration.
On fait alors une rcurrence sur d = [L1 : K1 ].
Si d = 1, i.e. si K1 = L1 , ce qui revient dire que P1 a toutes ses racines dans K1 , alors

L1 = K1
, et
L2 = K2

e vaut ncessairement . On a alors bien = 1 = [L1 ; K1 ].

Soit d > 1, et supposons la proposition vraie pour tous les extensions (de dcomposition) de degr < d.
Si P1 est scind sur K1 , alors L1 = K1 et d = 1, absurde. P1 peut donc scrire dans K1 [X] comme
P1 = Q1
o Q1 est un facteur irrductible de P1 sur K1 de degr 2
Dans L1 [X], on a alors
P1 = ri=0 (X
Q1 = si=0 (X

deg Q1 < deg P1 ; notons Q2 son image dans K2 [X].

i)
i)

,1

r,

,1

r.

et dans L2 [X] on a
P2 =
Q2 =

r
i=0 (X
s
i=0 (X

Le point remarquer est que tout prolongement e de

on a
s
i=0

(X

i)

= Q2 =

donc ncessairement e (
Soit donc

0)

(Q1 ) = e (Q1 ) = e (

est un

o 0

K10 = K1 [

i)
i)

L1 envoie les racines de Q1 sur celles de Q2 . En eet,

s
i=0

(X

i ))

s.

0]

,! K1 [

0 ; :::;

r]

s
i=0 e (X

= L1 ,

i)

s
i=0

(X

e ( i )) ,

avec [K10 : K1 ] = deg 0 ; or Q1 est un polynme irrductible sur K1 qui annule

minimal de 0 sur K1 . On en dduit deg 0 = deg Q1 , do

0,

donc Q1 est le polynme

[K10 : K1 ] = deg Q1 > 1.

Pour chaque racine distincte

par

de Q2 , on dnit un morphisme
8 0
! L2
< K 1 = K1 [ 0 ]
x
2
K
7
!
(x)
:
1
i
:
7
!
0
i
i

(remarquer au passage que

P K1
an

!
7 !

n
0

P L2
(an )

prolonge ). Soit alors

K20 =

(K10 ) =

Rsumons la situation :
K1
#
K2

(K1 [

0 ])

= K2 [

0 )]

n
i

= K2 ( i ) ,! L2 .

,! K10 = K1 [ 0 ] ,! L1 = K1 [
# i
,! K20 = K2 [ i ] ,! L2 = K2 [

0 ; :::;

r]

0 ; :::;

r]

On va appliquer lhypothse de rcurrence au morphisme i : K10 ! K20 et au polynme P1 . Il convient de

vrier les hypothses.
P1 est scind sur L1 , et lengendr de ses racines sur K10 vaut
K10 [

0 ; :::;

r]

= K1 [

0 ] [ 0 ; :::;

r]

= K1 [

0;

0 ; :::;

r]

= K1 [

0;

1 ; :::;

r]

= L1 ,

donc L1 est bien un corps de dcomposition de P1 sur K10 . De mme, P2 est scind sur L2 et
K20 [

0 ; :::;

r]

= K2 [ i ] [

0 ; :::;

r]

= K2 [

0 ; :::;

r]

= L2 ,

donc L2 est bien un corps de dcomposition de P2 sur K20 . Dautre part, le degr de lextension L1 sur K10 vaut
[L1 : K10 ] =

[L1 : K1 ]
[L1 : K1 ]
=
< [L1 : K1 ] .
0
[K1 : K1 ]
deg Q1

On peut donc rcurrer : il existe un morphisme ei : L1 ! L2 qui prolonge

K1
#
K2

,! K10 = K1 [ 0 ] ,! L1 = K1 [ 0 ; :::;
# i
# ei
,! K10 = K2 [ i ] ,! L2 = K2 [ 0 ; :::;

et leur nombre i est au plus gal [L1 : K10 ].

Pour lingalit : si e : L1 ! L2 est un prolongement de
ejK10 est ncessairement un i . Par consquent, en notant
N = #f

1 ; :::;

sg

, alors e (

i,

donc qui prolonge

est ncessairement un

i,

r]

0)

r]

donc

deg Q2 ,

i.e. le nombre de racines distinctes de Q2 , on a N choix pour i (qui correspondent bien des morphismes
i ( 0) = i
sont distincts pour i 6= j). Par ailleurs, lhypothse de rcurrence nous fournit
distincts, car
j ( 0) = j
au plus [L1 : K10 ] choix pour ei i x. On a nalement au plus
N

[L1 : K10 ] = N

[L1 : K1 ]
deg Q1

deg Q2
[L1 : K1 ] = [L1 : K1 ]
deg Q1

choix pour e.
Enn, si P1 est scind simple dans L1 , on a galit partout. En eet, Q1 est alors scind simple, donc on
a N = deg Q1 choix pour i ; comme de plus P1 est scind simple sur K10 , on a par hypothse de rcurrence
[L1 : K10 ] choix pour. ei .
3

1.2

Groupe de Galois

Dnition.
Soit K L deux corps. On appelle K-automorphisme de L tout automorphisme de L qui xe K. On appelle
groupe de Galois de L sur K lensemble des K-automorphismes de L. On le note
Gal

= f 2 Aut L ; 8a 2 K,

(a) = ag .

Proprit.
Si L est un corps de dcomposition dun polynome P de K [X], alors
Gal

[L : K] ,

et si P est scind simple sur L, il y a galit.

Dmonstration.
Puisquun K-automorphisme de L est un prolongement L de lidentit sur K, on applique la proposition
prcdente K1 = K2 = K et = Id.

1.3

Morphisme de Frobenius

Dnition.
Soit K un corps de caractristique p. On appelle morphisme de Frobenius le morphisme de corps :
K
x

Fr :

!
7 !

K
.
xp

On note son image

K p = fxp o x dcrit Kg .
Fr est bien un morphisme additif, tant donn que pour i ^ p = n,
p
i

p p
i i

1
1

= pi

p
i

1
1

0 [p]

et donc que
p 1
X
p i n i
Fr (x + y) = (x + y) = x +
xy
+ y p = xp + y p .
i
i=1
|
{z
}
p

=0

1.4

Polynmes sparables

Dnition.
Un polynme de K [X] est dit sparable si toutes ses racines sont simples dans toute extension de K.
Si K L est une extension algbrique, un lment x de L est dit sparable si son polynme minimum est
sparable.
Proposition (critre de sparabilit sans sortir du corps de base).
Un polynme P 2 K [X] est sparable ssi il est premier avec sa drive :
P sparable () P ^ P 0 = 1.
Dmonstration.
4

Si P nest pas sparable, P a une racine double dans une extension L de K, donc P ^ P 0 6= 1 dans L [X], a
fortiori dans K [X] puisque le pgcd est inchang par extension de corps.
Rciproquement, si P ^ P 0 6= 1, alors P a une racine double dans un de ses corps de dcomposition, donc
nest pas sparable.
Proposition (critre de sparabilit pour les polynme irrductibles).
Soit P 2 K [X] irrductible. Alors P est sparable ssi P 0 6= 0.
Dmonstration.
Si P est irrductible sur K [X] et nest pas sparable, alors P et P 0 ont (dans une extension de K) un facteur
en commun non constant, qui ne peut tre que P vu que P est irrductible, do P j P 0 , ce qui implique P 0 = 0
en prenant les degrs.
Rciproquement, P 0 = 0 =) P j P 0 =) P ^ P 0 = P 6= 1 =) P non scind simple dans une clture
algbrique de K.
Proposition (factorisation de X p a).
Soit K de caractristique p > 0, et a 2 K.
Si a 2 K p , alors X p a se scinde en
Xp
Si a 2
= K p , alors X p

p
p

a= X

a est irrductible.

Dmonstration.
vident car on est en caractristique p.
Montrons la contrapose. Si P = X p a nest pas irrductible, soit Q un facteur irreductible de P , de
sorte que
X p a = QR
avec 1

deg Q < p. Soit b une racine de Q dans une extension approprie de K. Alors
0 = QR (b) = P (b) = bp

do
Xp
p

a = Xp

bp = (X

a,
p

b) ,

donc Q j (X b) , i.e. Q = (X b) pour un 1 r < p. Puisque Q 2 K [X], son terme constant br est dans
K ; or p est premier, donc Bezout donne ur + vp = 1, do
u

b = (br ) (bp ) 2 K =) a = bp 2 K p .
Corollaire.
Dans K = Fp (T ), le polynme P = X p

T 2 K [X] nest pas sparable.

Dmonstration.
Montrons dj que P est irrductible sur K = Fp (T ). Daprs la proposition prcdente, il su t pour cela
A p
avec
de montrer que T 2 K nest pas une puissance de p dans K. Si ctait le cas, on aurait T = B
P
i
A= P
i ai T 6= 0 ,
B = i bi T i
P
Ap = Pi api T pi
do
et
B p = i bpi T pi
X p
X p
X p
ai T pi = Ap = T B p = T
bi T pi =
bi T pi+1 ,
i

absurde car p 2.
Il reste voir que P 0 = 0, donc, daprs la dernire proposition, P ne peut tre sparable.

1.5

Corps parfaits

Dnition.
Un corps K est dit parfait si tout polynme irrductible de K [X] est sparable.
Proposition (critre de perfection).
Si car K = 0, alors K est parfait.
Si car K = p > 0, alors K est parfait ssi K p = K, i.e. ssi Fr est surjectif.
Demonstration.
Si car K = 0, alors tout polynme irrductible y est de degr au moins gal 1, donc de drive non nulle,
donc sparable.
Si K p K, soit a 2 K nK p . Le polynme X p a est alors irrductible (car a 2
= K p ) et de drive nulle,
donc nest pas sparable et K ne peut tre parfait.
SiPK p = K, soit P 2 K [X] irrductible. Si P ntait pas sparable, sa drive serait nulle. En posant
P = k 0 ak X k , on aurait
n
X
0 = P0 =
ak kX k 1 ,
k=1

do ak k = 0 pour tout k et ak = 0 pour k ^ p = 1.On en dduirait

0
1p
X
Xp p
Xp
jp
jA
p a
p a
P =
apj X jp =
=@
pj X
pj X
j 0

j 0

j 0

o lun des apj est non nul (sinon P = 0), absurde car P irrductible.

1.6
1.6.1

Corps nis
Rappels

Z
!
K
ne saurait tre injectif, donc son noyau est du type
n 7 ! n 1K
aZ avec a 6= 0. Alors a est ncessairement premier, puisque pour toute dcomposition a = bc on a
Soit K un corps ni. Le morphisme

0 = a 1K = bc 1K = (b 1K ) (c 1K )
do b 1K = 0 (ou c 1K ) par intgrit de K, i.e. b 2 aZ, ou encore a j b.
On note alors a = p (comme premier). p est appele caractristique de K, et est note
car K = p.
Dautre part, K contient les p itrs de 1K , i.e. le corps Fp = f0; 1; :::; p
copie de Fp le sous-corps premier de K) Ainsi,

1g vu dans K (on appelle cette

car K = p > 0 =) Fp ,! K.
On peut alors considrer K comme un Fp -espace vectoriel de dimension nie n, do jKj = pn .
Proposition (rappel).
Soit p premier. Pour tout n 1, il existe ( isomorphisme prs) un unique corps ni de cardinal q = pn :
cest le corps de dcomposition sur Fp de X q X, et on le note Fq : On a de plus Fp ,! Fq .
Proposition (rappel).
Fq est cyclique.

1.6.2

Cyclicit de Gal

Fq

Fp

Proposition.
Gal Fq Fp est cyclique et engendr par Fr :
Gal

Fq

Fp

= hFri .

Dmonstration.
Soit a engendrant Fq , de sorte que Fq = Fp [a]. Les lment
de G = Gal
dtermins par les (a), donc
jGj # f (a) o dcrit Gg .

Fq

Fp

sont entirement

En considrant le polynme minimal P de a sur Fp , avec deg P = [Fq : Fp ] = n, on remarque que les (a) sont
des racines de P car P 2 Fp et xe Fp :
!
X
X
X
X
k
k
k
k
P ( (a)) =
( k) a =
=
= (P (a)) = (0) = 0.
k ( (a)) =
ka
ka
k

Il y a donc au plus n possibilits pour (a), do jGj n.

Pour montrer que Fr engendre G, il su t de montrer que son ordre ! dans G est n. Pour cela, on remarque
!
!
X sannule sur Fq tout entier, donc est de
que 8x 2 Fq , x = Id (x) = Fr! (x) = xp , donc le polynme X p
degr p! q = pn , do ! n, CQFD.

1.6.3

Extensions intermdiaires

Lemme 0.
Soient a et b des entiers

1 et p un entier
(pa
(X a

2. Alors

1) ^ pb
1) ^ X b

1 = pa^b 1
.
1 = X a^b 1

Dmonstration.
Clair si a = b. On suppose alors a > b. On eectue la division euclidienne de a par b : a = bq + r. On crit
alors
pa 1 = pbq pr 1 = pbq pr pr + pr 1 = pr pbq 1 + (pr 1) = pr A pb 1 + (pr 1)
(o A est entier), ce qui montre que le reste de la division euclidienne de pa 1 par pb 1 est pr 1. Les termes
successifs de lalgorithme dEuclide "passent" donc la puissance p, et en ritrant le procd, on trouve que le
dernier reste non nul est bien pa^b 1.
La dmonstration est identique pour les polynmes, vu que lon dispose dune division euclidienne polynomiale.

Lemme.
Les trois noncs suivants sont quivalents :
m

Xp
X j Xp
X
m
n
p
1 j p
1
m j n:
Dmonstration.

Par quivalences, et en utilisant le lemme 0, on a

m

()
()
()
()
()

la mme mthode marchant pour pm

Xp
m
Xp

Xp

X j Xp
X
1
pn 1
1jX
1
n

1 ^ Xp

n^m

1
Xp
1 = Xp
n^m=m
m j n,

1 j pn

1 = Xp

1.

Proposition (extensions intermdiaires).

Les sous-corps de Fpn sont exactement les Fpk o k j n.
k
Fpk peut tre galement vu comme le corps des racines de X p

X sur Fp . On a alors les injections

Fp ,! Fpk ,! Fpn .
Dmonstration.
k
Soit E une extension intermdiaire : Fp ,! E ,! Fq . E est ni, donc est un Fq0 avec q 0 = (p0 ) et k 1 ;
k
E tant par ailleurs un sous-groupe additif de Fq son cardinal doit diviser le cardinal de Fq , i.e. (p0 ) j pn ,
do p0 = p et q 0 = pk . Dautre part, Fq peut tre vu comme un Fq0 -espace vectoriel de dimension nie r, do
r
jFq j = jFq0 j ,i.e. pn = pkr ,ou encore k j n.
Rciproquement, soit k j n et considrons
n
o
k
E = racines de X p
X dans Fq .
E est clairement un sous-groupe de Fq , et est de plus stable par + : en eet, si x et y sont dans E, on a
pk

(x + y)

= Frk (x + y) = Frk

(xp + y p ) = Frk

xp + y p

= ::: = xp + y p = 0.

E est donc un corps pour les lois induites, i.e. un sous-corps de Fq . Comme de plus k j n, on a (par le lemme)
Y
k
n
Xp
X j Xp
X=
(X a)
a2Fq

scind simple, donc X p

X a exactement pk racines, do jEj = pk . On a ainsi construit un sous-corps de Fq
de cardinal pk , qui est donc isomorphe Fk , CFQD.
Corollaire (correspondance de Galois).
On a une correspondance bijective entre les sous-groupes de G = Gal Fq Fp et les extensions intermdiaires
Fp Fpk Fq , qui un sous-groupe H associe le sous-corps FH
q des lments de Fq stables par H.
Dmonstration.
k
hFrk i
Le point central est de remarquer que si k j n, alors Fpk = Fq
. En eet, les racines du polynme X p
X
D E
k
Fr
h
i
de Fq [X] sont exactement les lments de Fq stables par Frk , i.e. par Frk , donc Fq
est lensemble Fpk de
ces telles racines.
D E
k
o k j n
Soit H un sous-groupe de G, et E = FH
q . Puisque G est engendr par Fr, H est de la forme Fr

hFrk i
(pour H = fIdg, prendre k = n). Donc E = Fq
= Fpk , qui est bien une extension intermdiaire daprs la
proposition prcdente.
8
D E
< H = Frk
D
E sont deux sous-groupes de G tels que FH
La correspondance tablie est injective : si
q =
: H 0 = Frk0
0

k0

p
FH
X et X p
X ont mme ensemble de racines, i.e. Fpk = Fpk0 , do k = k 0 et
q , alors les polynmes X
H = H 0.
Elle est en outre surjective : si E est une extension intermdiaire, E est un Fpk daprs la proposition
D E
hFrk i
prcdente, donc un Fq
o Frk est un sous-groupe de G.

1.7

Clture algbrique de Fq

Dnition.
Soit (Kn )n2N une suite croissante de corps, au sens o 8n Sm, il existe un morphisme n!m : Kn ,! Km .
On appelle limite inductive de la suite (Kn ) le corps K = n2N Kn form de la runion "croissante" des
Kn , dont les lois entre deux lments sont dnis par :
a 2 Kn
b 2 Km

si

Proposition.
Soit p premier, q = pk o k

, alors a b =
n

n!m

(a) b.

1. La limite inductive des Fpn! est une clture algbrique de Fq .

Dmonstration.
S
Posons = n2N Fpn! .
n!
Pour x 2 , mettons x 2 Fpn! , x est annul par le polynme X p
X de Fq , donc est algbrique sur Fq .
Soit par ailleurs P un polynme de [X]. Les coe cients de P sont en nombre ni, donc sont tous dans
un mme Fpn! .
On considre alors D un corps de dcomposition de P sur Fpn! , mettons D = Fpn! [ 1 ; ::; r ] o 1 ; ::; r sont
les racines de P dans D. Alors les lments de D sont les polynmes en les 1 ; ::; r dont le degr total est major
r
par (deg P ) (le degr de chaque puissance dun i pouvant tre major par deg P ), coe cients dans un corps
ni, donc sont en nombre ni. Par consquent, D est un F(p0 )k0 , admettant Fpn! comme sous-corps, donc D est
un Fpm o n! j m. On a alors les extensions
Fpn!
donc D est contenu dans Fpm!

1.8

Fpm

Fpm! ,

. Par consquent, P se scinde sur

Thorme de Lroth

Soit K un corps. On sintresse Gal

K(X)

ainsi quaux extensions intermdiaires

E

K (X) .

Lemme.
P
o P ^ Q = 1. Alors :
Soit u 2 K (X) nK , mettons u = Q
u est transcendant sur K ;
Lextension K (u) K (X) est algbrique nie, de degr (u) := max (deg P; deg Q) ;
Le polynme minimal de X sur K (u) est le normalis de P (T ) uQ (T ) 2 K (u) [T ].
Dmonstration.
Soit R (T ) = P (T ) uQ (T ) 2 K (X) [T ]. On a R (X) = 0, donc X est algbrique sur K (u) de degr
deg R
(u), donc K (X) est une extension algbrique nie de K (u). Ncessairement, u ne peut tre
algbrique sur K, car alors X le serait (pas possible).
On peut considrer R (T ) = P (T ) uQ (T ) comme un polynme en u de degr 1, irrductible car P ^ Q = 1,
donc irrductible dans K [u] [T ], a fortiori dans K (u) [T ]
Donc R est le polynme minimal de X.

Thorme.
Les K-automorphismes de K (X) sont donns par les ' : X 7 !

aX+b
cX+d o

plus
Gal

K(X)

' P GL2 (K) .

a b
c d

2 GL2 (K). On a de

Dmonstration.
Soit ' un K-automorphisme de K (X). Puisque X gnre K (X), la donne de u = ' (X) dtermine entirement '. De plus, ' est surjective, donc K (u) = Im ' = K (X) ; en particulier u 2
= K, et le lemme sapplique :
(u) = [K (X) : K (u)] = [K (X) : K (X)] = 1.
On en dduit la forme de u :
u=
o a ou c 6= 0 et ad

bc 6= 0, i.e. ad

morphisme surjectif

dont le noyau est K

1
0

0
1

, do
Gal

aX + b
cX + d
a b
c d

bc 6= 0, ou encore

8
< GL2 (K)
:
a b
:
c d
K(X)

'

!
7 !

GL2 (K)

Gal

K(X)

X7 !

2 GL2 (K). On considre ensuite le

K

aX+b
cX+d

= P GL2 (K) .

Ker

Thorme de Lroth (sous-corps de K (X)).

Les sous-corps de K (X) sont monognes, en cela que
K

K (X) =) 9u 2 K (X) tel que E = K (u) .

Dmonstration.
Si E = K, u = 1 convient.
Si K
E, soit v 2 E nK , do des extensions K (v)
E
K (X). Le lemme nous dit alors que K (X)
est une extension algbrique de K (v) de degr (v). A fortiori, X est algbrique sur E, et lon dispose de son
polynme minimal sur E [T ]
= T n + a1 T n 1 + ::: + an
o chaque ai 2 E. Puisque X nest pas algbrique sur K, un des ai nhabite pas chez K, mettons ai0 =
o P ^ Q = 1, avec d = (ai0 ). Nous allons montrer que E = K (ai0 ), ce qui concluera.
Le lemme nous donne des extension nies K (ai0 ) E K (X) avec
[E : K (ai0 )] =

[K (X) : K (ai0 )]
=
[K (X) : E]

P
Q

2 E nK

(ai0 )
d
= .
n
n

Montrons que d = n, ce qui donnera [E : K (ai0 )] = 1 et E = K (ai0 ) monogne comme voulu.

Le polynme P (T ) ai0 Q (T ) annule X et est coe cients dans K (ai0 ) E, donc est un multiple de ,
mettons
P (T ) ai0 Q (T ) = (T ) (T )
dans K (X) [T ], ce que lon rcrit sous la forme
P (T ) Q (X)

P (X) Q (T ) =

(T ) (T ) Q (X) .

Pi (X)
Par ailleurs, les ai 2 E K (X) scrivent ai = Q
, donc en multipliant
i (X)
W
= i=1;:::n Qi , on retombe dans K [X] (plutt que dans K (X)), mettons

(X) (T ) = A0 (X) T n + A1 (X) T n

par le ppcm des dnominateurs

+ ::: + An (X) ,

et on a mme les Ai premiers entre eux (on dit que le terme de droite est primitif en X).
P j Ai0
P (X)
Puisque Ai0 (X) = (X) ai0 = (X) Q(X)
avec P ^ Q = 1, on a
. On en dduit une rcriture
Qj
P (T ) Q (X)

P (X) Q (T )

(X) (T ) (T )

(T )

Q (X)
(X)

Q (X)
A0 (X) T n + A1 (X) T n
(X)
10

+ ::: + An (X) .

 gauche, le degr en X est max fdeg Q; deg P g = d, droite le degr en X est deg Ai0 d car P j Ai0 ,
donc le degr en X est d partout et par consquent le terme Q(X)
2 K. Rcrivons encore
(X) est une constante
une fois :
P (T ) Q (X) P (X) Q (T ) =
(T ) A0 (X) T n + A1 (X) T n 1 + ::: + An (X) .
Le terme de droite est primitif en X, donc le terme de gauche aussi, et ce dernier tant symtrique (en X et
T ) il est aussi primitif en T , donc le terme de droite est primitif en T , ce qui impose (T ) constante, disons
(T ) = 2 K. On a nalement
P (T ) Q (X)

P (X) Q (T ) =

A0 (X) T n + A1 (X) T n

+ ::: + An (X) .

En prenant le degr en T , on obtient d gauche et n droite, do d = n comme voulu.

11

Thorie de Galois

2.1

tude prliminaires des K-morphismes

Soit K un corps, K L une extension nie (donc algbrique) et K une clture algbrique de K. On dispose
dune inclusion canonique : K ,! K que lon cherche prolonger L. On recherche donc les morphismes de
L dans K qui xent K, i.e. les K-morphismes de L dans K, ensemble que lon notera HomK L; K .
Noter que K na aucune raison de contenir L.
Le problme consiste donc chercher les morphismes faisant commuter le diagramme :
K

2.1.1

!
&

L
# .
K

Thorme dexistence

Thorme (existence de prolongements).

Soit : K ,! K un morphisme de corps par exemple linclusion canonique et K
Le nombre N de prolongements de L vrie
1

L une extension nie.

[L : K] .

Dmonstration.
On fait un rcurrence sur d = [L : K].
Si [L : K] = 1, i.e. si L = K, alors est lunique prolongement de .
Si [L : K] > 1, on crit
L = K [x0 ; :::; xr ] = K [x1 ; :::; xr ] [x0 ] = L0 [x0 ]
o L0 = K [x1 ; :::xr ] et r

0 est minimal, de sorte que x0 2

= L0 , donc degL0 x0

2, do

[L0 : K] < [L : K] .
Par rcurrence, il existe un prolongement
0

: L0 ! K, que lon prolonge L en posant

LP
= L0 [x0 ]
!
n
x
7
!
n 0

do lexistence dun prolongement de L.

Pour la majoration, on considre le diagramme
K

,! L0

,!
&

jL0

K
,
( n ) xn0

L = L0 [x0 ]
#
K

an de rcurrer, ce qui amne naturellement lapplication

:

fprolongements Lg

! fprolongements L0 g
.
7 !
jL0

Le cardinal de limage est infrieur au nombre de prolongements L0 , lequel est (par hypothse de rcurrence)
[L0 : K]. On a par ailleurs au plus degL0 x0 antcdents possibles jL0 x : en eet, deux antcdents dun
mme prolongement 0 L0 ne peuvent tre distingus que par limage quils ont de x0 (puisquils concident dj
sur L0 ), laquelle image doit tre une racine du polynme minimal P de x0 sur L0 (car P ( (x0 )) = (P (x0 )) = 0).
Par consquent, le nombre de prolongements L vaut au plus
degL0 x0

[L0 : K] = [L0 [x0 ] : L0 ]

[L0 : K] = [L0 [x0 ] : K] = [L : K] .

12

Corollaire (existence de K-morphismes).

Le nombre N = HomK L; K de K-morphismes de L ! K vrie
1

[L : K] .

Dmonstration.
On applique le thorme linclusion canonique
L ! K sont exactement les prolongements de .

: K ,! K, en remarquant que les K-morphismes de

On sintresse maintenant au cas dgalit N = [L : K].

2.1.2

Extensions sparables

Dnition.
Une extension nie K
L ! K vaut exactement

L est dite sparable si le nombre N = HomK L; K

de K-morphismes de

N = [L : K] .

Proposition.
Soit K L une extension nie. On a quivalence entre :
K L est sparable.
8x 2 L, x est sparable.
L scrit K [x1 ; :::; xn ] o les xi sont sparables.
Dmonstration.
On rcurre sur d = [L : K].
Pour d = 1, N vaut 1, tous les lments de L = K sont sparables car leurs polynmes minimaux X
sont de degr 1 et on peut toujours crire L = K = K [1] o 1 sparable. Donc lquivalence (i) () (ii) ()
(iii) est vrie, les trois proprits tant vraies.
On suppose dsormais d > 1.
(i) =) (ii)
Par contrapose. Supposons quil y a un x0 dans L dont le polynme minimal P sur K ne
soit pas sparable, on crit
L = K [x0 ; :::; xr ] = L0 [x0 ]

o L0 = K [x1 ; :::xr ]

et r 0 est minimal, de sorte que x0 2 L nL0 est de degr 2 sur L0 .

Puisque P nest pas sparable, il admet au plus deg P 1 racines dans K. Or, limage de x0 par un K1 valeurs
morphisme
: L ! K est une racine de P dans K, donc ne peut prendre quau plus deg P
distinctes. En remarquant que 2
degL0 x
deg P = degK x0 , on en dduit au plus degL0 x0 1
1 choix
HomK L; K
! HomK L0 ; K
pour les antcdent par :
dun ( ) donn.
7 !
jL0
Ainsi, le nombre de K-morphismes de L ! K vaut au plus
(degL0 x0

1)

[L0 : K] < degL0 x0

[L0 : K] = [L0 [x0 ] : L0 ]

[L0 : K] = [L : K] ,

do N < [L : K].
(ii) =) (iii)
Trivial vu que L est nie sur K.
(iii) =) (i)
Supposons que L = K [x0 ; :::; xr ] o chaque xi est sparable. On peu t toujours supposer
r
0 minimal, et donc crire L = L0 [x0 ] o L0 = K [x1 ; :::; xr ] vrie [L0 : K] < [L : K], donc lhypothse
de rcurrence nous dit que le nombre de K-morphismes de L0 ! K vaut exactement [L0 : K]. Puisque x0
HomK L; K
! HomK L0 ; K
est sparable, on a exactement degL0 x0 antcdents par :
dun 0
7 !
jL0
donn, do exactement
[L0 : K] degL0 x0 = [L : K]
K-morphismes de L ! K .
13

Corollaire.
Toute extension nie K

L de caractristique nulle est sparable.

Dmonstration.
En eet, L tant alors parfait, tous les lments de L ont leur polynme minimal sparable, donc sont
sparables.

2.1.3

Extensions normales

Proposition.
On a la majoration Gal

N.

Dmonstration.
Donnons-nous un K-morphisme 0 : L ! K. Si g 2 Gal L K , alors
puisque 0 est injectif, tous les 0 g sont distincts quand g dcrit Gal L
0

do Gal

g ; g 2 Gal

0
K

g est encore un K-morphisme ;

. On a donc

Hom L; K ,
K

N en prenant les cardinaux.

On sintresse, de mme que pour les extensions sparables, au cas dgalit.

Dnition.
Une extension nie K
L ! K vaut exactement

L est dite normale si le nombre N = HomK L; K

Gal

de K-morphismes de

= N.

On dispose de caractrisations des extensions normales en termes de morphismes.

Proposition.
Soit K L une extension nie et L une clture algbrique de L. On a les quivalences :
(i)
K L est normale.
(ii)
Tous les K-morphismes de L ! K ont mme image.
(iii)
HomK L; K est lorbite dun 0 quelconque de HomK L; K pour laction droite de Gal

i.e.
Hom L; K =
K

(iv)
(v)

g ; g 2 Gal

Tous les K-morphismes : L ! L ont mme image (L) = L.

une injection canonique L ,! L, prs, HomK L; L = Gal L K .

Dmonstration.
L
On utilisera linclusion
HomK L; K tablie lors de la proposition prcdente.
0 g ; g 2 Gal
K
(i) =) (ii)
Si on a galit des cardinaux, on a lgalit ensembliste
0

g ; g 2 Gal

= Hom L; K ,
K

donc tous les K-morphismes de L ! K sont de la forme 0 g o g est surjectif, donc ont mme image Im 0 .
(ii) =) (iii)
Supposons que tous les K-morphismes de L ! K ont mme image. Soit : L ! K un
tel K-morphisme. Puisque Im = Im 0 , on peut crire = 0 g o g est une application de L ! L. Puisque
est un K-morphisme de corps et 0 injectif, g est aussi un K-morphisme de corps, i.e. g 2 Gal L K . On a
L
donc HomK L; K
et galit.
0 g ; g 2 Gal
K
(iii) =) (i)
Il su t de prendre les cardinaux.
14

(i) () (iv) () (v)

K
L L est une clture algbrique de K, donc on dispose de lquivalence
(i) () (ii) () (iii) en prenant pour 0 linjection canonique de L dans L, qui vrie 0 (L) = L
On peut galement caractriser les extensions normales en termes de polynmes.
Proposition
Soit K L une extension nie. On a les quivalences :
(i)
K L est normale.
(ii)
Pour tout poynme P 2 K [X] irrductible, si P possde une racine sur L, alors P se scinde sur L.
(iii)
L est un corps de dcomposition dun polynme de K [X].
Dmonstration.
(i) =) (ii)
Soit P irrductible dans K [X] et une racine de P dans L. Soit L une clture algbrique
de L (qui est une clture algbrique de K). On a K
K[ ]
L
L. Dans L [X], P est scind. Soit une
autre racine de P dans L ; on veut 2 L.
Puisque L est nie, on peut crire L = K [ ; x1 ; :::; xr ] o r 0 est minimal. Puisque K
L est normale,
L = K [ ; x1 ; :::; xr ]
!
L
le K-morphisme ' :
( ? ? ? ? ? unicit de A ( ; x1 ; :::; xr ) ? ? ? ? ?)
A ( ; x1 ; :::; xr )
7 ! A ( ; x1 ; :::; xr )
doit avoir pour image L, do = ' ( ) 2 Im ' = L, CQFD.
(ii) =) (iii) W Supposons L = K [x1 ; :::; xn ] o chaque xi est sparable. Soit i le polynme minimal de
n
xi et notons P = i=1 i leur ppcm. Notons 1 ; :::; k les racines des i dans L. Puisque L est normale et que
Qk
i (j)
o i (j) 0,
chaque i a une racine xi dans L, les i se scindent dans L sous la forme i = j=1 X
j
Qk
maxi i (j)
et donc P = j=1 X
est scind dans L. Puisquen outre
j
L = K [x1 ; :::; xn ]

K [ 1 ; :::;

k]

L,

on en dduit que L est un corps de dcomposition de P .

Qr
(iii) =) (i)
Si L est un corps de dcomposition de P 2 K [X], mettons P = i=1 (X
L = K [x1 ; :::; xr ]. Pour tout K-morphisme ' : L ! K, on a ainsi

xi ) i , alors

Im ' = ' (L) = ' (K [x1 ; :::; xr ]) = K [' (x1 ) ; :::; ' (xr )] .
(n)
Or P (n)
Qr(' (xi )) = ' P i (xi ) pour tout n 0, donc ' (xi ) est une racine de P 2 K [X] dordre i exactement,
do i=1 (X ' (xi )) j P et on a galit en comparant les degrs. Ainsi, ' permute les racines de P , do

Im ' = K [' (x1 ) ; :::; ' (xr )] = K [x1 ; :::; xr ]

qui ne dpend pas de ', donc tous les K-morphismes de L ! K ont mme image, i.e. K

L sparable

Remarque.
Si K L est normale et sparable, alors tout polynme irrductible de K [X] qui possde
une racine dans L se scinde simplement dans L.

2.2

Extensions galoisiennes

Il ressort de ltude prcdente la conclusion suivante.

Conclusion.
Soit K L une extension nie. On a toujours
Gal

Gal

[L : K]

= [L : K]

avec galit
ssi K

L est normale et sparable.

15

On sintresse maintenant au double cas dgalit

Gal
Dnition.
Une extension nie K

= N = [L : K] .

L est dite galoisienne si

Gal

= [L : K] .

Par exemple, si L est un corps de dcomposition dun polynme sparable, alors L est galoisienne (cf thorme
de prolongements). On montre que la rciproque est vraie.
Thorme (caractrisation des extensions galoisiennes).
Soit K L une extension nie et L une clture algbrique de L. On a quivalences entre :
(i)
K L est galoisienne.
(ii)
K L est normale et sparable.
(iii)
K L est sparable et tous les K-morphismes : L ! L ont mme image (L) = L.
(iv)
L est un corps de dcomposition dun polynme sparable de K [X].
Dmonstration.
(i) () (ii) () (iii)
Immdiat par dnition.
(iv) =) (i)
Dj vu.
(i) =) (iv)
Supposons K
L galoisienne. Par sparabilit, L = K [x1 ; :::; xn ] o les polynmes
minimaux i des xi sont sparables. Par normalit, les i se scindent dans
Wn L puisquils y ont dj une racine
xi . Il en rsulte que les i sont scinds simples dans L. En notant P = i=1 i le ppcm des i et 1 ; :::; k les
Qk
"i (j)
racines des Pi dans L, chaque i scrit alors sous la forme i = j=1 X
o "i (j) = 0 ou 1, donc
j
Qk
P = j=1 X
j est scind simple L. Comme on a en outre
L = K [x1 ; :::; xn ]

K [ 1 ; :::;

k]

L,

L est bien un corps de dcomposition de P , qui est sparable car scind simple dans L.
On peut maintenant dcrire plus prcisement les lments de G = Gal
Corollaire.
Soit K L galoisienne et P un polynme de dcomposition de K
Gal

L sparable de degr n. Alors

,! Sn

par permutation des racines de P .

On a par ailleurs la majoration
[L : K]

n!.

Dmonstration.
Qn
L
Si P = i=1 (X
K , P (g ( i )) = g (P ( i )) = g (0) = 0, do g ( i ) =
i ), alors 8g 2 Gal
2 Sn par injectivit de g. On a donc un morphisme de groupes
Gal

g (i)

avec

! Sn
7 !
g

qui est injectif : si g = Id, alors g ( i ) = i pour tout i, et comme L = K [ 1 ; :::;

puisque g stabilise K.
La majoration est immdiate : [L : K] = Gal L K
jSn j = n!.

n ],

on en dduit g = Id

Cette interprtation de laction du groupe de Galois comme permutant les racines est importante. On en
reparlera pour calculer explicitement le groupe de Galois dun polynme.

16

2.3

Lemme dArtin

Si H est un sous-groupe de Aut L, on note LH le sous-corps de L form des lments laisss xes par H. Le
lemme dArtin donne un classe dextensions galoisiennes.
Lemme (Artin).
Soit K L une extension nie, H un sous-groupe de Gal L
de groupe de Galois
Gal L LH = H.

. Alors lextension LH

L est galoisienne

Ainsi :
L : LH = Gal

LH

= jHj .

Dmonstration.
On a dj trivialement que H Gal L LH , donc jHj
Gal L LH ; comme de plus L est nie sur K,
H
L
H
L est nie sur L
K, donc Gal
L : L . On a ainsi jHj
Gal L LH
L : LH . Il su t
LH
jHj. Notons E = LH (comme extension intermdiaire).
donc de montrer que L : LH
Soient n = jHj
1, p > n et x1 ; :::; xP
p dans L. Il su t de montrer quils sont lis sur E, i.e. quil exite
p
de H
a
;
:::;
a
non
tous
nuls
dans
K
tels
que
1
p
i=1 ai xi = 0. Si de tels ai existent, on aurait pour tout
Pp
i=1 ai (xi ) = 0. En crivant H = fId; 2 ; :::; n g, les p scalaires ai devraient vrier les n quations
8 Pp
<
i=1 ai 1 (xi ) = 0
:::
,
: Pp
i=1 ai n (xi ) = 0

i.e.

0
B
@

(x1 )
..
.

10
1
(xp )
a1
C B .. C
..
A @ . A = 0.
.
ap
n (xp )
1

(x1 )

Puisque n < p, on a toujours une solution (a1 ; :::; ap ) non nulle ce systme dans Lp . On en choisit une qui
minimise le nombres de termes ai non nuls. Quitte normaliser par un terme ai non nul, on peut supposer
quun des ai vaut 1, mettons a1 = 1, do une solution
(a1 ; :::; ap ) = (1; a2 ; :::; ap ) .
Alors cette dernire est dans E p . En eet, il existerait sinon un ai0 >1 qui nhabite pas chez E = LH , i.e. on
pourrait trouver un j0 >1 dans H tel que j0 (ai0 ) 6= ai0 . On reprend alors le systme
0
10
1
a1
1 (xi )i=1;:::;p
B
C B .. C
..
@
A @ . A = 0,
.
n

on lvalue en

Or H =

j0 ,

do

0
B
@

j0 k

(xi )i=1;:::;p

10
(xi )i=1;:::;p
CB
..
A@
.
n (xi )i=1;:::;p

j0 1

j0

ap

1
(a1 )
C
..
A = 0.
.
j0 (ap )
j0

o k = 1; :::; n , donc aprs une permutation adquate des lignes, le systme devient
1
0
10
1 (xi )i=1;:::;p
j0 (a1 )
C
B
CB
..
..
A = 0,
@
A@
.
.
n (xi )i=1;:::;p
j0 (ap )

do une autre solution j0 (a1 ) = 1; j0 (a2 ) ; :::; j0 (ap ) . Alors la dirence 1; j0 (a2 ) ; :::; j0 (ap ) (1; a2 ; :::; ap )
est encore solution, mais elle a un zro de plus, donc elle est nulle par minimalit. On en dduit j0 (ai0 ) = ai0 ,
absurde.
Corollaire (Artin faible).
17

Soit K un corps et G un sous-groupe de Aut K. Alors lextension K G

Galois
Gal K K G = G.
Dmonstration.
On applique ce qui prcde lextension triviale f0g

2.4

K est galoisienne de groupe de

K.

Correspondance de Galois

Gnralisons la correspondance de Galois tablie pour les corps nis, qui un sous-groupe H du groupe de
Galois associait lextension stable par H.
On considre

G = sous-groupes de Gal L K
E = fextensions intermdiairesg

On a des applications
:

G
H

!
7 !

E
LH

et

E
E

!
G
7 ! Gal L

.
E

Le thorme suivant montre que et sont rciproques lune de lautre. Ainsi, pour comprendre les extensions
intermdiaires, problme de thorie des corps, on se ramne tudier le groupe de Galois, problme de thorie
des groupes.
Thorme (fondamental).
Soit K L galoisienne et H un sous-groupe de Gal
L
Pour toute extension intermdiaire E, on a LGal(
Lextension LH

L est galoisienne avec Gal

Pour g 2 G = Gal

Lextension K

L
H

=L

est galoisienne ssi H C Gal

Gal

LH

'

LH
1

gHg

, on a g L

et Gal
L

K .
) = E.
= H.

LH

, et alors
Gal(L

'

NG (H)

H.

H.

Dmonstration.
L
Soit E 2 E. Par dnition, on a toujours E LGal( E ) . Montrons lgalit des dimensions sur K pour
conclure lgalit.
Comme K L est galoisienne, L est un corps de dcomposition dun polynme P 2 K [X] sparable. Alors
P 2 E [X], et L est aussi corps deh dcompositioni dun polynme sparable de E [X], i.e. E L est galoisienne,
L
Artin
do [L : E] = Gal L E
= L : LGal( E ) , CQFD.
Dj fait (Artin faible).
1
Soit H 2 G, et g 2 Gal L K . On veut g LH = LgHg . Dune part, pour x 2 LH , on a 8h 2 H,
1
1
1
ghg 1 (g (x)) = gh (x) = g (x), do g (x) 2 LgHg et g LH
LgHg . Dautre part, pour y 2 LgHg , soit
x = g 1 (y) ; pour h 2 H, h (x) = hg 1 (y) = g 1 ghg 1 (y) = g 1 (y) = x, do x 2 LH , y = g (x) 2 g LH ,
1
puis LgHg
g LH .
(
H

NG (H)
! Gal L
K
. est bien dni car
g
7 !
gjLH
1
pour g 2 NG (H), on a g LH = LgHg = LH , donc gLH est surjective ; comme gjLH est clairement injective
et xant K, gjLH est bien un K-automorphisme de LH .
Calculons le noyau Ker :
Considrons maintenant le morphisme de groupe

g 2 Ker
Montrons ensuite que

() gjLH = Id () g 2 Gal

est surjectif. Soit

2 Gal

LH
H

de dcomposition dun polynme P 2 K [X]. Mais alors L

18

Artin
LH

. Puisque K

= H.
L est normale, L est un corps

L est aussi une extension de dcomposition de

P 2 LH [X], donc on peut prolonger lisomorphime : LH ! LH en un isomorphisme e : L ! L. Puisque

xe K, e aussi, donc e 2 Gal L K = G, et comme e prolonge , on a ( ) = ejLH = . est donc bien
surjectif.
H
NG (H)
On conclut en disant que Im ' NG (H) Ker , ce qui donne Gal L
K '
H.
K

LH est une extension galoisienne ssi

Gal
()
()
()
()
et le troisime point donne alors Gal

2.5

LH

LH

= LH : K

[L : K]
[L : LH ]
Gal L K
jNG (H)j
jGj
=
=
L
jHj
jGal ( LH )j
jHj
NG (H) = G
H C G,
NG (H)

'

NG (H)

H.

Clture galoisienne dune extension sparable nie Thorme de llment

primitif

Proposition.
Soit K
L une extension nie sparable, L une clture algbrique de L. Alors il existe une plus petite
extension galoisienne K Lg dans L, qui vrie donc K L Lg L. On lappelle la clture galoisienne de
L.
Dmonstration.
Construction 1 : utilise le critre K L galoisienne ssi L dcompose un polynme sparable de K [X]).
K L est sparable, donc L = K [x1 ; :::; xn ] o les xi sont sparables. Notant i leurs polynmes minimaux.
Si Lg rpond au problme, alors Lg est normale, donc les i (qui ont une racine xi sur K) se scindent sur Lg ,
donc WLg contient lengendr des racines de tous les i , ou plus prcisment lengendr des racines du ppcm
P =
i.
Rciproquement, si lon appelle D un corps de dcomposition de P sur K, on a dj vu que P est sparable
puisque les xi le sont, donc K D est galoisienne. Ainsi, lextension D rpond au problme et est la plus petite
daprs lanalyse.
Construction 2 : utilise le critre K L normale ssi tous les K-morphismes L ! L ont mme image L.
Supposons quune telle extension K L Lg L existe. En remarquant que L est une clture algbrique
de Lg , on doit avoir (Lg ) = Lg pour tout K-morphisme : Lg ! L. En particulier, si 0 : L ! L dsigne
g
g
un K-morphisme, on peut prolonger 0 Lg (cf thorme de prolongements), et alors 0 (L)
0 (L ) = L .
g
Ainsi, en appelant 1 ; :::; n les K-morphismes de L ! L, L doit donc contenir tous les i (L), donc doit
contenir lextension compose des i (L) :
E := K (

(L) ; :::;

(L)) .

Montrons rciproquement que E convient ce qui prcde prouvant quelle sera la plus petite extension rpondant au problme.
Soit ' un K-morphisme de E ! L. Les i tant dimage i (L)
K ( 1 (L) ; :::; n (L)) = E, on peut
parler de la compose ' i , laquelle est un K-morphisme de L ! L, i.e. est un (i) , tant une permutation
de Sn par injectivit de '. On en dduit
' (E)

=
=
=
=
=

' (K ( 1 (L) ; :::; n (L)))

K (' 1 (L) ; :::; ' n (L))
K
(1) (L) ; :::;
(n) (L)
K ( 1 (L) ; :::; n (L))
E,
19

donc K E est normale. Dautre part, K L tant sparable, on peut crire L = K [x1 ; :::; xr ] o les xi sont
sparables. On en dduit i (L) = i (K [x1 ; :::; xr ]) = K [ i (x1 ) ; :::; i (xr )], et chaque i (xj ) est sparable car
de mme polynme minimal que xj ( i xe K...). Ainsi, E = K ( i (L)) = K (K [ i (xj )]) = K ( i (xj )) est
sparable. K E est par consquent galoisienne, CQFD.

Consquence.
On peut dcrire les extensions intermdiaires K
E
L dune extension sparable
g
laide de Gal L K . En particulier, il ny a quun nombre ni dextensions intermdiaires.
On en dduit le thorme de llment primitif.

Thorme de llment primitif.

Soit K L extension nie sparable. Alors il exite un a 2 L tel que L = K [x].
Lemme.
Sn Soit E un K-espace vectoriel et F1 ; :::; Fn des sous-espaces vectoriels stricts de E. Si K est inni, alors
E.
i=1 Fi
Dmonstration.
Par rcurrence sur n.
n = 1 est trivial.
Sn 1
Sn
E, donc on peut trouver
de rcurrence, i=1 Fi
Pour n /
> 1, supposons i=1 Fi = E. Par hypothse
/
Sn 1
Sn 1
un u dans E
E, on peut trouver un a dans
i=1 Fi ; noter quun tel u est dans Fn
i=1 Fi . Puisque Fn
E nFn . On pose alors D = a + Ku.
Dune part, on a D \ Fn = ;, sinon
a + u = fn =) a = fn
dautre part, on a 8i 6= n, jD \ Fi j
a + u = xi
a + u = yi
Ainsi, jDj

u 2 Fn ,

1 car
=) (

) u = xi

yi 2 Fi \ Ku = f0g =) xi = yi .

1, ce qui absurde car D et K ont mme cardinal.

Dmonstration de la proposition.
Si K est de cardinal ni, alors L est galement ni, donc L est un Fq qui est monogne (car Fq cyclique).
On peut donc supposerSK inni.
On crit alors L = x2L K [x] o K
K [x] L est un extension
intermdiaire. Or ces dernires sont en
Sn
nombres ni, donc on peut extraire un recouvrement ni L = i=1 K [xi ]. Or L est un K-espace vectoriel de
dimension nie avec K inni, donc le lemme sapplique, do un xi tel que L = K [xi ].

2.6
2.6.1

Exemples
Racines de lunits Extensions cyclotomiques

Soit K un corps de caractristique p et n

n

Proposition.
On suppose p - n. Alors

1. On note

(K) lensemble des racines n-imes de lunit, i.e.

(K) = fx 2 K ; xn = 1g .

(K) est un groupe cyclique dont lordre ! vrie

p - ! j n.

Dmonstration.
n (K) est un sous-groupe ni de K , donc est cyclique.
20

X n 1 est premier avec sa drive nX n 1 6= 0, donc est sparable. Si L est un corps de dcomposition de
X
1 sur K, on en dduit que j n (L)j = n, donc lordre ! de n (K) vu en tant que sous-groupe de n (L)
doit diviser lordre de n (L), i.e. ! j n.
Soit p = car K. Si p = 0, p ne peut diviser ! 6= 0. Supposons donc p premier.
p
On crit n = p m o p ^ m = 1 et
0. En remarquant que ( 1) = 1 car
8
p
1
>
< pour = 0, ( 1) = ( 1) = 1
p
2
pour p = 2, ( 1) = ( 1) = 1 = 1 ,
>
:
p
p
pour p impair, ( 1) = ( 1) = 1
n

on obtient X n 1 = X p m 1 = (X m 1) , do n (K) = m (K). Puisque p - m (sinon p j m j n), on peut

appliquer le premier point : ! = j m (K)j divise m, do p - ! (sinon p j ! j m j n, absurde).
Dnition.
On appelle extension cyclotomique de niveau n de K un corps de dcomposition L de X n
Proposition.
Soit L une extension cyclotomique de niveau n sur K. Alors
Il y a exactement n racines n-imes de lunit dans L.
K L est galoisienne de groupe de Galois Gal L K ,! Z
Le degr de lextension cyclotomique vrie [L : K] ' (n).

nZ

1.

Dmonstration.
X n 1 est sparable et scind sur L, donc scind simple sur L, do j n (L)j = n.
L est un corps de dcomposition dun polynme sparable, donc lextension K L est galoisienne.
Soit G = Gal L K et g 2 G. g induit sur n (L) un automorphisme de n (L). En eet, si 2 n (L), alors
n
g ( ) = g ( n ) = g (1) = 1, donc la restriction de g n (L) est un endomorphisme du groupe n (L), injectif
(car g injectif) donc bijectif (car n (L) ni) ; cest donc un automorphisme de n (L). On a ainsi un morphisme
G
! Aut ( n (L))
de groupes
. Linjectivit sobtient en remarquant que, puisque L est engendr par
g 7 !
gj n (L)
n (L), un K-morphisme g est entirement dtermin par les valeurs quil prend sur n (L). Comme n (L) est
cyclique dordre n, on a Aut ( n (L)) ' Aut Z nZ ' Z nZ et G sinjecte bien dans Z nZ . En prenant
les cardinax, on obtient la majoration voulue :
[L : K] = jGj

' (n) .

nZ

On regarde le cas particulier de K = Q:

Proposition (extensions cyclotomiques de Q).
Soit L une extension cyclotomique de niveau n de Q. Alors Gal

'

nZ

Dmonstration.
On peut crire L = Q [ ] o est une racine primitive de lunit. Son polynme minimal est
avec deg n = ' (n), do
' (n) = deg n = degK = [L : K] = jGj ' (n) .
On obtient donc une galit, et le morphisme injectif G ,!

21

nZ

devient un isomorphisme.

2 Z [X],

2.6.2

Polynmes symtriques Discriminant

Soit A un anneau commutatif. On considre les polynmes symtriques de A [X1 ; :::; Xn ]. On dispose en
particulier des polynmes symtriques lmentaires
8
<
P1 = X1 + ::: + Xn
k =
1 i1 <:::<ik n Xi1 :::Xik .
:
n = X1 :::Xn
On prcisera si besoin le nombre de variables des
(n)
k

:=

par un exposant :

(X1 ; :::; Xn ) .

Proposition.
Soit P 2 A [X1 ; :::; Xn ] symtrique. Alors il existe un unique polynme S 2 A [Y1 ; :::; Yn ] tel que
P (X1 ; :::; Xn ) = S (

1 ; :::;

n) .

Dmonstration.
Pour lexistence, on fait une rcurrence sur le nombre de variables plus le degr total.
Pour n = 1, X = 1 , donc P = P (X) = P ( 1 ).
Pour deg P = 0, i.e. P = a constant, on a P (X1 ; :::; Xn ) = a = a ( 1 ; :::; n ).
Soit P n 2 variables et de degr 1. On considre le polynme n 1 variables
Pn (X1 ; :::; Xn

1)

= P (X1 ; :::; Xn

1 ; 0)

symtrique (car P lest), donc on peut rcurrer :

Pn (X1 ; :::; Xn

1)

= Q

(n 1)
1

= Q

(n)
1

(n)

On en dduit que P (X1 ; :::; Xn )

donc est divisible par X1 :::Xn =

(X1 ; :::; Xn

(X1 ; :::; Xn
(n)
n 1

Q 1 ; :::;
,
n do
P (X1 ; :::; Xn )

(n 1)
n 1

1 ) ; :::;

(n)
n 1

1 ; 0) ; :::;

(X1 ; :::; Xn

(X1 ; :::; Xn

1)

1 ; 0)

sannule en Xn = 0, donc en tous les Xi par symtrie,

(n)
1 ; :::;

(n)
n 1

nP

o P est un polynme n variables symtrique de degr < deg P , et on peut alors rcurrer sur le degr de P .
Pour lunicit, on rcurre sur n.
Pour n = 1, S ( 1 ) = S (X) = S, do lunicit.
Pour n 2, supposons S ( 1 ; :::; n ) = T ( 1 ; :::; n ). On fait Xn = 0, do

En posant

Sn (X1 ; :::; Xn
Tn (X1 ; :::; Xn

(n 1)
; :::;
1

1)

= S (X1 ; ::; Xn
= T (X1 ; ::; Xn

1)

Sn

(n 1)
n 1 ;0

(n 1)
; :::;
1

1 ; 0)
1 ; 0)

(n 1)
; :::;
1

=T

(n 1)
n 1 ;0

, on a alors

(n 1)
n 1

= Tn

(n 1)
; ::;
1

(n 1)
n 1

do Tn = Sn par rcurrence. ? ? ? ? ?

Corollaire.
Lextension K (

1 ; :::;

n)

K (X1 ; :::; Xn ) est galoisienne de groupe de Galois

Gal

K(X1 ;:::;Xn )

K(

qui permute les indtermines.

22

1 ;:::; n )

' Sn

Dmonstration.
Qn
Soit P (T ) = i=1 (T

Xi ) lment de K (X1 ; :::; Xn ) [T ]. En dveloppant, on trouve

P (T ) = T n

1T

n 1

+ ::: + ( 1)

n,

donc P (T ) 2 K ( 1 ; :::; n ) [T ]. P est de plus sparable (car scind simple), et K (X1 ; :::; Xn ) en est un corps
de dcomposition, donc K ( 1 ; :::; n ) K (X1 ; :::; Xn ) est une extension galoisienne.
Soit G = Gal K(X1 ;:::;Xn ) K( 1 ;:::; n ) . On sait dj que G sinjecte dans Sn par permutation des racines
dun polynmes de dcomposition, en particulier P , donc G agit en permutant les indtermines Xi . Dautre
part, il est clair que toute permutation des Xi laisse stable K ( 1 ; :::; n ), do lgalit:

Introduisons maintenant un outil issu des symtries de K (X1 ; :::; Xn ) : le discriminant.

Dnition.
n(n 1) Q
Q
2
Le polynme i<j (Xi Xj ) = ( 1) 2
Xj ) est invariant sous Sn , donc scrit comme un
i6=j (Xi
polynme S ( 1 ; :::; n ) coe cients entiers en les i .
n
Pour P = X1 a1 X n 1 + ::: + ( 1) an polynme unitaire de degr n 1, on pose
disc P = S (a1 ; :::; an ) 2 K
et on lappelle le discriminant de P .
Si P nest pas unitaire, P scrit

Q o Q est unitaire, et on pose

2

disc P =

Par exemple, pour n = 2, on a

Y
2
(Xi Xj ) = (X

disc Q

S (X; Y ) = X 2

4Y .

Y ) = (X + Y )

4XY =

2
1

2,

i<j

do
2

Aini, le discriminant dun polynme P = aX + bX + c vaut

= a2

b
a

a
4
c

= b2

4ac

bien connu...

Lintrt du discriminant (entre autres) est de donner un critre pratique de sparabilit.

En eet, soient 1 ; :::; n les racines dun polynme P dans un corps de dcomposition : P =
Alors
Y
2
disc P = 2 S ( 1 ( 1 ; :::; n ) ; :::; n ( 1 ; :::; n )) = 2
( i
j) .

(X

i ).

i<j

Proposition (critre de sparabilit).

P est sparable ssi disc P 6= 0.
Proposition (calcul du discriminant).
1 ; :::; n les racines de P
Soit P unitaire de degr n et
0
1 ; :::; n 1 les racines de P
alors
disc P =

i<j

j ) = ( 1)

n(n 1)
2

n
Y

i=1

23

dans une extension de dcomposition. On a

P 0 ( i ) = ( 1)

n(n 1)
2

nn

n
Y1
i=1

P ( i) .

Dmonstration.
Pn Q
On a P 0 = i=1 j6=i (X

j ),

donc P 0 ( i ) =
n
Y

P 0 ( i) =

disc P

Qn

1
j=1

( 1)

j6=i

n Y
Y

j ),

j)

= disc P .

n(n 1)
2

,donc

n
Y

P 0 ( i ) = ( 1)

n(n 1)
2

i=1

( 1)

do

i=1 j6=i

i=1

Dautre part, P 0 scrit n

n(n 1)
2

nn

n
Y

i=1
n
n
Y1 Y

= ( 1)

n
Y1

j=1

n(n 1)
2

nn

j=1 i=1

n
Y1

j=1

Par exemple, pour P = X n + aX + b, on peut montrer que

h
n(n 1)
n
disc (X n + aX + b) = ( 1) 2
(1 n)

an + nn bn

Pour un polynme de degr 3 rduit, mettons P = X 3 + pX + q, on va montrer que

disc P =

4p3

27q 2 .

Q
2
2
2
2
En eet, i<j (Xi Xj ) = (X Y ) (Y Z) (Z X) = S ( 1 ; 2 ; 3 ) est homogne de degr 6, et disc P =
S (0; p; q), donc seul les termes sans 1 nous intressent. Il ny en a que deux sortes : 2 2 2 et 3 3 . Ainsi,
S(

1;

2;

3)

= A(

1)

3
2

2
3.

Pour trouver les constantes et , on regarde des valeurs particulires.

2
2
2
Pour P = X (X 1) (X + 1) = X 3 X, on a disc P = (1 ( 1)) (1 0) (0 ( 1)) = 4, qui doit aussi
valoir , do = 4
Pour P = X 3 1, la formule avec les racines de la drive 3X 2 donne disc P = 33 03 1 03 1 = 27,
qui doit aussi valoir , do = 27.
Finalement :
disc X 3 + pX + q = 4p3 27q 2

Proposition (un critre pour que Gal L K

An ).
Soit K L galoisienne, P un polynme de dcomposition de degr n et 1 ; :::; n , les racines de P dans L.
Q
Q
2
Soit disc P = i<j j
= i<j j
i et posons
i 2 L. On dispose dune signature " sur G =
L
Gal
K ,! Sn (qui dpend de lindexation des racines choisie).
Alors les deux conditions suivantes sont quivalentes :
disc P est un carr dans K, i.e. 2 K ;
" est trivial sur G, i.e. G ,! An .
Dmonstration.
8 2 G, on a
Q
"( ) =

(j)

i<j

i<j

(i)
i

i<j

Ainsi, si 2 K, alors G xe , do " (G) = f1g.

Rciproquement, si G An , alors G xe , donc

( i)

i<j

( )

2 LG = K.

Remarque.
Bien que la proposition G ,! An dpende de lindexation des racines choisie, la condition
disc P 2 K 2 , elle, nen dpend pas.

24

2.6.3

Extension cycliques

Dnition.
Une extension est dite cyclique si elle est galoisienne de groupe de Galois cyclique.
Lemme de Dedekind.
Soit n
2, G un monode et 1 ; :::; n : G ! K des morphismes multiplicatifs deux deux distincts.
Alors les i (vus dans le K-espace vectoriel K G ) sont linairement K-indpendants.
Dmonstration.
P
Par labsurde. On suppose i
dans G, on a

i i

0=
do pour tout j :
X

(x)

"

= 0 o le support des
X

i i

(x))

"

(xy) =

i i

est non vide et minimal. Alors, pour tous x; y

i i

(x)

(x)

(x)

(y) ,

i i

=0

0 = 0,

donc par minimalit du cardinal des ( i ) on a i ( i (x)

j (x)) = 0 pour tous i; j, en particulier pour un i0 tel
que i0 6= 0 et pour j 6= i0 (possible car n 2), do i0 (x)
j (x) = 0, et ce pour tout x de G, i.e. i0 = j ,
absurde car les i sont deux deux distintcs.

Remarque.

On aura besoin par la suite de lhypothse

"K contient dj toutes les racines n-imes de lunit",

ce quon peut reformuler de manire quivalente en :

j n (K)j = n ;
X n 1 est scind simple sur K ;
X n 1 scind sur K (par sparabilit) ;
K est une extension cyclotomique de niveau n de lui-mme ;
K contient une racine n-ime de lunit non triviale (par cyclicit de

(K)) ;

Proposition.
Supposons j n (K)j = n, et soit a qui nest pas une puissance (non triviale) de K divisant n, i.e.
a 2 Kd
djn

=) d = 1.

Alors
X n a est irrductible sur K ;
Toute extension L de dcompostion de X n
Gal

a est cyclique ; plus prcisment

L

,!

(K) .

Dmonstration.
Soit L un corps de rupture de X n a sur K, et x 2 L tel que xn = a. Soit une racine n-ime de lunit
Qn 1
dans K. Alors les x k pour 0 k < n sont les racines de X n a dans L, do X n a = k=0 X x k (ce
qui montre au passage que X n a est sparable).
Soit maintenant une dcomposition X n a = QR dans K [X] o Q non constant. Dans L [X], on a Q =
Q
x k pour une certaine partie A f0; :::; n 1g de cardinal 1, mettons q (comme Q).
k2A X
q

Le terme constant de Q est ( 1) xq ? 2 K, donc xq 2 K ; en outre, xn = a 2 K. Soit

donne = n + q, do x = (xn ) (xq ) 2 K, donc
a = xn = x
25

2K ,

= n ^ q. Bezout

do par hypothse sur a

() q = n () Q = X n

= 1 () n =

a.

Par consquent, X n a est irrductible.

Ainsi, si L est un corps de dcomposition de X n a sur K, alors X n a est irrductible sparable, donc
K L est galoisienne. Or, L = K x; x ; :::; x n 1 = K [x], donc un 2 Gal L K est dtermin par (x),
qui vaut une certaine racine (x) = x k de P puisque
P ( (x)) =

(x)

(xn )

a=

On a donc un morphisme de groupe injectif

Gal

a=

(a)

!
7 !

Proposition (rciproque).
Soit K
L cyclique, n = [L : K], et supposons que j
que L soit un corps de dcomposition de X n a.

a=a
(K)
(x)
x

a = 0.

, do Gal

cyclique.

(K)j = n. Alors on peut trouver un a dans K tel

Dmonstration.
Soit un gnrateur de Gal L K . Daprs la dmonstration qui prcde, il est judicieux de chercher un
x 2 L tel que (x)
x soit une racine primitive n-ime de lunit.
Soit une racine primitive n-ime de lunit (qui est dans K par hypothse). On veut un x 2 L tel que
(x)
=
x
Un bon candidat serait x =

()
P

g2h

(x) = x ()

x = x () x 2 Fix
1

i g, condition de lui donner du sens. Or,

1

donc on peut regarder lapplication K-linaire

8
>
!
< L
':
>
: x 7 !
x+

n n

est ni car

= Id ,

i g (x) =
(x) + ::: + (n 1)
g2h

n 1

(x)

1
Tout point de limage de ' est xe par
par construction, et ' est non identiquement nulle, sinon
Id; ; :::; n 1 seraint K-lis, absurde par Dedekind. Do lexistence dun x0 6= 0 dans L tel que (x0 ) = x0 .
Il reste remonter la dmonstration prcdente, en posant a = xn0 . Tout dabord, a 2 K puisque

(a) =

(xn0 ) =

(x0 ) = ( x0 ) = xn0 = a =) a 2 LGal(

n

)=K

Qn
k
(K
L est galoisienne). Par ailleurs, X n a se scinde en k=1 X
x0 , et pour conclure que L est un
n
a, il su t de montrer que L est engendr par les racines de X n a. Comme
corps de dcomposition de X
on sait dj que
K K [x0 ] K x0 ; x0 ; x0 2 ; :::; x0 n 1
L
avec [L : K] = n, il su t de montrer que x0 est de degr n sur K, ce qui forcera lgalit K x0 ; x0 ; x0 2 ; :::; x0 n 1 =
L comme souhait.
Pd
Soit donc = i=0 i X i polynme minimal de x0 sur K avec d 6= 0. On a d = [K [x0 ] : K] [L : K] = n, et
Pd
P
P
P
i
i i
on veut d = n. En appliquant lgalit i=0 i xi0 = 0, on obtient 0 =
xi0 =
i
i (x0 ) =
i x0 ,
Pd
P
d
1
i
i+1
d
do 0 = i=1 i 1
xi0 et 0 = i=0 i+1 1
xi0 , ce qui impose par minimalit d 1
= 0
(coe cient dominant), do

= 1, n j d, n

d, et n = d comme voulu.

26

Rsolubilit par radicaux

Soit K un corps, P 2 K [X], K L une extension de dcomposition dun polynme P . On aimerait pouvoir
expliciter les racines de P laide doprations algbriques rationnelles et de racines n-imes.
Dnition.
Une extension K
racine n-ime).
Une extension K

L est dite radicale lmentaire si

9x 2 L
9n 1

tel que

xn 2 K
L = K [x]

(on rajoute une

L est dite radicale si il y a une tour

K = K0

K1

:::

Kn = L

o Ki Ki+1 est radicale lmentaire. Ainsi L = K [x1 ; :::; xn ] o xi est une racine ni -ime dun lment de
K [x1 ; :::; xi 1 ].
Une extension K L est dite rsoluble (par radicaux) si L est contenue dans une extension radicale de K
nie sur L.
On dit que P 2 K [X] est rsoluble par radicaux si le corps de dcomposition de P est une extension rsoluble
de K.
Remarques.
Si K L est radicale et K L0 L, alors K L0 est radicale. Ainsi, pour montrer quune extension est
radicale, il su t de linclure dans un extension radicale.
Si K L est rsoluble et K L0 L, alors K L0 et L0 L sont rsolubles ;
Si K
L est radicale (resp. rsoluble) et K
L1 K-isomorphe L, alors K
L1 est radicale (resp.
rsoluble).

3.1

Extensions composes

Dnition.
K L1
Soient
deux extensions contenues dans un mme sur-corps L de K.
K L2
On appelle extension compose de L1 et L2 le sous-corps de L engendr par L1 et L2 :
L1 L2 = K (L1 [ L2 ) = L1 (L2 ) = L2 (L1 ) .

On suppose dsormais que L est une clture algbrique K de K.

Lemme.
Soit A une K-algbre intgre de dimension nie. Alors A est un corps.
Dmonstration.
Soit a 6= 0 dans A ; alors la multiplication par a est un endomorphisme injectif donc surjectif, ainsi 1 est
atteint.

Proposition.
Soit K L1 nie. Alors L2

L1 L2 est nie et
[L1 L2 : L2 ]

[L1 : K] .

De plus, si on a galit [L1 L2 : L2 ] = [L1 : K], alors L1 \ L2 = K.

Dmonstration.
L2 [L1 ] est une L2 -algbre intgre de dimension nie sur L2 , donc un corps. Une partie gnratrice de L2 [L1 ]
vu comme L2 -espace vectoriel est une base de L1 comme K-espace vectoriel, do [L1 L2 : L2 ] [L1 : K].
27

Dautre part, on peut faire la mme chose en prenant comme sous-corps commun L1 \ L2 : [L1 L2 : L2 ]
[L1 : L1 \ L2 ] [L1 : K]. Donc si on a galit, [L1 L2 : L2 ] = [L1 : K], alors on a galit partout et K = L1 \ L2 .
Corollaire.
Si L1 et L2 sont des extensions nies, alors
[L1 L2 : K]

[L1 : K] [L2 : K] .

De plus, si on a galit, alors K = L1 \ L2 .

Proposition.
Si K L1 est galoisienne, alors L2 L1 L2 est galosienne.
K L1
K L1 L2
Si
sont galoisiennes, alors
sont galosiennes.
K L2
K L1 \ L2
Dmonstration.
L1 est un corps de dcomposition dun P sparable de K [X], donc P sparable dans L2 [X], et alors L1 L2
est un corps de dcomposition de P sur L2 .
L1 L2 = K (L1 [ L2 ) ; Li est un corps de dcomposition dun Pi sparable de K [X], donc P = P1 _ P2
sparable dans L1 L2 [X], et alors L1 L2 est un corps de dcomposition de P sur K. De plus, L1 \ L2 est
sparable car L1 ou L2 lest, et K est une clture algbrique de L1 \ L2 . Soit alors : L1 \ L2 ! K ; a-t-on
(L1 \ L2 ) = L1 \ L2 ? On crit K L1 \ L2 L1 L2 , on peut prolonger en e L1 L2 ; alors e (L1 ) L1 car
K L1 est galoisienne, do (L1 \ L2 ) = e (L1 \ L2 ) e (L1 ) \ e (L2 ) e (L1 \ L2 ).

3.2

Calcul de Gal

L1 L2

en fonction de Gal

Proposition.
Si K L1 est galoisienne, alors L2
Gal

L1

et Gal

L2

L1 L2 est galosienne, et
L1 L2

Dmonstration.
On construit un morphisme injectif Gal L1 L2 K
rement un morphisme Gal L1 L2 L2 ! Gal L1 L2

' Gal

L1

L1 \L2

! Gal L1 K , puis on identiera les images. On a claiL1 L2 , tout de Gal L1 L2 K

L
K , et comme K
| {z }1
galoisienne

stabilise L1 (car L1 normale). On a donc un morphisme Gal L1 L2 K ! Gal L1 K , do par composition

un morphisme ' : Gal L1 L2 L2 ! Gal L1 K .
' est injectif, car si
2 Gal L1 L2 L2 senvoie sur lindentit, alors jL1 = Id, et comme jL2 = Id,
jL1 L2 = Id.
Image de ' ? Cest un sous-groupe H de Gal L1 K , dtermin par son sous-corps des points xe LH
1 . On
H
L1 L2
a dj que L1 \ L2 LH
(x) = x, i.e. x 2 L1 \ L2 .
L2 ,
1 . Dautre part, si x 2 L1 , 8 2 Gal
Corollaire.
Si K L1 galoisienne, alors
[L1 L2 : K] = [L1 L2 : K] [L2 : K] = [L1 : L1 \ L2 ] [L2 : K] .
Dmonstration.
la premire galit est triviale, la seconde vient de ce que L1 \ L2

28

L1 est galoisienne.

3.3

G1

Construction de la thorie des groupes : produit br

Soit G1 ; G2 ; H des groupes, 'i : Gi ! H des morphismes. Le produit br G1

G2 des (x; y) tels que '1 (x) = '2 (y), i.e. tel que

G2 est le sous-groupe de

pr1

G1 H G2
# pr2
G2

G1
# '1
'2
! H

commute.
Exemple.

= n1 ^ n2
. Alors
= n1 _ n2

Soit n1 ; n2 des entiers,

Z

n1 Z

n1 Z

x
x

en eet, cela revient dire que le systme de congrunces

Thorme.
K
Soient
K

L1
L2

galoisiennes. Alors
Gal

L1 L2

Dmonstration.
K L1 L1 L2 . Soit jk : Gal

L1 L2

(j1 ; j2 ) : Gal

K L1 L2
K L1 \ L2

' Gal

K
L1 L2

L1

! Gal

Lk

Z.

x1 [n1 ]
possde une solution ssi x1
x2 [n2 ]

x2 [ ].

sont galoisiennes, et

Gal(L1 \L2

! Gal

'

) Gal

L2

obtenu par restriction. Alors

L1

Gal

L2

est un morphisme de groupe injectif.

Or, en composant jk avec la restriction rk : Gal Lk K ! Gal L1 \L2 K , on obtient le mme morphisme
Gal L1 L2 K ! Gal L1 \L2 K . Donc limage est contenue dans le produit br Gal L1 K Gal(L1 \L2 K )
Gal

L2

. Montrons quils ont mme cardinal. On considre

(r1 ; r2 ) : Gal

L1

Gal

L2

! Gal

L1 \L2

Gal

L1 \L2

dont limage contient le sous-groupe diagonal. Limage rciproque de ce sous-groupe diagonal, modulo le noyau,
est isomorphe ce sous-groupe diagonal. Donc
jimage rciproquej =
=

Gal

L1 \L2

Gal

L1 \L2

L1 \L2

jKer (r1 ; r2 )j

jKer r1 j jKer r2 j

= Gal
Gal L1 L1 \L2 Gal L2
K
= [L1 \ L2 : K] [L1 : L1 \ L2 ] [L2 : L1 \ L2 ]
{z
}
|
= [L1 : K] [L2 : L1 \ L2 ]
= [L1 L2 : K]
= Gal L1 L2 K .

L1 \L2

Thorme.
K L1
Soient
K. Si elles sont radicales (resp. rsolubles), alors K L1 L2 lest aussi.
K L2
Soit K
L extension nie sparable. Si elle est radicale (resp. rsoluble), alors la clture galoisienne
K Lg lest aussi.
Dmonstration.
29

(extensions radicales) Soient

K
K

E1
F1

L1 = L1 K

E2 :::
F2 :::

En = L1
des tours dextensions lmentaires. Alors
Fm = L2

L1 F1

L1 F2

:::L1 Fm = L1 L2 ,

avec Fj+1 = Fj [yj+1 ] o yj+1 est une racine nj+1 -ime de Fj , do L1 Fj+1 = L1 Fj [yj+1 ].
(extensions rsolubles) On est K Li Fi K o K Fj radicale. Quitte remplacer F1 et F2 par des
extensions isomorphes, on peut suppoeser quils sont dans une mme clture algbrique de K.
Le second point rsulte du premier, car Lg est construite comme extension compose de tous les (L) o
: L ! K morphisme dans une clture algbrique de L.
Thorme.
Soit K L galoisienne, o car K = 0. Alors K
Rappel.

L est rsoluble ssi Gal

est rsoluble.

Un groupe G est dit rsoluble si on peut trouver une tour nie de sous-groupes
f0g = G0

G1

:::

Gn = G

avec Gi C Gi+1 et Gi+1 Gi ablien. Il revient au mme de dire que la suite des sous-groupes drivs stationne
feg.
Proposition. Si G est rsoluble, alors tout sous-groupe et tout quotient de G est rsoluble.
Proposition. Soit G un groupe, H C G. Si H et G H sont rsolubles, alors G est rsoluble.
Proposition. Si G est un groupe ni, alors G est rsoluble ssi il exite une tour
f0g = G0
avec Gi C Gi+1 et

Gi+1

Gi

G1

:::

Gn = G

cyclique.

Proposition.
Si K contient toutes les racines n-ime de lunit, si K
L est radicale lmentaire de niveau n (i.e.
L = K [ ] avec n 2 K), alors elle est galoisienne de groupe de Galois cyclique. Et inversement.
Dmonstration du thorme.
On suppose que K
L est radicale et que [L : K] = n = j n (K)j. Alors Gal
dispose dune tour
K E1 ::: Ek L.

est rsoluble. On

On a dj vu le cas k = 1 (extension cyclique), donc on peur supposer k 2. On fait alors une rcurrence sur le
degr n de lextension. On sait que E1 L est radicale galoisienne, [L : E1 ] j [L : K] = n et E1 contient toutes
les racines [L : E1 ]-ime de lunit. Par rcurrence, Gal L E1 est rsoluble. K E1 est rdicale lmentaire,
[E1 : K] j n et n = j n (K)j, donc on toutes les racines n-imes de lunit. Donc lextension est galoisienne, de
L
groupe de Galois cyclique. K E1 galoisienne implique Gal L E1 C Gal L K et Gal( E1 ) Gal(L E ) '
1

, do Gal L K rsoluble.
Cas gnral, K
L galoisienne, rsoluble. Soit K
galoisienne E
K
| {z L}

Gal

E1

F avec K

F radicale. On prend une clture

galoisienne

E
radicale galoisienne. Gal
L0 une extension
K est un quotient de Gal
K . Soit n = [E : K], et K
n
de dcomposition de X
1 contenue dans
une clture algbrique de E. K
L est galoisienne radicale
lmentaire. On considre ensuite K
EL0 radicale galoisienne. L0
EL0 est galoisienne (K
E lest)
radicale. De plus, [EL0 : L0 ] j [E : K] donc on a les racines de lunits quon veut. On applique le premier point
0
0
Gal E K .
L0 j EL0 , do Gal EL L0 rsoluble. Dautre part, Gal EL L0 ' Gal E E\L0
L

z
K
|

gaoisienne

}|
0
E
{z \ L}

galoisienne

30

{
E

donc Gal

E\L0

C Gal

est rsoluble.
gaoisienne cyclique

z
K
|

}|
0
E
{z \ L}

{
E

galoisienne

donc le quotient Gal

E\L0

est cyclique, donc Gal

rsoluble, donc Gal

est rsoluble.

Rciproque ! ! ! !
On suppose Gal L K rsoluble, [L : K] = n = j n (K)j. Alors K
On a un groupe ni rsoluble, donc on a un sous-groupe H C Gal L
H
K
| {zL }

L est radicale.
quotient cyclique.

galoisienne cyclique avec toutes les racines de 1

donc radicale lmentaire. Par rcurrence sur le degr de lextension, on montre que LH L est radicale.
Gal L LH rsoluble comme sous-groupe cyclique de Gal L H rsoluble, L : LH j n, K LH et donc
toutes les racines n-imes quon veut. LH L galoisienne car K L lest, cqfd.
Cas gnral. K L, [L : K] = n, K L0 corps de dcomposition de X n 1 dans , est galoisienne. Alors
K
LL0 est galoisienne car L et L0 le sont. L0
LL0 galoisienne, on a toutes les racines [LL0 : L0 ]-imes de
0
0
lunit de L0 , Gal LL L0 ' Gal L L\L0
Gal L K rsoluble, donc Gal LL L0 rsoluble. L0 LL0
radicale, K

L0 radicla emlentaire, doncK

LL0 radicale (K

31

LL0 implique L rsoluble).

Calcul du groupe de Galois dun polynme P 2 Z [X] via la rduction modulo p

Dnition.
Soit P 2 Z [X] unitaire sparable de degr n. On dispose dun extension Q
est galoisienne). On appelle groupe de Galois de P sur Q
Gal P = Gal
Q

L de dcomposition de P (qui

On rappelle que GalQ P agit par permutation sur les racines de P , do GalQ P ,! Sn .

4.1

Lecture de GalQ P dans la dcomposition de P en facteurs irrductibles

Proposition (calcul du polynme minimal par action du groupe de Galois).

Soit K L galoisienne de groupe de Galois G. Le polynme minimal dun 2 L sur K est donn par
Y
=
(X
( )) .
2G

Dmonstration.
Q
( )) est coe cients dans LG = K. De plus, tous les
2G (X
Q
( )) j . Comme
est irrductible, on a galit.
2G (X

( ) sont des racines de

Proposition.
Soit K L galoisienne et P 2 K [X] unitaire scind simple dans L. Soit
`k
partitionne en orbites sous laction de G = Gal L K , mettons = i=1
Qk
Alors Fi 2 K [X], est irrductible, et P = i=1 Fi .

, donc

lensemble des racines de P . On

Q
).
i , et on pose Fi =
2 i (x

Dmonstration.
Pour 2 i , on a G ( ) = i , donc les coe cients de Fi sont stables par G et sont donc dans K. Daprs
la proposition prcdente, Fi est le polynme minimal de lun quelconque des 2 i , a fortiori est irrductible.
Intrt.
Si G est cyclique engendr par g0 , on peut dcrire les orbites i en regardant la dcomposition de g0 (vu dans
Sn ) en cycles support disjoints. Les longueurs des cycles sont donnes par les degrs des facteurs irrductibles
de P . Ainsi, si ces degrs sont n1 ; :::; nk , G est engendr par un lment conjugu
(1; :::; n1 ) (n1 + 1; :::; n1 + n2 ) ::: (n1 + ::: + nk

1 ; :::; n) .

On connait dj une classe de groupes de Galois cycliques, les Gal Fq Fp , qui sont engendrs par Fr. On
va donc ramener ltude du groupe de Galois du polynme P aux Gal Fq Fp en rduisant modulo p (o p
premier choisir opportunment...).
En notant P le rduit de P modulo p et L un corps de dcomposition de P sur Fp , un bon candidat pour
Gal Fq Fp est GalFp P = Gal L Fp , do lattention particulire quon lui porte.

4.2

Rduction modulo p

Soit P 2 Z [X] unitaire. Pour p premier, on note P 2 Fp [X] obtenu en rduisant P modulo p. On pose alors
Q
Fp

E un corps de dcomposition de P
.
L un corps de dcomposition de P

On veut "comparer" ltude de E et GalQ P celle de L et GalFp P .

32

4.2.1

Construction dun corps de dcomposition de P

Soient

1 ; :::; n

les racines de P dans E. On a donc

E = Q [ 1 ; :::;

en posant A = Z [ 1 ; :::;

n]

' Z [ 1 ; :::;

n]

Q=A

n ].

Proposition.
A est un Z-module libre de type ni de rang [E : Q] (on dit que cest est un rseau dans E).
Dmonstration.
A est de type ni car engendr par les 1 1 ::: k k o i < n, et est sans torsion car E est sans torsion. Puisque
Z est principal, A est libre, mettons A = Zu1 + ::: + Zur o (u1 ; :::; ur ) est un Z-base de A. Montrons que cest
une Q-base de E, ce qui nous donnera r = [E : Q].
En eet, (u1 ; :::; ur ) est Z-libre, donc Q-libre (en tuant les dnominateurs dune relation de liaison), et gnre
Q-linairement E puisque
=)
=)

x 2 E = Q [r1 ; :::; rn ]
9k 2 N tel que kx 2 Z [r1 ; :::; rn ] = A
r
X
9k 2 N tel que kx =
i ui o i 2 Z
i=1

=)

x=

r
X
i=1

ui o

2 Q.

Contruisons prsent une extension de dcompositon L de P sur Fp laide de A.

Proposition.
Soit M un idal maximal de A contenant pA. Alors L =

est un corps de dcomposition de P sur Fp .

Dmonstration.
Un bon candidat pour un Z pZ -espace vectoriel de dimension nie est lanneau quotient A pA , mais il
peut trs bien ne pas tre un corps. Do lide de considrer pA M A.
Notons : A ! L la projection canonique modulo M. On munit L = (A) de la loi externe issue de
(a) = ( a), ce qui transforme en quelque sorte en un morphisme dalgbres de la
la multiplication
Z-algbre A dans la Fp -algbre L.
L est alors une extension nie de Fp . En eet, L est clairement un corps, et si (u1 ; :::; ur ) est une Z-base de A,
alors ( (u1 ) ; :::; (ur )) est une famille Fp -gnratrice de (A) = L, donc L est niment gnr (linairement),
donc de dimension nie sur Fp .
Enn, en remarquant que envoie les scalaires de Z sur ceux de Fp , on peut dire que L est un corps de
dcomposition de P puisque
!
n
n
Y
Y
P = (P ) =
(X
)
=
(X
( i ))
i
i=1

i=1

est scind sur L et que

L=
est algbriquement engendr par les

(A) =

(Z [ 1 ; :::;

n ])

= Fp [ ( 1 ) ; :::; (

( i ).

La construction eectue est naturelle, au sens suivant :

Proposition.
Soit Fp K une extension nie. On quivalence entre :
K est un corps de dcomposition de P ;
Il existe un morphisme danneaux surjectif Z [ 1 ; :::; n ] ! K.
33

n )]

Dmonstration.
(i) =) (ii)
On a dj construit un corps de dcomposition L. Par unicit isomorphisme ' prs, '
est un morphisme danneaux surjectif.
(ii) =) (i)
Soit : A ! K un morphisme danneaux surjectif. CommeQpour la projection , on a
(Z) = Fp , donc K est algbriquement Fp -engendr par les ( i ), et P = (P ) = (X
(ri )) est scind sur
K.
Ainsi, si K est un corps de dcomposition de P , il existe un morphisme danneaux de A dans K qui envoie
surjectivement les racines de P sur celles de P . De plus, la dmonstration qui prcde montre que cest le cas
de tous les morphismes danneaux de A dans K.
Remarque.

Tout morphisme danneaux ' de A dans L est ncessairement surjectif. En eet,

Im ' = ' (A) = ' (Z [ 1 ; :::;

4.2.2

n ])

= Fp [' ( 1 ) ; :::; ' (

n )]

=L

Injection de GalFp P dans GalQ P

Proprit.
Soit P 2 Z [X] unitaire, p premier, P 2 Fp [X] son rduit modulo p. Alors
P sparable =) P sparable.
Dmonstration.
disc P 2 Fp est la rduction modulo p de disc P 2 Z:
Lemme.
Si P est sparable, laction droite de GalQ P sur Hom (A; L) dnie par

'='

est libre et transitive.

Dmonstration.
Libert.
Si
' = ', i.e. '
= ', on se restreint
(ensemble des racines de P ) : '
j = 'j ; comme
stabilise , on a mme 'j
j = 'j . Or, on sait que ' envoie surjectivement les racines de P sur celles de
P 0 , donc 'j :
! est surjectif, et P tant sparable, on a j j =
= deg P , do 'j injective. On en
dduit j = Id, do = Id (car engendre E).
Transitivit.
Fixons ' dans Hom (A; L). P osons N = jGalQ P j, et soit f'1 ; :::; 'N g = f'
; 2 GalQ P g lorbite de '
sous laction de GalQ P . Puisque laction est libre, lorbite est de cardinal N exactement.
Soit ensuite 2 Hom (A; L). Sil nest pas parmi les 'i , on aurait N + 1 morphismes danneaux deux deux
distincts, donc linairement indpendants daprs Dedekind (dans le monode multiplicatif A). Il su t donc de
montrer quils sont lis pour P
conclure.
N +1
Cherchons i 2 L tel que i=1 i 'i = 0 (on a pos 'N +1 = ). Puisque N = jGalQ P j = [E : Q] = rg A, on
dispose dune base (u1 ; :::; uN ) de A de cardinal N , donc ncessairement ( 1 ; :::; N +1 ) est solution du systme
8 PN +1
<
i 'i (u1 ) = 0
i=1
:::
: PN +1
'
i
i (uN ) = 0
i=1

qui a N quations et N + 1 inconnues, donc qui a au moins une solution 1 ; :::; N +1 non nulle dans LN +1 .
Montrons rciproquement quune telle solution
PN convient.
Soit a 2 A, que lon dcompose en a = j=1 aj uj . Alors
0
1
N
+1
N
+1
N
N
+1
N
N
N
+1
X
X
X
X
X
X
X
@
A
'
(a)
=
'
a
u
=
a
'
(u
)
=
a
j
j
j
j
j
i i
i i
i
i
i 'i (uj ) = 0,
i=1

i=1

j=1

i=1

34

j=1

j=1

i=1

{z

=0

do

PN +1
i=1

i 'i

= 0, CQFD.

Soit G agissant librement et transitivement sur un ensemble E. Alors G est en bijection

G
! E
avec E via nimporte quelle application
o e 2 E.
g 7 ! ge
Remarque.

Thorme.
E un corps de dcomposition de P
. On suppose que P est
L un corps de dcomposition de P
! GalQ P
GalFp P
vriant
sparable. On dispose alors dun morphisme de groupes injectif g :
7 !
g( )
Q
Fp

Soit P 2 Z [X] unitaire, p premier,

g( ) =
o

! .
2 Hom (A; L) et h = j 1 est une bijection de
En particulier, laction de GalFp P sur
se ramne laction de GalQ P sur
g( ) = h

modulo la conjugaison

ou le diagramme commutatif
h

# g( ) .

Dmonstration.
Donnons-nous un 2 Hom (A; L). Alors 8 2 GalFp P ,
laction droite de GalQ P sur Hom (A; L) (cf lemme),
9! 2 Gal P tel que

Ceci dtermine une application g :

GalFp P

!
7 !

de groupes injectif. En eet, dune part on a

g(

et

1 2)

=
=
=

2 Hom (A; L), donc par transitivit/libert de

GalQ P

vriant

g ( ) et qui est un morphisme

1 2)
1

= 1 ( 2
)
(
g ( 2 )) = ( 1
) g ( 2)
g ( 1) g ( 2) =
(g ( 1 ) g ( 2 ))

est par ailleurs injective ? ? ? ? ? ; dautre part,

g ( ) = Id =)

=)

par libert de laction droite (cf lemme), do linjectivit de g.

De plus, induit une bijection
! ; on prend alors h =

= Id
1

, et toutes les vrication tombent.

Le principal rsultat est linjection de GalFp P dans GalQ P , injection qui est une conjugaison quand on ne
regarde que laction sur les racines (la plus facile lire).
Ainsi, en rduisant P modulo dirents p et en factorisant P selon ses facteurs irrductibles, on obtient des
lments de GalFp P (des produits de cycles dont les longueurs sont les degrs des facteurs irrductibles de P )
qui sinjectent par conjugaison dans GalQ P ,! S . Si on obtient ainsi des gnrateurs de S travers dirents
p, on aura directement GalQ P ' S .
On est donc amen chercher les degrs des facteurs irrductibles dun polynme unitaire P 2 Fp [X].

35

4.2.3

Recherche de facteurs irrductibles

Soit Q un polynme de Fp [X]. La proposition suivante montre que la recherche des facteurs irrductibles de
d

degr d de Q doit passer par le calcul du pgcd Q ^ X p

X .

Proposition.
d
Si Q admet un facteur irrductible de degr d, ce facteur divise ncessairement Q ^ X p

X .

Dmonstration.
Soit A un facteur irrductible de Q de degr d. Considrons un corps K de dcomposition de A sur Fp , par
exemple K = Fp [X] (A) . K est de cardinal pdeg A = pd , donc K ' Fpd . Ainsi, tous les lments de K sont
Q
d
d
X=
), de sorte que A divise
X, et en regardant le degr on peut crire X p
racines de X p
2K (X
d

X dans K [X]. Or, A et X p

Xp
CQFD.

X sont dj dans Fp [X], donc le quotient

Xp

est en fait dans Fp [X],

Proposition.
Si Q admet une racine dans Fpd qui nest dans aucun des Fpd0 pour d0 divisant strictement d, alors Q admet
un facteur irrductible de degr d.
Dmonstration.
Soit une racine de Q dans Fpd comme dans lnonc et le polynme minimal de sur Fp . Un corps de
rupture de est un sous-corps de Fpd , donc un certain Fpd0 o d0 divise d. Comme de plus un tel corps est
de degr deg sur Fp , on en dduit que deg divise d. Or, deg ne peut diviser strictement d, sinon serait
racine de Q dans Fpdeg , ce qui est exclu par hypothse. Finalement, est irrductible et de degr d, do la
conclusion.

Corollaire.
d
Q admet un facteur irrductible de degr d ssi Q ^ X p

des F

pd0

a une racine dans Fpd qui nest dans aucun

pour d divisant strictement d.

Dmonstration.
Le sens direct fait lobjet de la premire proposition, lautre sens dcoule de la seconde.

Exemple : calcul du groupe de Galois de P = X 5 X 1.

Modulo 2, P = X 5 +X +1. On cherche les degrs des facteurs irrductibles de P . Aucun ne peut tre de degr
1, car P na pas de racines dans F2 . Pour les facteurs de degr deux, on calcule X 5 + X + 1 ^ X 4 X =
X 2 + X + 1, qui a une racine dans F4 (rappelons incidemment que F4 ' F2 [X] X 2 +X+1 ...) et aucune dans F2 ,
donc P admet un facteur irrductible dordre deux. P se factorise par consquent sous la forme (deg 2) (deg 3) ;
il y a donc dans Gal vu comme sous-groupe des permutations des racines un lment qui se factorise en un
produit dune transposition et dun cycle de longueur 3. En particulier, Gal contient 3 qui est une transposition.
Modulo 3, P = X 5 X 1. Mme topo : on cherche les degrs des facteurs irrductibles de P . Aucun de
degr 1 car pas de racines dans F3 . On regarde alors X 5 + X + 1 ^ X 9 X = 1, do pas de facteur de
degr 3. Donc P est irrductible sur F3 et Gal contient un 5-cycle.
Gal contient une transposition et un 5-cycle, donc vaut S5 tout entier.
Ainsi P = X 5 X 1 nest pas rsoluble par radicaux, car la suite des drivs de S5 stationne A5 , donc
S5 nest pas rsoluble.

36