Vous êtes sur la page 1sur 16

Thorie des corps, thorie de Galois : une

introduction
Jrmy Le Borgne
Introduction
Nous prsentons dans ce cours la formulation moderne des ides de Galois, ainsi
que la faon dont la thorie des corps a permis de rsoudre des problmes sur les-
quels les mathmaticiens butaient depuis des sicles : les trois problmes de lAn-
tiquit ainsi que la rsolubilit des quations de degr 5. Une vision possible des
ides de Galois est la suivante : on se donne un certain nombre de rgles (souvent
lies une forme de construction ) et on dit quun objet est constructible si on
peut lobtenir partir dun objet de dpart uniquement en suivant ces rgles (par
exemple, les points de cet objet peuvent tre construits la rgle et au compas
partir de ceux de lobjet de dpart ). La question que lon se pose est de savoir si un
objet donn a t construit conformment ces rgles. La premire tape consiste
traduire la notion de constructibilit par des quations. Plus prcisment, on dter-
mine la forme des quations dont doivent tre solutions les points de lobjet que lon
veut construire. Partant dun corps de base K, on se donne une quation algbrique
coecients dans K vriant des proprits bien prcises xes par un problme de
ce type (par exemple, cette quation est de degr 2 , ou encore cette quation
est de la forme X
n
= a ), et on ajoute K toutes les combinaisons algbriques
possible des solutions de cette quation, on obtient un autre corps K
1
. En rptant
lopration un nombre ni n de fois, on obtient un corps K
n
= L contenant K.
La deuxime tape associer L un groupe permettant de conserver toutes les
informations sur les constructions intermdiaires : cest le rle jou par le groupe
de Galois lorsque lextension L/K est galoisienne. Cela sous-entend que le groupe
de Galois est plus facile manipuler que la connaissance de toutes les tapes de la
construction, mais quil permet de les retrouver. La troisime tape consiste lire
directement sur ce groupe de Galois le fait que L a t construit conformment aux
rgles dictes au dbut. Plus prcisment, on veut traduire les rgles prcises quon
a respectes chaque tape en proprits prcises du groupe de Galois (par exemple
le groupe de Galois de L est ablien ). Si on na pas perdu dinformations tout
au long du processus, dire si un objet a t construit conformment aux rgles du
jeu reviendra dire si le groupe de Galois dune certaine extension de K a bien les
proprits demandes !
1
1 Corps, extensions de corps
Dans ce paragraphe est introduite la notion de corps, ainsi que les proprits
fondamentales des extensions de corps.
1.1 Dnitions et premires proprits
Dnition 1.1. On appelle corps tout anneau commutatif unitaire (donc non nul)
dans lequel tout lment non nul est inversible. On appelle morphisme de corps
tout morphisme danneaux unitaires entre deux corps (on autorise galement le
morphisme nul).
Exemple 1.2. Les anneaux Q, R, C, Z/pZ pour p premier sont des corps. Lanneau
Z nest pas un corps.
Proposition 1.3. Soit K un corps, et soit
K
: Z K le morphisme canonique
dni par
K
(1) = 1. Alors le noyau de
K
est nul ou de la forme pZ avec p premier.
Dmonstration. Le noyau de
K
est un idal de Z, il est donc de la forme nZ
avec n N. Il est dj clair que n ,= 1 car 1 ,= 0 dans K. Supposons que n
soit dirent de 0, et soit d un diviseur strict de n. Alors n = kd avec k Z, et

K
(kd) =
K
(k)
K
(d) = 0. Par intgrit de K, lun de ces deux facteurs est nul.
Comme d est un diviseur strict de n,
K
(d) ,= 0 par dnition de n. Par consquent,

K
(k) = 0 et n [ k. Ainsi, k = n et d = 1, donc n est premier.
Le n N tel que ker
K
soit gal nZ est appel caractristique du corps K.
Remarque 1.4. La dmonstration de la proposition 1.3 montre que ce rsultat est
en fait vraie ds que K est un anneau intgre.
Proposition 1.5. Soient K et L des corps et : K L un morphisme de corps
non nul. Alors est injectif.
Dmonstration. Remarquons que les seuls idaux du corps K sont (0) et K. En
eet, si I est un idal non nul et x un lment non nul de I, alors x a un inverse
dans K, et donc 1 = x
1
x I, do I = K.
En particulier, le noyau de est K ou (0). Le morphisme tant suppos non nul,
ker ,= K, et donc ker = 0, ce qui montre linjectivit de .
Cette proposition montre que K est isomorphe limage du morphisme . En par-
ticulier, L contient un sous-anneau isomorphe K.
Dnition 1.6. Soit K un corps. On appelle extension de K la donne dun corps
L et dun morphisme non nul : K L.
En vertu de la proposition 1.5, un tel morphisme est toujours injectif, et quitte
remplacer K par limage de , on peut supposer que K L. Cette dnition permet
de travailler dans un cadre un peu plus gnral qui est parfois plus agrable, mais on
fera dsormais, sauf mention contraire, lhypothse K L. Cela permet notamment
doublier le morphisme et de se contenter de dire que L est une extension de K.
La notation L/K signie que L est une extension de K.
2
Exemple 1.7. Le corps C est une extension de R, Q(

2) = a + b

2 / a, b Q
est une extension de Q.
Proposition 1.8. Soit L/K une extension de corps, alors L a une structure na-
turelle de K-espace vectoriel. On appelle degr de L sur K, et on note [L : K], la
dimension du K-espace vectoriel L. Si ce degr est ni, on dit que lextension L/K
est nie.
Dmonstration. Le corps L a dj une structure naturelle de groupe ablien. La
multiplication par un scalaire est simplement la multiplication par un lment de K
dans L, qui vrie bien les proprits requises pour une loi externe despace vectoriel
car L est un anneau.
Proposition 1.9 (Formule de composition des degrs). Soient L/K et M/L des
extensions de corps. Alors M est une extension de K, et [M : K] = [M : L][L : K].
Dmonstration. Il est clair que K M. Si M/L ou L/K est de degr inni, alors
il est clair que M est un K-espace vectoriel de dimension innie. Il sut donc de
dmontrer la formule dans le cas o les extensions M/L et L/K sont nies. Soit m =
[M : L], n = [L : K], e
1
, . . . , e
m
une base du L-espace vectoriel M, et
1
, . . . ,
n

une base du K-espace vectoriel L. Montrons que


i
e
j
, 1 j m, 1 i n est
une base du K-espace vectoriel M.
Cette famille est gnratrice. En eet, soit x M, x =

1jm

j
e
j
avec
j
L.
De plus, pour tout 1 j m,
j
=

1in

ij

j
avec les
ij
K. Par consquent,
x =

1in

1jm

ij

i
e
j
.
Cette famille est galement libre, car si on a une combinaison linaire nulle coef-
cients dans K :

i,j

ij

i
e
j
= 0, alors

1jm

1in

ij

e
j
= 0. La famille
des e
j
tant libre sur L, on a pour tout 1 j m :

1in

ij

i
= 0, et comme la
famille des
j
est libre sur K, tous les
ij
sont nuls.
Cette base est de cardinal mn, ce qui prouve la proposition.
1.2 Extensions algbriques
Parmi les extensions dun corps, nous allons nous intresser plus particulirement
celles qui sont algbriques, ce qui veut dire que tous les lments de cette extension
sont annuls par un polynme coecients dans le corps de base.
Dnition 1.10. Soit L/K une extension de corps, et soit x L. On dit que x est
algbrique sur K sil existe un polynme P non nul coecients dans K, tel que
P(x) = 0. Dans le cas contraire, on dit que x est transcendant.
Lextension L/K est dite algbrique si tous les lments de L sont algbriques sur
K.
Proposition 1.11. Soit L/K une extension de corps, soit x L, soit
x
lunique
morphisme de K-algbre
x
: K[X] L dni par
x
(X) = x. Alors x est alg-
brique si et seulement si
x
est non injectif.
Dans ce cas, il existe un unique polynme unitaire engendrant le noyau de
x
, appel
polynme minimal de x. Ce polynme est en outre irrductible.
3
Dmonstration. Si P K[X],
x
(P) nest rien dautre que P(x). Par dnition, x
est algbrique sil existe P K[X] non nul tel que
x
(P) = 0. Par consquent, x
est algbrique si et seulement si
x
est non injectif. Comme K[X] est principal, le
noyau de
x
est alors engendr par un polynme qui est unique si on le suppose
unitaire. Enn, limage de
x
est un sous-anneau de L, en particulier cest un anneau
intgre. Lidal ker
x
est donc premier en vertu de lisomorphisme
x
(K[X])
K[X]/ ker
x
. Comme K[X] est principal, cet idal est maximal, et donc le polynme
minimal de x est irrductible.
Proposition 1.12. Soit K un corps. Alors toute extension nie de K est algbrique.
Dmonstration. Soit L/K une extension nie, de degr n. Soit x K, et soit X =
x
k
/ k N. Si cette famille est nie, alors il existe k, k

distincts tels que x


k
= x
k

,
donc x est algbrique sur K. Si cette famille est innie, alors elle est lie sur K et
une relation de dpendance linaire fournit un polynme annulateur de x.
Dnition 1.13. Soit L/K une extension de corps et T une partie de L. On note
K(T) le plus petit sous-corps de L contenant K et T. Si T = x
1
, . . . , x
n
, on note
simplement K(T) = K(x
1
, . . . , x
n
).
Remarque 1.14. La dmonstration de la proposition 1.11 montre que si x L
est algbrique, alors K(x) est limage de lapplications
x
dnie prcdemment.
Cest en particulier une extension nie de K dont le degr est le degr du polynme
minimal de x.
Thorme 1.15. Soit L/K une extension de corps. Alors L/K est nie si et seule-
ment si il existe x
1
, . . . , x
n
L, algbriques sur K, tels que L = K(x
1
, . . . , x
n
).
Dmonstration. Si L/K est nie, alors elle est algbrique. Soit x
1
, . . . , x
n
une base
de L sur K, les x
i
sont tous algbriques sur K et L = K(x
1
, . . . , x
n
).
Rciproquement, si L = K(x
1
, . . . x
n
) avec tous les x
i
algbriques sur K, montrons
que L/K est nie. Procdons par rcurrence sur n. Le cas n = 1 dcoule de la re-
marque 1.14. Supposons la proprit vraie pour une valeur de n. Remarquons que
K(x
1
, . . . , x
n
, x
n+1
) = K(x
1
, . . . , x
n
)(x
n+1
). En eet, le corps K(x
1
, . . . , x
n
)(x
n+1
)
contient K et tous les x
i
. Dautre part, le corps K(x
1
, . . . , x
n
, x
n+1
) contient K(x
1
, . . . , x
n
)
et x
n+1
, ce qui montre lgalit. Ainsi, x
n+1
, tant algbrique sur K, est algbrique
sur K(x
1
, . . . , x
n
), donc K(x
1
, . . . , x
n+1
)/K(x
1
, . . . x
n
) est nie daprs la remarque
1.14, ainsi que K(x
1
, . . . , x
n
)/K par hypothse de rcurrence, et la formule de mul-
tiplicativit des degrs permet de conclure.
Corollaire 1.16. Si M/L et L/K sont des extensions algbriques, alors M/K est
une extension algbrique.
Dmonstration. Soit x M, comme x est algbrique sur L il est racine dun poly-
nme non nul P coecients dans L. Le sous-corps de L engendr par les coecients
de P est une extension nie de K daprs le thorme 1.15, et x est algbrique sur
ce corps, et il engendre donc une extension nie de ce corps. Par consquent, x
engendre une extension nie de K, et il est donc algbrique sur K.
4
1.3 Constructions la rgle et au compas (I)
Dans cette partie, on considre le plan ane sur R
2
, que lon note T. On se
demande quels points du plan peuvent tre construits la rgle et au compas
partir de certains points donns au dpart. En particulier, si on se donne seulement
deux points, on veut savoir quels points du plan peuvent tre construits en un nombre
ni dtapes partir de ces points. Si T
0
est une partie de T, on dnit sur T
0
deux
oprations lmentaires :
1. Tracer une droite passant par deux points de T
0
,
2. Tracer un cercle centr en un point de T
0
et dont le rayon soit la distance entre
deux points de T
0
.
Dnition 1.17. On dit quun point P T est constructible en une tape partir
de T
0
sil est dans lintersection de deux objets gomtriques distincts obtenus par
lune des deux oprations lmentaires prcdentes.
On dit que P est constructible partir de T
0
sil existe une suite P
1
, ,P
n
= P telle que
pour tout 1 i n, P
i
soit constructible en une tape partir de T
0
P
1
, . . . , P
i1
.
On suppose dornavant que (0, 0), (0, 1) T
0
. Soit K
0
le sous-corps de R en-
gendr par les coordonnes des points de T
0
. Si P T est constructible, alors
en notant P
i
(x
i
, y
i
) comme dans la dnition prcdente, on dnit par rcurrence
K
i
= K
i1
(x
i
, y
i
).
Proposition 1.18. Dans les notations prcdentes, pour tout 1 i n, x
i
et y
i
sont racines dun polynme de degr 1 ou 2 coecients dans K
i1
.
Dmonstration. Il sut bien entendu de faire la dmonstration pour i = 1, notons
donc x = x
1
et y = y
1
. Plusieurs cas se prsentent. Tout dabord, si (x, y) est sur la
droite (AB), avec A(x
A
, y
A
) et B(x
B
, y
B
) dans K
0
. Alors on a (y
B
y
A
)(x x
A
)
(x
B
x
A
)(y y
A
) = 0, donc x et y sont linairement dpendants sur K
0
. Si (x, y) est
aussi sur une droite (CD) dirente de (AB), alors on obtient un systme linaire
coecients dans K
0
, inversible, et x et y sont solutions dquations de degr 1.
Si maintenant (x, y) est sur (AB) et sur un cercle de centre et de rayon r, on a
(x x

)
2
+ (y y

)
2
= r
2
, et en utilisant la dpendance linaire entre x et y on
obtient une quation de degr 2 coecients dans K
0
vrie par x, et une autre
vrie par y.
Enn, si (x, y) est lintersection de deux cercles distincts, en faisant la dirence
des deux quations de cercle on obtient une quation de droite, et le systme form
par cette quation de droite et lune des deux quations de cercle est quivalent au
systme form des deux quations de cercle, et le cas prcdent montre que x et y
sont solutions dune quation de degr 2.
Corollaire 1.19. Si P(x, y) est constructible partir de T
0
, alors il existe des corps
K
0
K
1
K
n
= K
0
(x, y) tels que [K
i
: K
i1
] = 2 pour tout 1 i n.
Dmonstration. La dmonstration dcoule immdiatement de la proposition prc-
dente.
Lemme 1.20. Soit x K
0
, alors le point (x, 0) est constructible partir de T
0
.
5
Dmonstration. Il sut de montrer que si P(x, 0) et Q(y, 0) sont dans T
0
et y ,= 0,
alors (x y, 0) et (x/y, 0) sont constructibles. Pour la dirence, cest clair. Pour le
quotient, on trace la droite reliant (0, 1) et (y, 0). La parallle cette droite passant
par (x, 0) coupe laxe des ordonnes en (0, x/y).
Thorme 1.21 (Wantzel). Un point P(x, y) de T est constructible partir de T
0
si et seulement sil existe une suite de corps
K
0
K
1
K
n
= K(x, y),
tels que pour tout 1 i n, [K
i
: K
i1
] = 2.
Dmonstration. Le corollaire 1.19 montre que la condition est ncessaire. Le lemme
1.20 montre que tous les points de K
0
sont constructibles. Il sut donc de montrer
que tout lment dune extension de degr 2 de K
0
est abscisse dun point construc-
tible. Soit K
1
/K
0
une extension de degr 2 et soit x K
1
. On peut supposer x / K
0
.
Alors x est racine dun polynme irrductible de degr 2 coecients dans K
0
. Les
coecients de ce polynme Q = aX
2
+bX+c sont abscisses de points constructibles,
on peut donc supposer quils sont dans T
0
. Comme x est racine de ce polynme, il
sexprime comme x =
b

b
2
4ac
2a
, et il nous sut de montrer que si K
0
, alors

est labscisse dun point constructible. Il sut pour cela de remarquer que lin-
tersection du cercle dont un diamtre a pour extrmits (1, 0) et (, 0) avec laxe
des ordonnes est forme des points dordonnes

et

.
Les rsultats prcdents (essentiellement, le corollaire 1.19) permettent de r-
soudre le problme des trois constructions impossibles de lAntiquit :
La duplication du cube : est-il possible de construire la rgle et au compas un
cube de volume double dun cube donn ?
Si ctait possible, on en prenant pour unit le ct du cube de dpart, on saurait
construire le ct du cube de volume double. Mais ce ct vaut
3

2, qui ne peut tre


contenu dans une extension de degr une puissance de 2 de Q puisque son polynme
minimal est X
3
2, qui est de degr 3.
La trisection de langle : est-il possible de tracer deux demi-droites partageant
un angle quelconque en trois angles gaux ?
Si ctait possible, on pourrait le faire notamment pour langle

3
, ce qui permet-
trait de construire cos

9
. Ceci est impossible car ce nombre est racine du polynme
irrductible de degr trois 8X
3
6X 1 (en utilisant la formule de trigonomtrie
donnant cos 3).
La quadrature du cercle : est-il possible de construire la rgle et au compas un
carr daire gale celle dun disque donn ?
Si ctait possible, on saurait construire

, et donc daprs le thorme de Want-
zel. Cela impliquerait en particulier que est algbrique sur Q, ce que est bien connu
comme tant faux (thorme de Lindemann).
Remarque 1.22. Le thorme de Mohr-Mascheroni arme que toute construction
possible la rgle et au compas est possible au compas seul.
6
2 Thorie de Galois
Dans cette partie, les notions de corps de rupture et de corps de dcomposition
dun polynme sont supposes connues. On va voir comment la thorie de Galois
associe une extension de corps un groupe contenant de nombreuses informations
sur la structure de cette extension. Certaines proprits des extensions de corps se
voient dans la structure de leur groupe de Galois.
2.1 Groupe de Galois et extensions galoisiennes
Dnition 2.1. Soit L/K une extension de corps. On appelle K-automorphisme
de L tout automorphisme de corps de L laissant K invariant point par point.
Lensemble des K-automorphismes de L forme un sous-groupe du groupe dauto-
morphismes de L, appel groupe de Galois de L sur K, et not Gal(L/K).
Dnition 2.2. Soit L/K une extension de corps et H un sous-groupe Gal(L/K).
Alors on note L
H
lensemble de lments de L invariants par H.
Proposition 2.3. Soit L/K une extension de corps. Alors lapplication qui un
sous-groupe H de G = Gal(L/K) associe L
H
est dcroissante et valeurs dans
lensemble des sous-corps de L contenant K.
Dautre part, lapplication qui un sous-corps F de L contenant K associe Gal(L/F)
est dcroissante et valeurs dans lensemble des sous-groupes de G.
Dmonstration. Laisse au lecteur.
An que le groupe de Galois dune extension nous permette de bien comprendre la
structure des corps intermdiaires, on aimerait que cette correspondance entre sous-
corps de L contenant K et sous-groupes de Gal(L/K) soit bijective. Moralement,
les extensions dites galoisiennes sont celles pour lesquelles cette propritt est vraie.
Dnition 2.4. Soit L/K une extension de corps, et G = Gal(L/K). Lextension
L/K est dite galoisienne si L
G
= K.
2.2 Thorme de llment primitif
A partir de maintenant et sauf mention contraire, nous supposerons que le corps
K est de caractristique 0. Le cas o la caractristique est positive pose davan-
tage de problmes, notamment parce que les polynmes irrductibles ne sont pas
ncessairement racines simples dans une clture algbrique (ce que lon appelle
sparables). Par exemple, dans F
p
(t)[X], le polynme X
p
t est irrductible et a
une seule racine de multiplicit p. En caractristique nulle en revanche, tous les
polynmes irrductibles sont sparables.
Lemme 2.5. On suppose K de caractristique nulle. Soit P K[X] et soit L une
extension de K contenant une racine x de P. Alors x est racine simple de P.
Dmonstration. Si x tait racine double, alors on aurait P

(x) = 0. Le polynme P

serait donc un polynme annulateur de x, coecients dans K[X], et non nul car
K est de caractristique nulle. Il serait divisible par le polynme minimal de x sur
K, qui nest autre que P. Cela est impossible pour des raisons de degr.
7
Thorme 2.6 (de llment primitif). Soit L/K une extension nie, avec K de
caractristique nulle. Alors il existe L tel que L = K().
Dmonstration. Comme lextension L/K est nie, elle est engendre par un nombre
ni dlments algbriques (thorme 1.15). Traitons dabord le cas o L = K(, )
avec et algbriques sur K. Notons

et

leurs polynmes minimaux respectifs


sur K, et =
1
, . . . ,
n
, =
1
, . . . ,
m
les racines respectives de

et

dans un corps de dcomposition de ces deux polynmes contenant L.


Le corps K tant de caractristique 0, il est inni, et il existe donc t K tel que
t /


i

j
/ 1 i n, 2 j m

.
Posons = +t. Il sut de montrer que K(), car cela implique que K().
Soit =

( tX). Alors est racine de , et cest lunique racine commune


et

. En eet, sinon, on aurait + t t


j
=
i
pour certains i, j, ce qui est
exclu sauf si
i
= et
j
= .
En particulier, comme le polynme minimal de sur K() doit diviser et

,
ce polynme a pour seule racine . tant irrductible, cest daprs le lemme un
polynme de degr 1, donc K().
2.3 Extensions normales
On suppose toujours que K est de caractristique nulle. Nous allons voir ici une
notion assez naturelle, qui est celle dextension normale : les extension normales
sont celles pour lesquelles le polynme minimal dun lment de lextension a toutes
ses racines dans la mme extension. Nous verrons comment cela vite au groupe de
Galois de lextension dtre trop petit .
Dnition 2.7. Soit L/K une extension de corps. On dit que L/K est normale si
tout polynme irrductible coecients dans K ayant une racine dans L, est scind
sur L.
Proposition 2.8. Soit L/K une extension nie. Alors L/K est normale si et seule-
ment si L est corps de dcomposition dun polynme de K[X].
Dmonstration. Supposons tout dabord que L/K soit normale. Comme elle est
nie elle est engendre par un nombre ni dlments algbriques (thorme 1.15) :
L = K(
1
, . . . ,
n
). On note pour 1 i n,
i
le polynme minimal de
i
sur K.
Comme L/K est normale, tous les
i
sont scinds sur L. Ainsi, le produit des
i
est galement scind sur L. Le corps L contient donc un corps de dcomposition E
de . Par ailleurs, E contient ncessairement tous les
i
, il contient donc L. Ainsi,
L = E est corps de dcomposition de .
Rciproquement, supposons que L soit corps de dcomposition de P K[X]. Notant

1
, . . . ,
r
les racines de P dans L, on a L = K(
1
, . . . ,
r
). Soit maintenant Q
K[X] irrductible, ayant une racine L. Il existe un corps de dcomposition M
de PQ contenant L. On peut supposer que le degr de Q est suprieur ou gal
2. Le polynme Q a donc deux racines distinctes
1
,
2
dans M. Ncessairement,
[K(
1
) : K] = [K(
2
) : K] = deg Q.
8
Dautre part, K(
1
) et K(
2
) sont isomorphes, et L(
1
) (respectivement, L(
2
) est
corps de dcomposition de P sur K(
1
) (respectivement sur K(
2
)). Ainsi, [L(
1
) :
K(
1
)] = [L(
2
) : K(
2
)]. En vertu de la formule de multiplicativit des degrs, on
en dduit que [L(
1
) : L] = [L(
2
) : L]. Comme de plus L() = L, on a L() = L
pour toute racine de Q dans M, et donc toutes les racines de Q sont dans L.
Proposition 2.9. Soit L/K une extension nie. Supposons L/K normale, alors
L/K est galoisienne.
Dmonstration. Comme L/K est nie, daprs le thorme de llment primitif,
il existe L tel que L = K(). Fixons un tel . Notons G = Gal(L/K). Soit
F = L
G
, nous allons montrer que F = K. Soit

le polynme minimal de sur K,


et
1
, . . . ,
n
les racines de

dans L. Comme L/K est normale, n = [L : K] =


deg

. Pour 1 i n, on dnit le K-automorphisme


i
de L par
i
() =
i
.
Les
i
sont des lments distincts de G. Rciproquement, un lment de G est
ncessairement lun des
i
car

(()) = 0, donc () est racine de

. Ainsi, le
cardinal de G est n. Le corps L est corps de dcomposition de

sur F, et donc le
cardinal de Gal(L/F) est gal [L : F] par le mme argument que prcdemment.
En outre, un lment de G laisse invariants tous le lment de F, cest donc aussi
un lment de Gal(L/F), et donc G = Gal(L/F). Par consquent, on a [F : K] = 1,
et F = K.
Remarque 2.10. La dmonstration de cette proposition permet galement de voir
que si L/K est normale, nie, alors [Gal(L/K)[ = [L : K].
Nous allons maintenant montrer la rciproque de cette proposition. Pour cela,
nous allons utiliser le clbre rsultat dArtin suivant :
Lemme 2.11 (Artin). Soit L un corps, soit G un groupe ni dautomorphismes de
L, et soit K = L
G
. Alors L est une extension de K, et [L : K] [G[.
Dmonstration. Il est clair que K est un sous-corps de L.
Soit n = [G[, et G =
1
, . . . ,
n
. Soit m > n, et soit a
1
, . . . , a
m
une famille
dlments distincts de L, tous non nuls.
Considrons le systme dquations linaires

m
j=1

i
(a
j
)x
j
pour 1 i n. Comme
m > n, ce systme admet dans L une solution non nulle (x
1
, . . . , x
m
). Parmi toutes
les solutions non nulles, choisissons-en une pour laquelle le nombre de x
i
non nuls
soit minimal. Lensemble des solutions tant un L-espace vectoriel, on peut supposer
que lun des x
i
est gal 1, et quitte renumroter, on peut supposer que x
1
= 1.
Nous allons montrer qualors, tous les x
i
sont dans K.
Supposons le contraire, on peut supposer que x
2
/ K, et donc il existe 1 k n
tel que
k
(x
2
) ,= x
2
. En appliquant
k
la i-me quation du systme, on voit que

m
j=1

i
(a
j
)
k
(x
j
) = 0. Comme
k
G = G, on en dduit que (
k
(x
1
), . . . ,
k
(x
m
))
est galement solution du systme, et donc (x
1

k
(x
1
), . . . , x
m

k
(x
m
)) aussi.
Mais cette solution est non nulle et a strictement plus de coecients nuls que la
premire, ce qui contredit la minimalit de cette premire solution, et montre que
les x
i
sont dans K. Comme lidentit de L est lment de G, lune des lignes du
systme se traduit par

m
j=1
x
j
a
j
= 0, donc la famille a
j
est lie sur K, donc
[L : K] n.
9
Thorme 2.12 (Artin). Soit L un corps, G un groupe ni dautomorphismes de
L, et K = L
G
. Alors L/K est normale et nie, et G = Gal(L/K).
Dmonstration. Le fait que L/K soit nie dcoule directement du lemme dArtin.
Soit P K[X], irrductible sur K, ayant une racine L. Montrons que toutes
les racines de P sont dans L.
Soit = () / G et soit Q =

(X ). Si G, alors Q = Q
(car = ). Ainsi, par hypothse, Q a tous ses coecients dans K. Mais alors, P
divise Q dans K[X] car P est le polynme minimal de sur K et Q() = 0. Comme
par ailleurs les () sont des racines de P, on a aussi Q divise P dans L[X] et donc
dans K[X]. Ainsi, P = Q, et P est scind sur L. Donc L/K est normale.
Enn, G est clairement contenu dans Gal(L/K). De plus, [L : K] = [Gal(L/K)[ car
L/K est normale, et [G[ [L : K], donc G = Gal(L/K).
Thorme 2.13. Soit L une extension nie dun corps K de caractristique 0.
Alors L/K est galoisienne si et seulement si L/K est normale.
Dmonstration. Lune des implications rsulte de la propostion 2.9. Supposons donc
L/K galoisienne. Comme L/K est nie, le groupe G = Gal(L/K) est ni (un lment
de G est dtermin par limage dun lment primitif, qui est ncessairement racine
du polynme minimal de cet lment primitif, et les lments de G sont donc en
nombre ni).
Daprs le thorme dArtin, comme K = L
G
, L/K est normale.
2.4 Correspondance de Galois
Le corps K est toujours suppos de caractristique 0. Les outils prcdents nous
permettent de dmontrer ce que nous avons arm prcdemment, savoir :
Proposition 2.14 (Correspondance de Galois). Soit L/K une extension nie, alors
L est galoisienne si et seulement si les applications H L
H
et F Gal(L/F),
dnies respectivement sur lensemble des sous-groupes de Gal(L/F) et lensemble
de sous-corps de L contenant K, sont des bijections rciproques lune de lautre.
Dmonstration. Notons G = Gal(L/K). Si ces deux applications sont des bijections
rciproques, alors L
G
= K et L/K est galoisienne.
Rciproquement, supposons L/K galoisienne.
Soit H un sous-groupe de G. Comme H est ni, daprs le thorme dArtin on a
H = Gal(L/L
H
), donc H L
H
est injective, et F Gal(L/F) est surjective.
Soit F un sous-corps de L contenant K. Comme L/K est galoisienne, elle est nor-
male, et donc L/F est normale (L est corps de dcomposition dun polynme coef-
cients dans F). Elle est donc galoisienne, et L
Gal(L/F)
= F, donc F Gal(L/F) est
injective, et H L
H
est surjective. Ainsi, ces deux applications sont des bijections
rciproques lune de lautre.
Thorme 2.15 (Thorme fondamental de la thorie de Galois). Soit L/K une
extension galoisienne nie. Soit F un sous-corps de L contenant K. Alors L/F est
galoisienne, et les deux assertions suivantes sont quivalentes :
(i) Gal(L/F) est un sous-groupe distingu de Gal(L/K) ;
10
(ii) Lextension F/K est galoisienne. Dans ce cas, le groupe de Galois Gal(F/K)
est isomorphe au quotient Gal(L/K)/Gal(L/F).
Dmonstration. Comme L/K est galoisienne, L
Gal(L/F)
= F, donc L/F est galoi-
sienne. Montrons lquivalence des deux assertions.
Supposons Gal(L/F) = H G = Gal(L/K). Alors pour tout Gal(L/K),
F = L
H
1
. Mais L
H
1
= (F). Cela montre que F est stable par G, et on
peut lgitimement considrer la restriction F dun lment de G. Soit donc :
G Gal(F/K) le morphisme de restriction. Son image est un sous-groupe ni de
Gal(F/K), daprs le thorme dArtin, cest le groupe de Galois de F sur le sous-
corps x par limage de , qui est clairement K, et lextension F/K est galoisienne.
Le morphisme de restriction est surjectif, et on a donc lisomorphisme annonc.
Rciproquement, si F/K est galoisienne, alors elle est normale, et en particulier F
est stable par les lments de Gal(L/K) (car ils envoient un lment primitif de
F/K sur une autre racine du polynme minimal de cet lment primitif, qui est
dans F car F/K est normale). On peut de nouveau considrer le morphisme de
restriction, dont le noyau est un sous-groupe distingu qui nest autre que Gal(L/F)
par dnition.
3 Applications de la thorie de Galois
En prambule cette partie, intressons-nous un exemple : soit K un corps de ca-
ractristique 0, n 2 un entier, et L un corps de dcomposition sur K du polynme
X
n
1. Que dire du groupe de Galois de L/K ?
Tout dabord, si est une racine primitive n-me de lunit dans L, alors L = K().
Soit

le polynme minimal de sur K, il divise X


n
1, donc les racines de

sont toutes des racines n-mes de lunit. Notons =


1
, . . . ,
r
lensemble des
racines de

dans L. Pour tout j, il existe k


j
tel que
j
=
k
j
. Naturellement,
les lments de G = Gal(L/K) sont les
j
dnis par
j
() =
j
. En particulier,

j
() =
k
i
k
j
=
j

i
().
Par consquent, le groupe Gal(L/K) est ablien.
3.1 Constructions la rgle et au compas (II)
Dans cette partie, on cherche dterminer quelle condition un polygone rgu-
lier est constructible la rgle et au compas. Pour n 3, on notera P
n
le polygone
rgulier n cts.
Lemme 3.1. Si P
n
est constructible, alors il en est de mme pour P
2n
. De plus, si
m divise n, alors P
m
est constructible.
Dmonstration. Cest vident ds que lon sait tracer une bissectrice et compter de
n/m en n/m.
Lemme 3.2. Soient m, n des entiers premiers entre eux. Si P
m
et P
n
sont construc-
tibles, alors P
mn
aussi.
11
Dmonstration. Il existe a, b Z tels que
a
m
+
b
n
=
1
mn
. Ainsi, si lon sait construire
les points du cercle trigonomtrique dangles
2
m
et
2
n
, on sait construire langle
2
mn
.
On dduit de ces deux lemmes que si n = 2
k
p
k
1
1
. . . p
k
r
r
, les p
i
tant premiers,
impairs, et deux deux distincts, alors P
n
est constructible si et seulement si P
p
k
i
i
lest pour tout 1 i r.
Proposition 3.3. Soit p un nombre premier impair et k 1 un entier, alors si P
p
k
est constructible, ncessairement k = 1 et p 1 est une puissance de 2.
Dmonstration. Si ce polygone est constructible, alors Q(cos
2
p
k
, sin
2
p
k
) est une ex-
tension de Q dont le degr est une puissance de 2, et donc, en notant une racine
primitive p
k
-me de lunit dans C, [Q() : Q] est une puissance de 2. Or cette
extension a pour degr (p
k
) = p
k1
(p 1), do la proposition.
Thorme 3.4 (Gauss). Soit p un nombre premier impair, alors le polygone P
p
est
constructible si et seulement si p 1 est de la forme 2
2
k
pour un k N.
Dmonstration. Il est bien connu que tout nombre premier p tel que p 1 soit une
puissance de 2, a la proprit que p 1 soit de la forme 2
2
k
(nombres premiers de
Fermat). La condition est donc ncessaire.
Rciproquement, supposons que p soit de cette forme. Soit une racine primitive
p-me de lunit. Le polynme minimal de sur Q est le polynme cyclotomique

p
. Soit K = R Q(). Lextension Q()/Q est galoisienne car elle est normale
(cest un corps de dcomposition du polynme minimal de sur Q), de degr 2
k
.
Soit G = Gal(Q()/Q), G est ablien. En particulier, tous les sous-groupes de G
sont distingus, donc lextension intermdiaire K/Q est galoisienne. Son groupe de
Galois est un quotient de G, cest donc un 2-groupe, donc il existe une suite de sous-
groupes G
i
de G telle que G
0
= 1, G
n
= Gal(K/Q), et [G
i
[ = 2
i
. Cela fournit
grce la correspondance de Galois une suite de sous-corps de K contenant Q telle
que les degrs intermdiaires soient tous gaux 2. Daprs le thorme de Wantzel,
cos
2
p
K est alors constructible.
3.2 Groupes rsolubles
Dnition 3.5. Soit G un groupe, on appelle suite de composition de G une suite
nie de sous-groupes distingus :
1 = G
0
G
1
G
n
= G.
Dnition 3.6. Un groupe G est dit rsoluble sil admet une suite de composition
dont tous les quotients sont abliens.
Exemple 3.7. Les groupes abliens sont rsolubles.
Dnition 3.8. Soit G un groupe, on note D(G) le sous-groupe de G engendr par
les commutateurs, cest dire les lments de la forme xyx
1
y
1
. Ce sous-groupe
sappelle groupe driv de G. On dnit par rcurrence D
n
(G) = D(D
n1
(G)).
12
Proposition 3.9. Un groupe G est rsoluble si et seulement sil existe n N tel
que D
n
(G) = 1
Dmonstration. La condition est susante car D(G) est un sous-groupe distingu
de G et G/D(G) est ablien.
Elle est ncessaire car tout sous-groupe distingu H de G tel que G/H soit ablien
contient D(G).
Corollaire 3.10. Soit G un groupe. Si G est rsoluble, alors tout sous-groupe et
tout quotient de G est rsoluble.
Dmonstration. Lapplication D prserve linjectivit et la surjectivit des mor-
phismes.
Proposition 3.11. Un groupe G est rsoluble si et seulement si G est ablien ou G
a un sous-groupe distingu non trivial H tel que H et G/H soient rsolubles.
Dmonstration. La condition est ncessaire car si G est non ablien, dans une suite
de composition ablienne non triviale, G
n1
vrie ces proprits (G/G
n1
est rso-
luble car ablien). On peut aussi le voir par un argument de groupe driv.
Montrons que la condition est susante. Supposons quil existe un tel sous-groupe
H. Alors la projection canonique G G/H fournit un morphisme surjectif D(G)
D(G/H). Le noyau de ce morphisme est constitu des lments de D(G) qui sont
triviaux modulo H, cest donc D(G) H.
On a donc un isomorphisme D(G)/(D(G) H) D(G/H). Il est alors facile de
voir que pour tout n N, D
n
(G)/(D
n
(G) H) D
n
(G/H). En particulier, pour
n susamment grand, G/H tant rsoluble, D
n
(G)/(D
n
(G) H) est trivial, cest
dire que D
n
(G) H. Ainsi, pour m 0, D
m+n
(G) D
m
(H), et donc pour m
assez grand, D
m+n
(G) est trivial. Donc G est rsoluble.
Exemple 3.12. Si G est un groupe simple non ablien, alors G nest pas rsoluble.
En eet, un tel groupe na pas de sous-groupe distingu non trivial. En particulier,
pour n 5, le groupe altern A
n
est non rsoluble.
Proposition 3.13. Soit G un groupe admettant un sous-groupe distingu H non
rsoluble. Alors G est non rsoluble.
Dmonstration. Supposons quon ait une suite de composition ablienne de G :
1 G
1
G
n
= G. Pour tout 1 i n, notons H
i
= G
i
H. Alors la
suite des H
i
forme une suite de composition de H. De plus, les quotients H
i
/H
i1
sont abliens. En eet, si x, y H
i
, alors xyx
1
y
1
est clairement dans H, et il est
galement dans G
i1
car le quotient G
i
/G
i1
est ablien. La suite des H
i
formerait
alors une suite de composition ablienne de H, ce que est absurde.
Remarque 3.14. Cette proposition, avec la remarque prcdente, montre que le
groupe symtrique S
n
est non rsoluble ds que n 5.
13
3.3 Rsolubilit des quations par radicaux
Dans cette partie, on suppose toujours que K est un corps de caractristique 0.
Dnition 3.15. Soit L/K une extension de corps. Lextension L/K est dite radi-
cale sil existe
1
, . . . ,
n
L tels que L = K(
1
, . . . ,
n
) et pour tout 1 i n, il
existe n
i
N

tel que
n
i
i
K(
1
, . . . ,
i1
).
Dnition 3.16. On dit que P K[X] est rsoluble par radicaux si, L tant un
corps de dcomposition de P sur K, il existe une extension M/L telle que M/K soit
radicale.
Si P K[X], notons L un corps de dcomposition de P, on appelle groupe de
Galois de P, not Gal(P), le groupe de Galois de L/K. On admettra que ce groupe
ne dpend pas isomorphisme prs du choix de L.
Lemme 3.17. Soit n > 1 un entier. Si X
n
1 est scind sur K[X], alors pour tout
a K

, le groupe de Galois de X
n
a est ablien.
Dmonstration. Soit L/K un corps de dcomposition de P = X
n
a. Soit L
une racine de P, alors les autres racines de P dans L sont les
i
, o les
i
sont les
n racines de X
n
1 dans K. Les racines du polynme minimal de sont une partie
de ces racines, on peut supposer quitte renumroter que ce sont les r premires.
On dnit pour 1 i r llment
i
de G = Gal(L/K) par
i
() =
i
. Les
i
forment le groupe G pour des raisons de cardinal. Ainsi, pour 1 i, j r, on a

j
() =
i
(
j
) =
j

i
=
j

i
(), et G est ablien.
Proposition 3.18. Soient F/K galoisienne et F()/F radicale (avec
k
F pour
un k N

). Alors il existe une extension L de F contenant , avec L/K galoi-


sienne, L/F radicale, et Gal(L/F) rsoluble. Si de plus Gal(F/K) est rsoluble,
alors Gal(L/K) aussi.
Dmonstration. Soit n N

minimal tel que


n
F, et soit
1
=
n
. On note
1
le
polynme minimal de
1
sur K. Comme F/K est galoisienne,
1
est scind sur F,
notons
1
, . . . ,
d
ses racines. Pour 1 i d, on note P
i
= X
n

i
, et L un corps
de dcomposition de P = (X
n
1)

1id
P
i
contenant F(). Lextension L/F est
donc galoisienne. Comme F/K est galoisienne, il en est de mme pour L/K. Soit
L une racine primitive n-ime de lunit, et pour 1 i d,
n
i
=
i
avec

i
L.
On pose F
0
= F(), F
i
= F
i1
(
i
). On a alors L = F
d
. Cela montre que L est
radicale.
Pour tout 1 i d, F
i
/F
i1
est galoisienne, et F
0
/F est galoisienne (ce sont
des extensions normales). Comme L = F
i
(
i+1
, . . . ,
d
), L/F
i
est galoisienne. Par
correspondance de Galois, on a une suite de composition :
1 Gal(L/F
d1
) Gal(L/F
0
) Gal(L/F) Gal(L/K).
En eet, F
i
/F
i1
, F
0
/F et F/K tant galoisiennes, tous les sous-groupes considrs
sont distingus. De plus, les groupes de Galois de ces extensions sont abliens en
vertu de rsultats prcdents. Par consquent, les quotients de la suite sont abliens
(sauf peut-tre Gal(L/K)/Gal(L/F)), et le groupe Gal(L/F) est rsoluble. Si en
outre Gal(F/K) est rsoluble, alors Gal(L/K) est rsoluble par la proposition 3.11.
14
Corollaire 3.19. Soit M/K radicale, alors il existe L/M telle que L/K soit galoi-
sienne, et Gal(L/K) soit rsoluble.
Dmonstration. Notons comme dans la dnition M = K(
1
, . . . ,
r
). Pour tout i,
on xe n
i
minimal tel que
n
i
i
K(
1
, . . . ,
i1
). Soit une racine n
1
-me de lunit,
et F = K(). Alors F/K est galoisienne, et F
1
= F(
1
) est une extension radicale
de F. Daprs le lemme prcdent, il existe une extension L
1
de F contenant
1
,
radicale, avec L
1
/K galoisienne et Gal(L
1
/F) rsoluble. En outre, comme Gal(L/K)
est rsoluble, Gal(L
1
/K) est rsoluble. On poursuit par rcurrence en posant F
i
=
L
i1
(
i
), et L
i
une extension radicale de F
i
, galoisienne sur K, avec Gal(L
i
/K)
rsoluble, jusqu trouver L = L
s
galoisienne sur K contenant M, de groupe de
Galois rsoluble.
Corollaire 3.20. Soit P K[X] rsoluble par radicaux, alors le groupe de Galois
de P est rsoluble.
Dmonstration. Soit E un corps de dcomposition de P sur K, il existe une extension
M de E telle que M/K soit radicale. Daprs le corollaire 3.19, il existe une extension
L de M avec L/K galoisienne et Gal(L/K) rsoluble. Comme lextension E/K est
galoisienne, on a un isomorphisme Gal(E/K) Gal(L/K)/Gal(L/E). tant un
quotient dun groupe rsoluble, Gal(E/K) est rsoluble.
Lemme 3.21. Soit p un nombre premier. On suppose que K contient toutes les
racines p-mes des lunit. Soit L/K galoisienne nie de degr p. Alors il existe
L tel que L = K() et dont le polynme minimal sur est de la forme X
p
a.
Dmonstration. Le groupe de Galois G de L/K est dordre p, donc cyclique. Notons
un gnrateur de G. Soit une racine primitive p-me de lunit dans K. Pour x
L, on note
x
=

p1
i=0

i
(x)

i
j=0

j
(). On a alors (
x
) =

p1
i=0

i+1
(x)

i+1
j=1

j
() =
1

p
i=1

i
(x)

i
j=0

j
() =

x

car le produit des conjugus de est 1.


On admet quil existe x L pour lequel
x
,= 0 (cela rsulte directement dun rsul-
tat assez connu, le thorme dindpendance linaire des caractres). On xe un tel x,
et on note =
x
. On a alors () ,= , donc / K, et (
p
) = ()
p
= (
1
)
p
=

p
, donc a =
p
K. Le corps K() est corps de dcomposition de X
p
a sur K,
et K K() L, et comme L/K na pas dextensions intermdiaires, L = K()
et X
p
a est le polynme minimal de sur K.
Proposition 3.22. Soit L/K une extension galoisienne nie dont le groupe de
Galois est rsoluble. Alors il existe une extension R de L radicale sur K.
Dmonstration. On procde par rcurrence sur n = [L : K]. Le cas n = 1 est trivial,
supposons n > 1.
Notons G = Gal(L/K), G est dordre n. Soit H G un sous-groupe distingu maxi-
mal. Le quotient G/H est alors simple (sinon, on aurait un sous-groupe distingu
contenant strictement H) et rsoluble car G lest. Cest donc un groupe ablien (une
suite de composition est forcment triviale) et donc cyclique (le sous-groupe engen-
dr par un lment non trivial est distingu et non trivial). Il est donc dordre un
nombre premier. Soit p = [G/H[, soit F/L un corps de dcomposition de X
p
1.
Notant une racine p-me de lunit dirente de 1, on a F = L(). Considrons le
15
sous-corps M = K() F. Les extensions F/L et M/K sont radicales. Lextension
F/M est galoisienne car cest un corps de dcompostion du mme polynme dont L
est corps de dcomposition sur K.
Dautre part, on sait que Gal(F/L) est ablien donc rsoluble, et le thorme
fondamental montre que Gal(F/K)/Gal(F/L) Gal(L/K). Comme Gal(F/L) et
Gal(L/K) sont rsolubles, Gal(F/K) est rsoluble.
La restriction L dun lment de Gal(F/M) est un automorphisme de L xant le
corps K car F/L est normale. De plus, si un lment de Gal(F/M) xe L, alors il
xe F car F est engendre par L et M, et cest donc lidentit. Le morphisme de
restriction est donc injectif, et Gal(F/M) sidentie un sous-groupe de Gal(L/K).
En particulier, il est rsoluble.
Si [Gal(F/M)[ < [Gal(L/K)[, par hypothse de rcurrence, il existe une extension
radicale R/F telle que R/M soit radicale. Comme M/K est radicale, R/K aussi.
Sinon, Gal(F/M) est Gal(L/K) sont isomorphes. Soit H

distingu dans Gal(F/M),


maximal, dindice p. Notons E = F
H
. Lextension F/E est galoisienne, et comme
H

est distingu, E/M aussi, de groupe de Galois H

. Daprs le lemme 3.21, il existe


E, dont le polynme minimal est X
p
a, tel que E = M(). Le degr de F
sur E est strictement infrieur n, et le groupe Gal(F/E) est rsoluble. Donc il
existe R/F avec R/M radicale (car est racine de X
p
a avec a M), et R est
une extension de L. Comme M/K est radicale, R/K est radicale, et R remplit les
conditions du thorme.
16