Laszlo-Theorie de Galois

INTRODUCTION
`
A LA TH
EORIE DE GALOIS
par
Yves Laszlo
Evariste Galois
2 YVES LASZLO
Dans la nuit du 29 Mai 1832 ,

Evariste Galois
(1)
sait sa mort proche. Il ecrit une lettre-testament
(2)
adressee ` a son ami Auguste Chevalier dont voici un fac-simile.
1. 1811-1832
2. Voir

Ecrits et memoires mathematiques d
Evariste Galois, Gauthiers-Villars (1962).

INTRODUCTION
`
A LA TH
EORIE DE GALOIS 3
Voici la transcription de la n. [...]Je me suis souvent hasarde dans ma vie à avancer des pro-
positions dont je n etais pas s ur. Mais tout ce que jai ecrit là est depuis bientot un an dans ma
tete, et il est trop de mon interet de ne pas me tromper pour quon me soupconne davoir enonce
des theorèmes dont je naurais pas la demonstration complète. Tu prieras publiquement Jacobi et
Gauss de donner leur avis, non sur la verite, mais sur limportance des theorèmes. Je tembrasse
avec eusion
Pour aller dans le sens de la mode des indicateurs bibliometriques, on constatera avec interet que
parmi les prepublications disponibles depuis le 1er janvier 2008, près dun millier mentionnent dans
le resume le mot

Galois

. Ceci donne une idee de limportance de la theorie de Galois, mais
aussi de sa modernite et de la quantite considerable de points restant à decouvrir. Le premier
feuillet de la lettre precitee commence comme suit. Meme si le style parat un peu abscons, le
lecteur reconnatra dabord la denition dun sous-groupe distingue (cf. chapitre 0 du polycopie
de tronc commun ou (6.6.1)) puis le theorème de resolubilite 9.4.1 des equations algebriques.
4 YVES LASZLO
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 5
6 YVES LASZLO
1. Introduction
Lobjet de ce cours est de montrer ` a quel point des domaines qui a priori sont sans grand rapport,
la theorie des groupes et celle des extensions de corps, sont intimement lies. Ce lien profond mis
en lumière au XIXème par Galois permet de donner des resultats profonds en arithmetique, la
reine des sciences

comme disait Gauss. Meme si, faute de temps, on na guère pu presenter de
resultats modernes, la theorie de Galois et ses extensions tient actuellement une place centrale en
Mathematiques. La comprehension des groupes de Galois des corps de nombres est très lacunaire,
meme si des progrès spectaculaires ont ete realises ces cinquante dernières annees. On a prefere
dans cette exposition sacrier ` a la tradition en ne donnant que les grandes lignes des solutions de
problèmes classiques et seculaires quapportent la theorie de Galois (constructibilite ` a la règle et au
compas par exemple), pour aller plus avant dans lexposition de methodes algebriques puissantes
(introduction ` a la reduction mod p des groupes de Galois (10)) ou de resultats recents (quelques
resultats de theorie de Galois inverse (12)). On na pas non plus cherche ` a developper des methodes
sophistiquees de calcul algorithmiques de groupes de Galois, qui existent, mais qui sont à mon
sens plut ot des problèmes

dexperts

. On na pas aborde non plus la theorie des resolvantes.
On a dissemine des exercices tout au long du texte, qui, la plupart du temps sont très simples
mais permettront de

se faire la main

ainsi que de verier si les notions sont assimilees. On
invite le lecteur ` a ne consulter les indications de preuve en n de poly quen dernière extremite.
Les extensions de la theorie sont très nombreuses. Par exemple, on ne saurait trop conseiller au
lecteur detudier la theorie des revetements ramies nis des surfaces de Riemann S. Il verra alors
que cette etude est equivalente ` a letude des groupes de Galois des extensions nies du corps des
fonctions meromorphes de S ! Dun point de vue bibliographique, on pourra se reporter aux jolis
livres dAntoine Chambert-Loir (Algèbre corporelle, publication Polytechnique, 2004) ou de Renee
Elkik (Cours dAlgèbre, Ellipses Marketing Collection : Mathematiques Universite, 2002). Pour
aller plus loin, en particulier dans letude de la separabilite, le chapitre V de lAlgèbre de Bourbaki
est un classique.
Maintenant, cette exposition elementaire soure de labsence du produit tensoriel qui ` a lui seul au-
rait rendu bien des preuves nettement plus naturelles. Helas, le temps manque. Plus generalement,
la theorie de Galois a ete largement generalisee et nest en fait quun cas particulier dune vaste
theorie, en un sens plus simple et plus geometrique, la theorie de la descente dèlement plate
de Grothendieck exposee dans SGA 1 (Revetements etales et groupe fondamental, Documents
Mathematiques 3, 2003).
Si cet ouvrage nest guère accessible à ce stade, ce point de vue très geometrique a ete expose pour
la theorie de Galois dans le très joli livre de Douady A. et R. (Algèbre et theories galoisiennes,
Cassini, 2005), ouvrage dont la lecture ne saurait trop etre conseillee. Il explique lanalogie entre
corps de nombres et surfaces de Riemann et le dictionnaire galoisien entre extensions de corps et
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 7
Alexandre Grothendieck
revetements etales. Il aborde la très riche et largement ouverte theorie des dessins denfants de
Grothendieck
(3)
, qui fait le pont entre la theorie des surfaces de Riemann et larithmetique via
letude du groupe de Galois de

Q sur Q.
Ce cours se veut donc une invitation au voyage plus quun expose exhaustif qui aurait necessite
plus de place.
Dun point de vue technique, nous nous sommes en particulier limites aux corps parfaits ce qui a
permis deviter les discussions sur les extensions separables. Il nous a paru que cela ne nuisait pas
` a la comprehension des methodes, ce dautant que ce cadre recouvre de très nombreux problèmes
actuels. On ne sest pas restreint aux corps de caracteristique nulle pour avoir une theorie englobant
le cas des corps nis qui, comme on le verra (10) est de toutes manières utiles pour calculer les
groupes de Galois intervenant en caracteristique zero.
Les passages en petit caractère peuvent etre passes en première lecture. Leur etude approfondie
ne sera pas necessaire pour lexamen (on rappelerait si besoin des resultats y etant utilises). La
typographie signale en general des approfondissements ou generalisation interessantes, voire des
preuves peu eclairantes pour la comprehension de lensemble, plus quune diculte plus importante
par rapport au cur du texte.
On a volontairement cherche ` a

aller au plus court

dans les preuves tant que celles-ci restaient
naturelles

, sans chercher ` a les generaliser inutilement (cf. par exemple les discussions sur les
entiers algebriques). Le lecteur interesse par la theorie de Galois generale pourra par exemple
consulter lancien polycopie (http ://www.math.polytechnique.fr/ laszlo/galois0.pdf).
Puissent la beaute et la puissance de cette merveilleuse theorie avoir touche le lecteur.
3. 1928-
8 YVES LASZLO
2. Invitation
Nous allons esquisser deux succès historiquement importants de la theorie de Galois. Dans cette
invitation, on nutilisera que le fait bien connu que la donnee dun sous-corps k de K munit K
dune structure de k-espace vectoriel. La dimension, nie ou non, se note [K : k] et sappelle aussi
le degre de lextension K/k.
2.1. Construction à la règle et au compas. On identie le plan euclidien (oriente) ` a C
muni de la norme usuelle [[z[[=[z[.
Denition 2.1.1. On dira que P C est constructible sil existe une suite nie de points
distincts P
0
, , P
N
= P de points tel que P
0
0, 1 et pour tout n < N le point P
n+1
est un des
points dune intersection nie de deux

droite ou cercle

de type ('P
, P
`, 0 < n ou
C(P
, [P
[), `, 0 < n, n.
En dautres termes, on decide que 0, 1 sont constructibles. Puis, recursivement, etant donnee une
famille de points constructibles, on construit les droites passant par deux points constructibles
distincts, ou bien un cercle centre sur un de ces points, de rayon une distance entre deux points
constructibles : ceci denit les (droite ou cercle)s admissibles. Les constructibles au cran n + 1
sont les au cran n, ainsi que les intersections nies entre deux (droite ou cercle)s admissibles.
Par exemple, i est constructible.
Le lecteur se souviendra des theorèmes de Thalès et Pythagore (cf. gure)
x xy
y
1
x
1/x
1
1
Produit
Inverse (0<x<1)
arar
(t+1)/2
(t-1)/2
t^(1/2)
Racine (t>1)
Constructions utiles
et montrera les proprietes suivantes.
Exercice 2.1.2. Lensemble des reels constructibles est un sous-corps de R (en particulier
contient les rationnels). Un reel positif est constructible si et seulement si sa racine carree lest.
Le complexe z est constructible si et seulement ses parties reelles et imaginaires le sont, de sorte
que les complexes constructibles forment un sous-corps de C.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 9
Soit alors L
n
le sous-corps de C engendre par i et les coordonnees des P
, n. Les coordonnees
des points dintersection z dune

droite ou cercle

et dune droite construite sur les P
, n
sont solutions dun equation de degre 2 ` a coecients dans L
n
de sorte que
L
n
[z] = a + bz, a, b L
n
est un corps de degre 2 sur L

n
. Le cas de lintersection de deux cercles est analogue.
La reciproque est facile et laissee au lecteur en exercice (montrer que si K[z] est un sous-corps de
C avec [K[z] : K] = 2, alors z est solution dune equation de degre 2 ` a coecients dans K).
Theorème 2.1.3 (Wantzel
(4)
). Le complexe z est constructible si et seulement si il existe
une suite nie de corps L
0
= Q L
1
L
n
et [L
i+1
: L
i
] 2 avec z L
n
.
Comme on le verra (3.12.8), on a alors
[L : Q] =
[L
i+1
: L
i
] = 2
m
avec m n et donc [Q[z] : Q] est une puissance de 2 (cf. 3.12.8), car Q[z] L
n
. En particulier,
cette dimension est nie. Si on sait (Lindeman, 1882) que est transcendant (11), on en conclut
limpossibilite de la quadrature du cercle : construire un carre de meme aire que le disque unite.
On peut en deduire par exemple que lon ne peut pas construire à la règle et au compas un
heptagone regulier. En eet, sinon, la dimension de Q[exp
2i
7
] sur Q serait une puissance de 2.
Or, on a (7.2.8).
Proposition 2.1.4 (Gauss
(5)
). On a [Q[exp
2i
n
], Q] = (n) o` u est lindicateur dEu-
ler
(6)
et Q[exp
2i
n
] est le corps engendre par exp
2i
n
, qui est aussi lensemble des polynomes à
coecients rationnels en exp
2i
n
.
Comme (7) = 7 1 = 6...
Generalement donc, si le polygone regulier à n c otes est constructible, (n) est une puissance de
2, ce qui impose (exercice) que n est un produit dune puissance de 2 et dun nombre de Fermat
F
m
= 2
2
m
+ 1 qui est premier. Ce resultat est d u ` a Gauss. Ces resultats ne font pas intervenir la
theorie de Galois
(7)
. La reciproque etait conjecturee semble-t-il par Gauss.
Comme toujours, il avait devine juste :
Theorème 2.1.5 (Gauss-Wantzel). La reciproque est vraie : si n est un produit dune puis-
sance de 2 et dun nombre de Fermat F
m
= 2
2
m
+ 1 qui est premier, alors le polygone regulier à
n cotes est constructible.
En fait la preuve donne presque un algorithme pour construire un polygone regulier à n c otes
(lorsque cest possible !) : on doit pour en avoir un decomposer n en facteurs premiers et trouver
un generateur du groupe cyclique (Z/pZ)
(cf. PC). Notons quon a F

0
= 3, F
1
= 5, F
2
= 17, F
3
=
4. 1814-1848, Charge de cours à Polytechnique.
6. 1777-1855
6. 1707-1783
7. 1811-1832
10 YVES LASZLO
Karl Friedrich Gauss Leonhard Euler
257, F
4
= 65537 et sont tous premiers. Si les constructions des triangles equilateraux, carres, et
pentagones reguliers sont elementaires, celle du polygone regulier ` a 17 cote est moins evidente
(8)
...
Rappelons dabord la construction (connue de Ptolemee
(9)
, premier siècle de notre ère) du penta-
gone regulier, simple consequence de la formule elementaire
cos(
2
5
) =
5 1
4
.

E
A4
A3
A5
A2
D
C
B
A1
0
y
x
A
Pentagone
Construction du pentagone regulier
8. Cf. http ://pagesperso-orange.fr/debart/geoplan/polygone regulier.html, dont les constructions explicites sui-
vantes sont tirees.
9. 90-168
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 11
Claudius Ptolemee
Gauss, encore lui, a donne une construction du polygone à 17 cotes ; voici une construction :

Heptadcagone
Construction de lheptadecagone regulier
(pour une animation, voir par exemple http ://www.ac-poitiers.fr/math/prof/resso/ima/sar1/index.htm).
On a ici dejà une formule assez compliquee
16 cos(
2
17
) = 1 +
17 +
34 2
17 +
68 + 12
17 4
34 2
17 8
34 + 2
17,
formule qui se deduit dailleurs de la theorie de Galois, formule qui permet de donner eectivement
une construction.
En revanche, F
5
est divisible par 641 (Euler). On ne sait pas si F
33
est premier, alors quon sait
que F
2478782
ne lest pas : peu de choses sont connues sur la primalite des nombres de Fermat.
12 YVES LASZLO
La reciproque, elle, fait intervenir la theorie de Galois (7.3.3) : cest une consequence presque
immediate du calcul du groupe de Galois Gal(Q[exp
2i
n
], Q) (cf. 7.2.10).
2.2. Resolution dequations. Tout le monde connat les solutions de lequation quadratique
x
2
+a = 0, b C, ` a savoir x =
a. En general, pour lequation de degre n, une habile translation

de la variable tue le terme de degre n 1. En degre 3, on a donc aaire avec lequation
x
3
+ax+b = 0 dont les solutions ont ete achetees au 16ème siècle par Cardan
(10)
au mathematicien
Tartaglia
(11)
(mais etaient sans doute connues de del Ferro
(12)
). Elles secrivent
x
1
=
3
b
2
+
a
3
3
+
b
2
2
+
3
b
2

a
3
3
+
b
2
2
x
2
= j
3
b
2
+
a
3
3
+
b
2
2
+ j
2
3
b
2

a
3
3
+
b
2
2
x
3
=

j
3
b
2
+
a
3
3
+
b
2
2
+

j
2
3
b
2

a
3
3
+
b
2
2
avec j = exp(
2i
3
), les racines cubiques etant normalisees par
3
b
2
+
a
3
3
+
b
2
2
3
b
2

a
3
3
+
b
2
2
=
a
3
.
Un elève de Cardan, Ferrari
(13)
, a decouvert comment ramener les equations de degre 4 à celles
de degre 3. On part de lequation
x
4
= ax
2
+ bx + c
qui equivaut, y etant un paramètre ` a lequation
x
4
+ 2yx
2
+ y
2
= (a + 2y)x
2
+ bx + (c + y
2
).
On cherche y tel que (a + 2y)x
2
+ bx + (c + y
2
) soit un carre (Ax + B)
2
, autrement dit on resout
lequation
b
2
4(a + 2y)(c + y
2
) = 0
qui est de degre 3 en y. Une fois quon a un tel y, il ne nous reste qua resoudre lequation
x
4
+ 2yx
2
+ y
2
= (Ax + B)
2
qui nest autre que
(x
2
+ y Ax B)(x
2
+ y + Ax + B) = 0,
soit deux equations de degre 2 !
10. 1501-1576
11. 1499-1557
12. 1465-1526
13. 1522-1565
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 13
Gerolamo Cardano Niccolò Fontana dit Tartaglia
Dans tous ces cas de petit degre, les racines complexes de lequation generale initiale sobtiennent
` a laide de polyn omes en ses coecients ainsi que des racines de tels polyn omes : on dit quelles
sexpriment par radicaux. Cest impossible pour n 5 : cest une consequence facile du theorème
des fonctions symetriques et de la theorie de Galois (cf. 9.4). Cest le succès le plus connu de la
theorie de Galois. On a des resultats très precis. Par exemple, on peut montrer avec les methodes
developpees ici que les racines de lequation X
5
X 1 ne sexpriment pas par radicaux de
rationnels !
Pour nir cet echauement, insistons sur le fait que la theorie de Galois ne se limite pas, loin sen
faut, ` a ces applications ` a linteret desormais historique. Elle a de multiples facettes, très profondes,
gouvernant de vastes aspects tant de lalgèbre que de la theorie des nombres et de la geometrie (cf.
le cours de Jean Lannes de revetements et celui de Jacques Tilouine de courbes elliptiques). Cest
letude ne des representations lineaires (cf. le cours de Majeure

Representations de groupes

)
du groupe de Galois de

Q/Q -au travers notamment dun cas très particulier des conjectures de
Langlands- qui a permis ` a Wiles de prouver le theorème de Fermat. En bref, ce cours nest que le
debut dune longue histoire, bien loin detre terminee.
14 YVES LASZLO
3. Generalites sur les algèbres et les corps
Dans tout ce qui suit, on dira anneau pour anneau commutatif unitaire. En general, si on ne
precise pas et que le contexte est clair, la lettre A designera un anneau tandis que k designera un
corps.
3.1. Quelques rappels sur les anneaux. Rappelons (cf. chapitre 0 du polycopie de tronc
commun ou le cours de classe preparatoire) quun anneau A est un ensemble A muni dune addition
et dune multiplication permettant de calculer comme sur les entiers ou les reels par exemple mis ` a
part quon ne peut en general diviser par un element non nul à moins que A ne soit un corps, à savoir
un anneau non nul dans lequel tous les elements non nuls sont inversibles pour la multiplication.
Exemple 3.1.1. Lensemble des entiers relatifs, des entiers modulo n, les fonctions dune
ensemble à valeurs reelles, les series entières convergentes (munis des lois usuelles) sont des
exemples danneaux, mais pas des corps en general. Lensemble Z/pZ des entiers modulo p premier
est un corps, comme les ensembles Q des nombres rationnels, R, C des nombres reels, complexes
(munis des lois usuelles).
Denition 3.1.2. Un morphisme danneaux f : A B est une application telle que f(1) = 1
et qui verie
f(a + b) = f(a) + f(b) et f(ab) = f(a)f(b)
pour tout a, b A. Le noyau Ker(f) est lensemble des elements annules par f. Lensemble de ces
morphismes est note Hom(A, B)
Notons que necessairement f(0) = 0 (unicite du neutre dans un groupe) et f(a) = f(a) pour
tout a A. Le noyau dun morphisme danneau est un ideal (on rappelle que les ideaux de A sont
les sous-groupes additifs I de A tels que aI I pour tout a A). On sait que si A = Z ou k[X]
par exemple, tout ideal est engendre par un element.
Exercice 3.1.3. Montrer que limage reciproque dun sous-groupe de Z/nZ par la projection
canonique est un sous-groupe de Z contenant nZ. En deduire que les sous-groupes de Z/nZ sont
cycliques de cardinal d[n, engendre par la classe de
n
d
. En particulier, lapplication qui à un sous-
groupe de Z/nZ associe son cardinal est une bijection sur lensemble des diviseurs (positifs) de
n.
3.2. Morphisme de corps. Notons quun ideal de I est lanneau A si et seulement si il
contient 1, ou, ce qui revient au meme, un inversible de A. En particulier, le seul ideal non nul
dun corps est le corps lui-meme. Comme un morphisme de corps
(14)
envoie 1 sur 1 et quun corps
est non reduit à zero, le noyau dun morphisme de corps est toujours nul :
un morphisme de corps est toujours injectif !
14. A savoir un morphisme danneaux entre corps.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 15
Ceci nous permet de penser ` a un morphisme de corps : k k
comme au sous-corps (k) de k
identie ` a k
via lisomorphisme : k

(k). On parlera de plongement de k dans k
. On dira
aussi que k
est une extension de k, considerant k comme un sous-corps de k
.
3.3. Anneaux quotients.

Rappelons

la construction du quotient

A = A/I dun anneau
A par un ideal I et surtout ses proprietes
(15)
(cf. chapitre 0 du polycopie de tronc commun). Lidee
est de fabriquer un nouvel anneau

A dans lequel on a tue les elements de I. On adapte simplement
la construction de Z/nZ, qui sera un cas particulier de la construction generale pour A = nZ et
I = Z.
En general, lensemble quotient A/I est lensemble des translates
(16)
a + I
def
= a + i, i I A.
Notons que deux tels translates (a + I) et (a
+ I) sont egaux si et seulement si a a
I.
On denit la somme de deux translates
(a + I) + (a
+ I)
def
= (a + I + a
+ I) = a + a
+ I
qui est bien un translate de I. Ceci reète le caractère distingue (6.6.1) du sous-groupe I de A (qui
est abelien !). On observe que A/I muni de cette addition est un groupe commutatif de groupe

0.
De meme, A/I est muni dun produit deni par
(a + I).(b + I)
def
= (a + I)(b + I) + I = ab + aI + bI + I
2
+ I = ab + I.
La surjection canonique
: A A/I
denie par a a + I est un morphisme de groupes additifs (autrement dit respecte laddition).
On voit donc a = (a) comme la classe A modulo I, exactement comme en arithmetique usuelle.
Proposition 3.3.1. Il existe une unique structure danneau sur A/I telle que est un mor-
phisme. Le noyau de est I.
Demonstration. Laissee au lecteur.
Autrement dit, on a
a.a
= a.a
, a + a
= a + a
et 1 neutre de A/I pour le produit. Lenonce suivant, dit de propriete universelle du quotient, est
facile, et... fondamental.
15. Comme souvent en mathematiques, la construction na guère dimportance ; seules les proprietes importent.
Par exemple, on sait très bien travailler sur les reels en connaissant les proprietes de son ordre sans pour autant se
souvenir voire connatre une quelconque de ses constructions !
16. Cest la vision concrète des classes dequivalence pour la relation dequivalence de congruence modulo I du
polycopie de tronc commun.
16 YVES LASZLO
Partant dun diagramme
B
A
//
f
>>
|
|
|
|
|
|
|
|
A/I
tel que f(I) = 0, il existe un unique morphisme

f faisant commuter le diagramme
B
A
//
f
>>
|
|
|
|
|
|
|
|
A/I
f
OO
,
cest à dire tel que f =

f . On dit aussi que f se factorise ` a travers .
En termes ensemblistes, ceci equivaut au theorème suivant, dit de propriete universelle du quo-
tient :
Theorème 3.3.2 (Propriete universelle du quotient). Soit B un anneau. Lapplication
de composition par la surjection canonique A A/I denit un isomorphisme

Hom(A/I, B) f Hom(A, B) tels que f(I) = 0.
On identiera sans plus de precaution ces deux espaces.
Demonstration. Observons que
est additive. Soit alors dans le noyau ie = 0. Comme

est surjective, est nulle sur (A) = A/I donc est nulle, do` u linjectivite.
Passons ` a la surjectivite. Soit donc f Hom(A, M) annulant I et cherchons un antecedent . Soit
t A/I : cest la classe dun element a, bien determine à addition dun element i I quelconque
près. Comme f(I) = 0, les images par f de tous les elements a representant t sont un seul et meme
element quon baptise (t). Par construction, = f et est evidemment un morphisme (par
exemple, si t = (a), t
= (a
) avec a, a
A, on a
(tt
) = ((a)(a
)) = ((aa
)) = f(aa
) = f(a)f(a
) = ((a))((a
)) = (t)(t
)
ce qui prouve la multiplicativite puisque est surjective et de meme pour laddition).
Remarque 3.3.3. Si f : A B est un morphisme danneaux, on a donc une factorisation
canonique

f : A/Ker(f) B de f à travers A A/Ker(f) puisque f(Ker(f)) = 0. Comme on
a precisement tue le noyau de f, celui de

f est nul de sorte que

f est injective. Si f est supposee
surjective surjective, on a donc un isomorphisme canonique

f : A/Ker(f)

B.
Montrons un lemme, facile, mais très utile.
Lemme 3.3.4. Lapplication qui à un ideal

J de A/I associe son image inverse J =
1
(
J)
identie les ideaux de A/I aux ideaux de A contenant I. De plus, le morphisme A

A

A/
J
passe au quotient et induit un isomorphisme A/J

A/
J.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 17
Demonstration. Comme I contient 0, lideal
1
(I) contient I =
1
(0). Inversement, si J est
un ideal de A contenant I, on verie que (J) est un ideal de A/I. Les deux constructions sont
clairement inverses lune de lautre. Par ailleurs, le noyau de la surjection A

A/
J est lensemble
des a A tels que (a)

J, cest-à-dire J. Par propriete universelle du quotient, on a une
factorisation A/J

A/
J qui reste evidemment surjective, mais qui en plus est injective daprès
la remarque precedente.
18 YVES LASZLO
3.4. Caracteristique dun corps. Rappelons le resultat suivant :
Exercice 3.4.1. Soit A un anneau. Il existe un unique morphisme danneaux : Z A. Si
A est un corps, montrer que ker() = nZ avec n = 0 ou n premier.
On pose alors
Denition 3.4.2. Soit k un corps. La caracteristique de k est lunique entier 0 engendrant
ker().
La caracteristique dun corps est donc (3.4.1) nulle ou un nombre premier. Par exemple, Q est de
caracteristique nulle tandis que Z/pZ est de caracteristique p (p premier).
Remarque 3.4.3. Lunique morphisme danneau morphisme : Z A (3.4.1) se factorise à
travers son noyau nZ pour denir une injection canonique Z/nZ A. En particulier, un corps de
caracteristique nulle est inni puisquil contient Z, et meme Q en fait comme le prouve lexercice
suivant.
Exercice 3.4.4. Montrer quun corps contient un unique sous-corps isomorphe à Q ou Z/pZ
suivant que la caracteristique de k est nulle ou p.
3.5. Proprietes des ideaux. On notera (a
s
, s S) lideal engendre par la famille (a
s
), s S.
Si I, J sont des ideaux, on note IJ lideal engendre par les produits ij, i I, j J. On parle alors,
abusivement, dideal produit de I et J.
Denition 3.5.1. Soit I un ideal dun anneau A.
On dit que A est intègre si A est non nul et si le produit de deux elements non nuls de A est
non nul.
On dit que I est premier si A/I est intègre.
On dit que I est maximal si A/I est un corps.
En particulier, un corps etant intègre, un ideal maximal est necessairement premier. Notons que
lideal A nest ni premier ni maximal (lanneau nul nest pas intègre),
Exercice 3.5.2. Montrer que limage inverse dun ideal premier par un morphisme danneaux
est un ideal premier. En deduire que la caracteristique dun corps est un nombre premier ou bien
est nulle. Montrer quen general limage inverse dun ideal maximal nest pas maximal (considerer
par exemple linclusion de Z dans Q).
Lensemble des ideaux premiers de A se note Spec(A) : le spectre de A (rien ` a voir avec Hamlet,
ou James Bond ! ! !).
Rappelons quun element a dun anneau intègre est dit irreductible sil nest ni nul ni inversible et
si ses diviseurs sont ou bien inversibles ou bien multiples de a. Par exemple, les irreductibles de Z
sont, au signe près, les nombres premiers. La terminologie est alors justiee par lexercice suivant
(cf. PC) :
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 19
Exercice 3.5.3. Montrer quun ideal propre de A est maximal si et seulement si le seul ideal
qui le contient strictement est A. Supposons de plus A principal, ie intègre tel que tout ideal est
engendre par un element, et soit a un element non nul. Montrer que les 3 proprietes suivantes
sont equivalentes : 1) a est irreductible ; 2) (a) = aA est premier ; 3) (a) = aA est maximal.
Exercice 3.5.4. Soit I un ideal de A tel que pour tout i I, il existe un entier n 1 tel que
i
n
= 0. Montrer que la surjection canonique A A/I induit une surjection au niveau du groupe
des inversibles. Montrer que cest faux sans condition sur I.
3.6. Lemme de Zorn et application. Soit E un ensemble (partiellement) ordonne. On pense par exemple ` a lensemble
des parties dun ensemble donne ordonne par linclusion. Mais il y a bien dautres exemples.
Denition 3.6.1. On dit que E est inductif si toute partie non vide totalement ordonnee admet un majorant dans E.
Exemple 3.6.2. R muni de la relation dordre usuelle nest pas inductif. De meme lensembles des intervalles [0, x[, x R
ordonne par linclusion nest pas inductif. En revanche, lensemble des parties dun ensemble ordonne par linclusion est
inductif.
Lemme 3.6.3 (lemme de Zorn
(17)
). Tout ensemble non vide inductif admet un element maximal.
Max Zorn
Ce lemme peut-etre vu comme un axiome de la theorie des ensembles, en fait equivalent ` a laxiome du choix : si (E
i
) est
une famille densembles non vide, alors
E
i
est non vide. On le considerera comme tel.
Corollaire 3.6.4. Tout anneau non nul admet un ideal maximal.
Demonstration. Soit E la famille des ideaux propres de A. Comme A est non nul, {0} est dans E qui est non vide.
Visiblement, E est inductif : la reunion dune famille totalement ordonnee dideaux propres est encore un ideal propre, qui
est un majorant. Le lemme de Zorn termine le travail.
En considerant A/I, on obtient que tout ideal propre I est contenu dans un ideal maximal (observer que les ideaux de A/I
sidentient aux ideaux de A contenant I).
17. 1906-1993
20 YVES LASZLO
3.7. Une application : Rang dun module libre de type ni. Un A-module libre est, rappelons le, un module (cf.
chapitre 0 du polycopie de tronc commun) isomorphe ` a A
n
. Supposons ici que A est non nul. La question est de savoir si le
n en question est unique. Autrement dit, lexistence dun isomorphisme A
n

A
m
entrane-t-il n = m? Le lecteur familier
avec lalgèbre exterieure trouvera lenonce evident. Voyons une preuve elementaire . Un tel isomorphisme est deni par
une matrice M M
m,n
(A). Linverse a une matrice N M
n,m
(A). Ces deux matrices verient
MN = Id
m,A
et NM = Id
n,A
.
Soit alors m un ideal maximal de A (qui est non nul !) et notons k = A/m le corps residuel. Reduisant ces identites matricielles
mod m, on deduit lexistence de matrices dans k veriant
N = Id
m,k
et

N
M = Id
n,k
.
La matrice

M denit donc un isomorphisme de k-espaces vectoriels k
n

k
m
. La theorie de la dimension assure alors n = m.
Cet entier n sappelle le rang du module libre A
n
.
Remarque 3.7.1. De meme, si A
(I)

A
(J)
, alors I et J sont en bijection : on se ramène comme plus haut ` a lenonce
analogue sur les espaces vectoriels, quil reste ` a prouver !
Cette propriete est complètement fausse si on ne suppose plus lanneau commutatif.
3.8. Le lemme Chinois. On sait que les anneaux Z/nmZ et Z/nZZ/mZ sont isomorphes
si n et m sont premiers entre eux. Cette dernière condition peut secrire aussi (n)+(m) = Z daprès
lidentite de Bezout.
Remarque 3.8.1. Le lemme chinois (pour les entiers) est attribue au mathematicien et astro-
nome chinois Sunzi (ecriture pinyin) (ou Sun Tzu
(18)
). Il semble que son traite de mathematiques
ait ete ecrit autour de lan 400 (cest du moins ce quecrivait en 1963 lhistorien des sciences
reconnu Qian Baocong), meme si certains pensent quil vivait autour de 300. Ce qui est certain
est que la première version ecrite se trouve dans le livre de Qin Jiushao
(19)
, Traite mathematique
en 9 sections, date de 1247.
Plus generalement, supposons quon ait des ideaux I
1
, , I
n
, n 2 dun anneau A, deux ` a deux
etrangers, ie tels que I
i
+ I
j
= A pour i = j.
Lemme 3.8.2 (Lemme Chinois). Sous ces conditions, lapplication canonique A
A/I
j
se factorise à travers I
j
pour donner un isomorphisme
A/I
1
I
n
A/I
j
.
De plus, on a
I
1
I
n
= I
1
. .I
n
.
18. Contrairement à ce quon peut parfois lire sur la toile, il na rien à voir avec lauteur de Lart de la guerre.
19. 12021261
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 21
Demonstration. le lecteur est invite ` a passer cette preuve, quil a dejà vu dans le cas o` u A est
Z ou bien k[X], ou, mieux, ` a la faire lui-meme. Bien entendu, le noyau de
A A/I
1
A/I
n
est lintersection I
1
I
n
. Par propriete universelle du quotient, on a donc une application
A/I
1
I
n

A/I
j
qui est injective (on a tue le noyau de la èche initiale !). Verions la surjectivite. Si on note I(j)
lideal
I(j) = I
1

I
j
I
n
produit des ideaux I
i
distincts de I
j
( ie engendre par les produits delements des I
i
distincts de
I
j
), observons quon a
j
I(j) = A.
En eet, on peut faire une recurrence sur n. Si n = 2, cest lhypothèse I
2
+ I
1
= A. Sinon, on
applique lhypothèse de recurrence à I
1
, , I
n1
. On obtient alors que la somme des n1 ideaux
I
1

I
j
I
n1
est A, de sorte que, multipliant par I
n
, on a
j<n
I(j) = I
n
et la somme
j
I(j) contient I
n
. En appliquant le meme procede à I
2
, , I
n
, on obtient que la
somme contient I
1
. Comme I
1
+ I
n
= A, la somme vaut A.
On ecrit alors 1 =
j
a
j
, a
j
I(j). Soit alors

b
j
A/I
j
des classes quelconques. Posons
b =
j
a
j
b
j
.
Observons alors
a
j
0 mod I
i
si i = j et a
j
1 mod I
j
de sorte que b b
j
a
j
b
j
mod I
j
pour tout j.
Reste à se convaincre que le produit des I
i
, clairement dans lintersection des I
i
, lui est egale. Soit
donc a dans cette intersection. On a a =
i
aa
i
. Comme a I
i
, on a a I
i
I(i) = I
1
I
n
pour
tout i, ce quon voulait.
Exercice 3.8.3. Soit d un diviseur de n > 0. Montrer que le morphisme danneaux canonique
Z/nZ Z/dZ
induit une surjection au niveau des inversibles (utiliser le lemme chinois et 3.5.4).
22 YVES LASZLO
3.9. Algèbres. On a remarque en classes preparatoires que C etait à la fois un corps et un
R-espace vectoriel. De plus, la structure de multiplication externe par les reels est compatible avec
la structure de produit de C au sens o` u x.z (multiplication externe du complexe z par le reel x)
est aussi le produit des complexes x.1 et z et de facon analogue pour la somme). On dit que C est
une R-algèbre. Plus generalement, si k est un sous-corps du corps K, alors K est naturellement
un k-espace vectoriel et la structure de k-espaces vectoriels sur K est compatible avec la structure
de corps sur K.
Plus generalement, donnons nous un corps k et un anneau B. On dit que B est une k-algèbre
(unitaire) si B est de plus muni dune multiplication externe k B B faisant de lui un k-espace
vectoriel tel que
a.(bb
) = (a.b)b
pour tout a k, b, b
B.
Il revient au meme de se donner un morphisme danneaux f : k B car on denit alors la
structure despace vectoriel par a.b = f(a)b pour a k, b B. Dans le cas o` u B est un corps, on
dit aussi que B (ou B/k) est une extension de k.
Denition 3.9.1. Un morphisme f Hom(B, B
) de k-algèbres B, B
est un morphisme dan-

neaux qui est de plus k-lineaire. On note Hom
k
(A, A
) lensemble des morphismes dalgèbres. Deux

extensions K, L de k sont isomorphes si il existe un isomorphisme dalgèbres K

L.
Exemple 3.9.2. Par exemple, si B est une k-algèbre, se donner un morphisme dalgèbres f
de k[X] dans B revient à se donner limage b B de X car on aura alors
f(
a
i
X
i
) =
a
i
b
i
o` u a
i
k et quinversement une telle formule denit bien un morphisme dalgèbre. Ainsi,
Hom
k
(k[X], B)
sidentie canoniquement à B. Plus generalement, si b
1
, , b
n
sont des elements de B, il existe
un unique morphisme dalgèbre k[X
1
, , X
n
] B envoyant chaque X
i
sur B. Sil est surjectif,
on dit que B est engendre par les b
i
et on ecrit B = k[x
1
, , x
n
].
Notons que si A est une k-algèbre et I un ideal de A, lanneau quotient A/I est aussi un k-espace
vectoriel (car A et I sont des k-espaces vectoriels) et donc A/I est une k-algèbre canoniquement).
On laisse au lecteur le soin de verier que les constructions danneaux quotients passent mutatis
mutandis au cas des algèbres. De meme, il enoncera une version

algèbre
du lemme chinois 3.8.2

(et veriera que la preuve sadapte egalement mutatis mutandis).
Exercice 3.9.3. Decrire un isomorphisme de R-algèbres entre R[X]/(X
2
+X+1) et C dune
part et entre R[X]/(X(X + 1)) et R
2
dautre part (utiliser le lemme chinois 3.8.2).
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 23
3.10. Corps de rupture. Soit P un polynome de k[X], quon suppose irreductible. Comme
k[X] est principal, (P) est maximal (3.5.3) et la k-algèbre quotient K = k[X]/(P) est un corps.
Le polyn ome P peut etre considere comme ` a coecients dans K. Par construction, P(
X) est la
classe de P dans K[X]/(P), et donc est nul. On dit que K = k[X]/(P) est le corps de rupture de
P. Si x designe limage de X dans k, on a evidemment K = k[x].
On a donc construit une extension de corps K/k engendree par une racine x K de P.
Dune certaine manière, cest la plus petite :
Exercice 3.10.1. Soit L une extension de k dans laquelle P a une racine . Montrer que K
se plonge dans L (comme k-algèbre). Montrer de plus que si L est engendre par , les extensions
K/k et L/k sont isomorphes.
Le lemme suivant est facile mais fondamental.
Lemme 3.10.2. Soit K une extension de k. Alors, Hom
k
(k[x], K) sidentie aux racines de
P dans K.
Demonstration. Se donner Hom
k
(k[x], K) = Hom
k
(k[X]/(P), K) cest se donner
Hom
k
(k[X], K) qui annule P par propriete universelle du quotient (3.3.3). Autrement dit cest
se donner y = (X) tel que (P(X)) = P(y) est nul (3.9.2).
3.11.

Elements algebriques, transcendants. Soit k un sous-corps dun corps K (on dit
quon a une extension K/k). On notera [K : k] la dimension du k-espace vectoriel K, quelle soit
nie ou non.
Denition 3.11.1. Un element x K est dit algebrique sur k si il existe P k[X] non nul
annulant x. Sinon, il est dit transcendant (sur k). Une extension K/k est dite algebrique si tous
les elements de K sont algebriques (sur k).
Exercice 3.11.2. Montrer que lensemble des complexes qui sont algebriques sur Q est denombrable.
Par exemple, on montrera en PC (et cest facile) que le reel
n0
10
n!
est transcendant sur Q :
cest le premier exemple explicite de nombre transcendant (d u à Liouville en 1844). Il est bien
connu que e (Hermite
(20)
, 1872) et (Lindemann
(21)
, 1882) sont transcendants sur Q, mais cest
beaucoup plus dicile.
Rappelons que la transcendance de assure quun problème vieux de plus 3 millenaires est in-
soluble, la quadrature du cercle, car sinon

donc egalement seraient algebriques sur Q. Une
preuve de la transcendance de e et , simplication des preuves originales due ` a Hilbert, sera
donnee plus bas (11). Le lecteur est invite ` a passer ce paragraphe 11 en première lecture, non pas
car les preuves sont diciles à lire, mais car elles sont un peu

magiques

, pas très intuitives.
20. 1822-1901, ancien elève de lX
21. 1852-1935
24 YVES LASZLO
Charles Hermite Ferdinand Lindemann
3.12. Critère dalgebricite. La caracterisation suivante est aussi elementaire que fonda-
mentale.
Proposition 3.12.1. Les propositions suivantes sont equivalentes.
i) x est algebrique sur k ;
ii) lalgèbre k[x] est de dimension nie sur k ;
iii) lalgèbre k[x] engendree par x est un corps.
Demonstration. Si x est algebrique sur k, il est annule par un polynome de degre d > 0 et
1, , x
d1
engendre k[x], prouvant i) ii). Une algèbre intègre de dimension nie sur un corps
est un corps (exercice classique de taupe) ce qui prouve ii) iii). Si k[x] est un corps, soit x est
nul, et x = 0 est certainement algebrique, soit x
1
= P(x) k[x] et lequation
xP(x) 1 = 0
est une relation de liaison entre les x
i
, i deg(P) +1 prouvant que k[x] est de dimension nie sur
k, de sorte que iii) i).
Denition 3.12.2. On appelle polynome minimal de x algebrique sur k le generateur unitaire
de lideal des polynomes de k[X] annulant x. Le degre deg
k
(x) est la dimension dim
k
k[x].
Proposition 3.12.3. Soit P le polynome minimal de x K est algebrique sur k. Alors,
P est irreductible ;
le corps k[x] est canoniquement k-isomorphe à k[X]/(P) et deg
k
(x) = deg(P).
Demonstration. Par denition, le morphisme dalgèbre k[X] K qui envoie X sur x (3.9.2) a
pour image k[x] et pour noyau lideal (P). On a donc (3.3.3) un isomorphisme k[X]/(P)

k[x]
do` u la formule deg
k
(x) = deg(P) puisque les mon omes X
n
, 0 n < deg(P) forment une base de
k[X]/(P). Si maintenant P = QR avec disons Q, R unitaires, on a Q(x)R(x) = 0. Comme K est
intègre, on a Q(x) = 0 et donc P[Q. Comme deg(Q) deg(P), on a P = Q et P irreductible (on
peut aussi invoquer (3.5.3) si on veut).
Denition 3.12.4. Soient x algebrique sur k de minimal P et L une extension de k. Les
racines de P dans L sappellent les k-conjugues de x dans L (ou conjugues dans L lorsque le corps
de base k est clair dans le contexte).
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 25
Tenant compte de 3.12.3 et 3.10.2, on obtient le resultat suivant.
Proposition 3.12.5. Soit L une extension de k et x algebrique sur k. Alors, Hom
k
(k[x], L)
sidentie aux conjugues de x dans L : precisement, lapplication qui à Hom
k
(k[x], L) associe
(x) est une bijection entre lensemble des k-plongements de k[x] dans L et les conjugues de x
dans L.
Proposition 3.12.6. Le sous-ensemble A de K des algebriques sur k est un sous-corps de K.
Demonstration. A et A 0 sont non vides. Verions que la dierence et le produit de deux
algebriques x, y est algebrique. Par hypothèse, x
i
, i deg
k
(x), y
j
deg
k
(y) engendrent k[x] et k[y]
respectivement. On en deduit que les mon omes x
i
y
j
, i deg
k
(x), j deg
k
(y) engendrent k[x, y]
qui est donc de dimension nie sur k. Mais k[x y] et k[xy] sont contenus dans k[x, y] = k[x][y],
donc sont eux-memes de dimension nie. Si x non nul est algebrique est annule par P, alors 1/x
est annule par le polyn ome aux inverses X
deg(P)
P(1/X).
Denition 3.12.7. Soit A une k-algèbre. Sa dimension se note [A : k] et sappelle aussi son
degre. Une extension de k est dite nie si elle est de dimension nie sur k.
Bien entendu, le degre dune extension de corps est plus grand que le degre de tous ses elements.
Precisions les estimations.
Theorème 3.12.8 (Base telescopique). Soit L une K-algèbre o` u K est un corps contenant
k de sorte quon a des inclusions k K L. Soit
i
, i I et
j
, j J des bases de L/K et K/k
respectivement. Alors,
i
j
, (i, j) I J est une base de L/k. En particulier, on a
[L : k] = [L : K][K : k],
(encore une relation de Chasles !).
Demonstration. Si on a
i,j
a
i,j
j
=
i
(
j
a
i,j
j
)
i
= 0
avec a
i,j
k on a
j
a
i,j
j
= 0 pour tout i (liberte des
i
sur K) et donc a
i,j
= 0 (liberte de
j
sur k). Par ailleurs, tout l L secrit
i
b
i
i
avec b
i
K
(
i
generateur sur K) et chaque b
i
secrit
j
a
i,j
j
avec a
i,j
k
(
j
generateur sur k) de sorte que
l =
a
i,j
j
.
26 YVES LASZLO
Corollaire 3.12.9. Si x
1
, , x
n
sont algebriques, alors lalgèbre k[x
1
, , x
n
] des polynomes
en les x
i
est en fait un corps et est de dimension
deg
k
(x
i
).
On deduit immediatement en utilisant le corollaire
Une extension de k est nie si et seulement si elle est algebrique et engendree
(comme algèbre ou comme espace vectoriel sur k comme on veut) par un nombre
ni delements.
Exercice 3.12.10. Soit P un polynome irreductible de k[X] et soit L un sur-corps de k qui
contient une racine de P. Montrer quon peut trouver un k-morphisme (injectif ) du corps de
rupture de P dans L. Si P est quelconque, non constant, montrer par recurrence sur deg(P) quil
existe une extension L/k tel que P soit scinde dans L. Generaliser au cas dune famille P
1
, , P
n
de polynomes non constants.
Remarque 3.12.11. Reciproquement, on peut prouver (cf. examen 2006), mais cest plus
dicile et surtout beaucoup plus profond, que k[x
1
, , x
n
] est un corps si et seulement il est de
dimension nie sur k. Cest le theorème des zeros de Hilbert
(22)
.
David Hilbert
3.13. Notion de cl oture algebrique.
Denition 3.13.1. On dit quun corps K est algebriquement clos si tout polynome non
constant de K[X] est scinde sur K.
Exercice 3.13.2. Soit P C[X] non constant. Supposons P(z) non nul pour tout z C.
Montrer que 1/P est borne sur C. En utilisant le theorème de Liouville
(23)
sur les fonctions
holomorphes, conclure que C est algebriquement clos.
Denition 3.13.3. On dit quun corps K est une cloture algebrique du sous-corps k si K est
algebrique sur k et si tout polynome de k[X] est scinde dans K.
Avec cette denition, si est algebriquement clos et contient k, lensemble des elements de qui
sont algebriques sur k est dune part un corps (3.12.6) et dautre part est une cloture algebrique
de k.
Avant de montrer quune cloture algebrique existe toujours, montrons le lemme rassurant suivant.
22. 1862-1943
23. 1809-1882, ancien elève de lX
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 27
Joseph Liouville
Lemme 3.13.4. Une cloture algebrique

k de k est algebriquement close.
Demonstration. Soit P

k[X] non constant. Il sut de montrer quil a une racine dans

k. Le
corps L engendre par les coecients de P est de dimension nie sur k, puisquil sont algebriques
sur k. Ainsi, la k-algèbre A = L[X]/(P) est de dimension nie sur k, à savoir deg(P) dim
k
(L) (base
telescopique). Le morphisme k[T] A devaluation en la classe x de X dans A nest donc pas
injectif puisque dim
k
(k[T]) = . Soit donc Q k[T] 0 annulant x, autrement dit P[Q et en
particulier Q non constant (car deg(P) > 0). Mais Q, etant ` a coecients dans k, est scinde sur

k,
et il en est de meme de P qui le divise.
Exemple 3.13.5. Le sous-corps

Q de C des elements algebriques sur Q est donc algebriquement
clos. Mais

Q nest pas egal à C (exercice) !
Theorème 3.13.6 (Steinitz
(24)
). Tout corps k admet une cloture algebrique, unique à k-
isomorphisme près.
Ernst Steinitz
Notons que lisomorphisme dont le theorème arme lexistence est loin detre unique comme on
le verra : on peut meme prouver quun corps algebriquement clos admet une innite dautomor-
phismes. On va prouver dabord lexistence, puis lunicite qui decoule du fondamental theorème
24. 1871-1928
28 YVES LASZLO
de prolongement des morphismes. On invite dailleurs le lecteur ` a passer cette preuve dexistence
non pas car elle est dicile mais car elle napporte pas grand-chose.
3.14. Preuve de lexistence de la cl oture algebrique. Une fois encore, on va quotienter ! Construisons dej` a une
gigantesque algèbre A dans laquelle tout polyn ome a une racine. On note c(P) le coecient dominant de tout polyn ome non
nul. Le plus simple est de considerer lalgèbre de polyn omes à beaucoup dindeterminees
A = k[X
P,i
], P k[X] 0, i = 1, , deg(P).
On note alors (i, P), i = 0, , deg(P) les coecients du polyn ome en X
P(X) c(P)
deg(P)
i=1
(XX
P,i
), P k[X] k
et I lideal engendre par les (i, P), i = 0, , deg(P) o` u P decrit k[X] k.
Notons que si P est constant (non nul), on a (0, P) = 0.
Je dis quon a I = A. Sinon, on aurait une ecriture
j,P
Q
P,i
j
(i
j
, P) = 1 avec Q
P,i
j
A.
Les coecients (0, P) des polyn omes constants etant nuls, seuls contribuent dans cette somme des polyn omes de degre > 0.
Choisissons une extension de corps K/k tels que le nombre ni de ces polynomes P non constants soient scindes de racines
x
P,i
, i = 1, , deg(P) (3.12.10). Soit : A K le morphisme de k-algèbres envoyant les X
P,i
correspondants sur x
P,i
et
les autres indeterminees sur 0 par exemple. Bien entendu induit un morphisme A[X] K[X] qui envoie les polyn omes
correspondants
P(X) c(P)
deg(P)
i=1
(XX
P,i
)
sur
P(X) c(P)
deg(P)
i=1
(Xx
P,i
) = 0
par construction de sorte que
((i, P)) = 0 pour tout i.
On en deduit que 0 = 1 dans K, ce qui nest pas.
Soit alors J un ideal maximal de A contenant I et L le corps A/J. Par construction, tout polynome P non constant est
scinde dans L, ses racines etant les images de X
P,i
. En particulier, toutes ses racines sont algebriques sur k. Comme elles
engendrent L comme k-algèbre, on a bien L algebrique sur k.
3.15. Preuve de lunicite de la cl oture algebrique. Pour lunicite, montrons lenonce
suivant.
Theorème 3.15.1 (Prolongement des morphismes). Soient K, deux extensions de k
et supposons K algebrique et algebriquement clos. Alors, il existe un plongement (de k-algèbres)
K .
Demonstration. Soit E lensemble (non vide) des couples (L, ) o` u L est un sous-corps de K
contenant k et un k-plongement
: L
faisant de une L-algèbre. Le prolongement des plongements denit une relation dordre sur E qui
en fait visiblement un ensemble inductif. Soit alors (L, ) un element maximal. Montrons L = K.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 29
Soit x K. Comme x algebrique sur k il lest sur L. Soit P(X) =
a
i
X
i
le minimal de x sur L de
sorte que levaluation en x identie L[X]/(P) et L[x]. Soit y une racine de P
(X) =
(a
i
)X
i
dans
. Il existe un unique L-morphisme L[X]/P qui envoie X sur y car limage de P dans est
par denition P
(y) = 0 (3.12.5), do` u un k-morphisme L[x] prolongeant . Par maximalite

de L, on deduit x L.
Remarque 3.15.2. permet didentier L à (L). Dorenavant, on le fera directement, sans
distinguer entre L et (L) (cf. 3.2). Notons egalement que si K est une extension nie, alors la
notion de dimension permet de montrer lexistence de L sans recours au lemme de Zorn.
Corollaire 3.15.3. Deux clotures algebriques K
1
, K
2
de k sont k-isomorphes.
Demonstration. Considerant K
1
comme algebrique et K
2
comme algebriquement clos, le theorème
de prolongement 3.15.1 assure quil existe un plongement de K
1
dans K
2
. Avec les notations
precedentes, le choix dun tel plongement de K
1
dans K
2
permet de voir K
1
comme un sous-corps
de K
2
. Faisant alors jouer les roles de (k, K, ) ` a (K
1
, K
2
, K
1
) (ce qui est possible !), on deduit
lexistence de Hom
K
1
(K
2
, K
1
), autrement dit dun diagramme commutatif
K
2
//
K
1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K
1
OO
Comme est un morphisme de corps, est injectif. Legalite = Id assure sa surjectivite :
et sont inverses lun de lautre.
Corollaire 3.15.4. Soit K/k, /k deux extensions de k avec K/k algebrique et
algebriquement clos. Alors, les conjugues dans de x K sont les (x), Hom
k
(K, ).
Demonstration. Si y est un conjugue de x, il existe Hom
k
(k[x], ) tel que (x) = y
(3.12.5). Reste à prolonger ` a K tout entier, ce qui est possible (3.15.1). Inversement,
Hom
k
(K, ) laisse invariant le minimal de x sur k. Il permute donc ses racines, qui sont les
conjugues de x par denition (3.12.5).
3.16. Corps des racines (ou de decomposition). Soit k un sous-corps de algebriquement
clos. Soit P un polyn ome de k[X], non necessairement irreductible. Le corps des racines de P est
le sous-corps de engendre par les racines de P dans . Cest le plus petit sous-corps de dans
lequel P est scinde. Bien s ur, il est contenu dans la cloture algebrique de k dans , sous-ensemble
des algebriques sur k. On en deduit quil ne depend pas de , ` a isomorphisme non unique près
(3.15.3). On lappelle le corps des racines ou de decomposition de P. La philosophie est
quon xe une cl oture algebrique dans laquelle on travaille. Ceci permet de parler du corps des
racines. Par exemple, on sinteressera aux sous-corps de C algebriques sur Q.
30 YVES LASZLO
3.17. Le morphisme de Frobenius. Soit p un nombre premier et A un anneau annule par
p, à savoir pa = 0 pour tout a A.
Montrons que A admet toujours un endomorphisme non trivial. Ceci est non banal :
Exercice 3.17.1. Soit f un endomorphisme danneau de R. Montrer que la restriction de f
à Q est lidentite. Montrer que f preserve R
+
(etudier limage dun carre). En deduire que f est
croissante puis que f est lidentite.
Precisement, montrons le theorème à la fois facile et important suivant.
Theorème 3.17.2 (Morphisme de Frobenius
(25)
). Lapplication F : a a
p
denit un
endomorphisme de lanneau A.
Demonstration. Visiblement, F respecte le produit et F(1) = 1. Montrons que F respecte la
somme. Daprès la formule du bin ome de Newton, on a
F(a + b) =
p
n=0
p
n
a
n
b
pn
= F(a) +
p1
n=1
p
n
a
n
b
pn
+ F(b).
Comme A est de caracteristique p, si m Z est multiple de p, on a mA = 0. Il sut donc de
prouver le lemme bien connu suivant.
Lemme 3.17.3. Soit n tel que 0 < n < p. Alors, le coecient binomial
p
n
est divisible par

p.
Demonstration. Comme n! = n(n 1) 1 est produit dentiers distincts de p premier (car
n < p), il est premier à p. Daprès le lemme de Gauss, il sut de prouver que
n!
p
n
= p(p 1) (p n + 1)
(n facteurs) est divisible par p, ce qui est visiblement le cas car n > 0.
Georg Ferdinand Frobenius
25. 1848-1917
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 31
4. Corps nis
Soit k un corps ni. Il est necessairement de caracteristique p > 0 car sinon il contiendrait Q qui
est inni. Il contient donc F
p
= Z/pZ (3.4.4).
4.1. Existence et unicite des corps nis. .

Etudions le cardinal de k.
Lemme 4.1.1. Le cardinal dun corps ni est de la forme q = p
n
o` u p est la caracteristique
de k.
Demonstration. Comme k est ni, il certainement de dimension nie n comme espace vectoriel
sur F
p
. Le choix dune base denit un F
p
-isomorphisme despaces vectoriels F
n
p
k. Comme F
n
p
est de cardinal p
n
, le lemme est prouve.
Soit un corps algebriquement clos contenant F
p
(3.13.6). Comme k est ni, il est algebrique sur
F
p
. Daprès 3.15.1, k se plonge dans . On suppose donc desormais que k est contenu dans .
Comme k
est dordre q 1, on a x
q1
= 1 pour tout x = 0 daprès le theorème de Lagrange
(Annexe D du cours de tronc commun) et donc x
q
= x pour tout x k. Comme le polyn ome
X
q
X admet au plus card k = q racines, on deduit que k est necessairement lensemble des racines
de X
q
X. Ceci motive la construction suivante.
Lemme 4.1.2. On note F
q
l ensemble des racines dans de X
q
X. Alors F
q
est lunique
sous-corps de à q elements.
Demonstration. Notons F le Frobenius x x
p
de . Rappelons que cest un morphisme
danneaux, et donc litere F
n
egalement. On a donc (x+y)
q
= F
n
(x+y) = F
n
(x)+F
n
(y) = x
q
+y
q
qui prouve la stabilite par somme de F
q
. La stabilite par produits, inverse et oppose est evidente.
Ainsi, F
q
est un sous-corps. Reste le cardinal. Il faut voir que les racines sont simples. Si lune
delles etait double au moins, elle annulerait (X
q
X)
= 1, ce qui nest pas. Lunicite a ete

vue au debut de la discussion au debut de 4 : un tel corps est lensemble des racines de X
q
X
necessairement.
Exercice 4.1.3. Montrer que F
p
n est contenu dans F
p
m si et seulement si n[m. Montrer dans
ce cas que la dimension du gros sur le petit est m/n. En deduire que la cloture algebrique

F
p
de
F
p
dans est la reunion croissante des F
p
n! .
Notons qua fortiori, F
q
est le corps de decomposition de X
q
X sur F
p
(dans ). On parlera donc
du corps ni F
q
(on sous-entend en general quun corps algebriquement clos de caracteristique p
a ete choisi).
Exercice 4.1.4. Montrer que deux corps nis sont isomorphes si et seulement si ils ont meme
cardinal.
32 YVES LASZLO
4.2. Automorphismes des corps nis. On utilisera sans plus de precaution le resultat
classique suivant (cf. PC)
Proposition 4.2.1. Soit k un corps. Tout sous-groupe ni de k
est cyclique.
Remarque 4.2.2. Si on connat la structure des groupes abeliens nis, ce resultat est evident.
En eet, on sait alors que k
est isomorphe à un produit

=
d
i=1
Z/n
i
Z
avec 1 < n
1
[ [n
d
(attention, la loi sur k
est multiplicative, alors quà droite la loi est additive,

neutre 0). Or, dans un corps, le nombre de solutions de X
n
1
= 1 est au plus n
1
. Dans , elles
correspondent aux solutions de lequation n
1
= 0. Si d > 1, il y en a au moins 2n
1
, à savoir les
elements de Z/n
1
Z et ceux de n
2
/n
1
Z/n
2
Z

Z/n
1
Z.

Evidemment, on ecrase ainsi une mouche
avec un marteau-pilon.
Soit q = p
n
la puissance dun nombre premier et m un entier > 0. On note F
q
: F
q
m F
q
m litere
F
n
du Frobenius : F
q
(x) = x
q
pour x F
q
n. Cest un morphisme de corps, qui vaut lidentite sur
F
q
(ensemble des racines de X
q
X).
Theorème 4.2.3. Le groupe Aut
F
q
(F
q
m) est cyclique dordre m engendre par F
q
.
Demonstration. Soit x un generateur du groupe cyclique F
q
m. Comme [F
q
m : F
q
] = [F
q
[x] :
F
q
] = m, le minimal P de x sur F
q
est degre m. Un morphisme G = Aut
F
q
(F
q
m) laisse
invariant P de sorte que (x) est une racine de P, qui en a au plus m dans k. Comme x engendre
F
q
m, le morphisme est determine par (x) de sorte que card(G) m. Par ailleurs, F
q
est
dordre m. Sinon, il existerait 0 < d < m tel que F
d
= Id, et donc x
q
d
= x contredisant que x
dordre q
m
1. Or, F
q
est bien automorphisme, puisque cest une application injective (comme
tout morphisme de corps) entre ensembles nis de meme cardinal.
Exercice 4.2.4 (Dicile). Soit M GL
n
(F
q
), vu comme une bijection de (F
q
)
n
. Quelle est
sa signature [Distinguer le cas q pair ou impair] ? Montrer que le polynome minimal de F
q
vu
comme endomorphisme du F
q
-espace vectoriel F
q
n est X
n
1 [Prouver que des homomorphismes
distincts dun groupe G dans le groupe multiplicatif k
dun corps k sont lineairement independants,

vus comme fonctions de G dans k]. Quelle est sa signature ?
Exercice 4.2.5. Montrer quil existe des polynomes irreductibles sur F
q
de tout degre > 0.
Montrer quun tel P divise X
q
n
X. Montrer que le corps de rupture de P est son corps de
decomposition.
Les sections suivantes -celles en petit caractère-, sont interessantes mais inutiles formellement pour
la suite.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 33
4.3. Une application du lemme chinois : lalgorithme de Berlekamp. Nous allons donner un algorithme, quon
peut implanter sur un ordinateur, permettant de factoriser un polyn ome P de F
p
[X] en facteurs irreductibles (on note F
p
le
corps Z/pZ), ou au moins de reconnatre sil est irreductible ou pas.
On se donne donc p premier et P F
p
[X] non constant, unitaire. Rappelons (petit theorème de Fermat
(26)
ou theorème de
Lagrange
(27)
que si p ne divise pas n Z, on a la congruence n
p1
1 mod p. On deduit legalite
x
p
= x pour tout x F
p
.
Pierre de Fermat
a) O` u lon se ramène ` a P sans facteur carre. Si P est divisible par un carre Q
2
de degre > 0, le degre du PGCD(P, P
) est
au moins deg(Q) et donc est strictement positif. Si cest deg(P), cest que P
est nul, autrement dit P secrit
a
p
ip
X
ip
= R
avec R = (
a
ip
X
i
)
p
F
p
[X], (cf. la preuve de 5.1.5 infra). On applique à nouveau lalgorithme ` a R. Sinon, S = PGCD(P, P
)
est un diviseur non trivial de P et on applique lalgorithme ` a S et P/S qui sont de degre plus petits.
On peut supposer, ce quon fait desormais, que P est sans facteur carre.
b) Points xes du Frobenius.

Ecrivons
P =
m
i=1
P
i
avec n
i
> 0 et P
i
unitaires irreductibles deux à deux distincts. Comme P
i
et P
j
sont premiers entre eux pour i = j, la somme
des ideaux quils engendrent est tout F
p
[X]. Le lemme Chinois assure que le morphisme dalgèbres (de caracteristique p)
canonique
: A = F
p
[X]/(P) F
p
[X]/(P
i
)
est un isomorphisme dalgèbres.
Soit F le morphisme de Frobenius de A (on note de meme celui de A
i
= F
p
[X]/(P
i
)). Comme F
p
[X] est principal et P
i
irreductible, chaque A
i
est un corps ni (3.5.3) de sorte quon a A
F
i
= F
p
(4.1.2). La formule
(a
p
) = (a)
p
= (a
p
i
mod P
i
)
assure que limage de A
F
= Ker(F Id) par est egale ` a F
m
p
= F
p
. En particulier, on a
dim
F
p
A
F
= m.
26.
27. 1601 ( ?)-1655
34 YVES LASZLO
Ainsi, P est irreductible si et seulement si A
F
= F
p
. Notons que le calcul de cette dimension est parfaitement algorithmique :
on calcule la matrice de F dans la base des classes des X
i
, i = 0, , d 1 (ce qui se fait en divisant X
ip
par P) puis on
calcule le rang de F Id par pivot de Gauss).
On a donc un critère algorithmique pour determiner si P est irreductible, quon peut resumer de la fa con suivante : P sans
facteur carre est irreductible si et seulement si la matrice de F Id est de rang deg(P) 1, rang quon calcule
avec le pivot de Gauss par exemple.
c) Factorisation de P. Allons plus loin, dans de le cas dimA
F
> 1. Dans ce cas, il existe a A qui nest pas dans
notre droite F
p
des polyn omes constants. Autrement dit, il existe Q de degre 0 < deg(Q) < deg(P) tel que

Q A
F
, ie
P|Q
p
Q = F(Q) Q. De la factorisation
X
p
X =
iF
p
(Xi),
on tire
Q
p
Q =
p1
i=0
(Qi)
et donc
P|
iF
p
(Qi).
Notons que si i = j dans F
p
, lidentite
1/(j i)((Qi) (Qj)) = 1
assure PGCD(Qi, Qj) = 1.
Ainsi, chaque facteur P
j
de P divise exactement un des facteurs Qi de sorte que
P =
iF
p
PGCD((Qi), P).
Maintenant, chaque polyn ome PGCD((Qi), P) (qui se calcule gr ace ` a lalgorithme de Bezout) est de degre < deg(P) par
construction et on recommence le processus pour chaque polynome PGCD((Qi), P). Ce processus sarrete en un nombre
ni detapes. Ce processus est algorithmique, mais pas très ecace. En eet, imaginons par exemple que P soit de degre
1000 et p de lordre de 10
6
. La probabilite que PGCD((Qi), P) soit dierent de 1 est de lordre de 1/1000 et on voit donc
que ce produit ` a 10
6
termes a très peu de facteurs non triviaux. En fait, dans la pratique, on adapte cet algorithme qui
devient probabiliste (cf. le cours de Mestre pour ceux que ca interesse).
Un excellent exercice est de programmer cet algorithme avec un logiciel de calcul formel. Un autre excellent exercice est
devaluer le nombre doperations necessaire : en eet, comme le nombre de polyn omes de degre donne dans F
p
[X] est ni, on
aurait pu eectuer tous les produits de deux polyn omes et comparer avec P ce qui donne un algorithme de factorisation. Mais,
dès que le degre est grand, le nombre doperations est enorme et fait exploser nimporte quelle machine. En revanche, pour
les petits p, d, il est ecace. Quoi quil en soit, lalgorithme de Berlekamp, relativement ecace en general, est theoriquement
interessant.
Remarque 4.3.1. Le lecteur generalisera lalgorithme en remplacant F
p
par F
p
n simplement en remplacant F par le
compose F
p
n = F
n
.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 35
5. Corps parfaits
On a vu dans la preuve de 4.2.3 que le Frobenius dun corps ni k = F
q
, q = p
n
etait surjectif,
autrement dit, tout element de F
q
est une puissance p-ième. Ce nest pas toujours le cas. Par
exemple, si k = Frac(F
p
[t]) est le corps des fractions de F
p
[t], lelement t nest pas une puissance
p-ième (pour des raisons de degre).
5.1. Extensions de corps parfaits. Commencons par denir la notion.
Denition 5.1.1. On dit quun corps k est parfait si sa caracteristique est nulle ou sil est
de caracteristique p > 0 et son Frobenius est surjectif (donc un isomorphisme).
Par exemple, tout corps algebriquement clos de caracteristique positive est parfait. Il nest pas
vrai quun sous-corps dun corps parfait soit parfait (penser ` a la cl oture algebrique dun corps
imparfait par exemple) ni quune extension dun corps parfait soit parfait (penser ` a Frac(F
p
[t])
Frac(F
p
[t])). En revanche, on a lenonce important suivant.
Proposition 5.1.2. Soit K/k une extension nie. Alors si k est parfait, K lest aussi
(28)
.
Demonstration. La question ne pose problème quen caracteristique p > 0. Soit F le Frobenius
de K, qui est bijectif sur k par hypothèse (k est parfait) et donc y admet un inverse F
1
. Alors,
F(K) est visiblement un F(k)-sous-espace vectoriel de K, donc un k-sous-espace vectoriel puisque
F(k) = k. De meme, si les x
i
K sont libres sur k, les F(x
i
) sont libres sur k dans F(K) (si
a
i
F(x
i
) = 0 avec a
i
k alors F(
F
1
(a
i
)x
i
) = 0 et donc
F
1
(a
i
)x
i
= 0 ce qui entrane
F
1
(a
i
) = 0 pour tout i (la famille x
i
est libre) et donc a
i
= 0). On deduit en prenant une base
linegalite [K : k] [F(K) : k] puis linegalite inverse car F(K) K do` u K = F(K).
Linteret des corps parfaits vient du resultat fondamental suivant. Soit k un corps et algebriquement
clos le contenant.
Denition 5.1.3. Un polynome unitaire est dit separable si ses racines dans sont simples.
Rappelons le lemme bien connu.
Lemme 5.1.4. Un polynome est separable si et seulement si il est premier avec sa derivee.
Demonstration. Supposons P separable.

Ecrivons
P = a
iI
(X z
i
), a k
, z
i

o` u les z
i
sont distincts deux ` a deux. On deduit donc
PGCD(P, P
) =
iI
(X z
i
) o` u I
I.
28. La reciproque est vraie, meme si moins utile : voir la section suivante.
36 YVES LASZLO
Supposons I
= et choisissons i
. On a donc P(z
i
) = 0. Or,
P
= a
iI
j=i
(X z
j
)
de sorte que
j=i
(z
i
z
j
) = 0
ce qui est absurde car les z
i
sont distincts deux ` a deux.
Inversement, si P, P
sont premiers entre eux, lidentite de Bezout assure que P, P
nont pas de
racines communes dans et donc que les racines de P ,dans sont simples.
Theorème 5.1.5. Un corps k est parfait si et seulement tout polynome irreductible de k[X]
est separable.
Demonstration. Supposons k parfait et soit P un polyn ome irreductible de k[X] (en particulier
non constant). Montrons que P est premier avec P
. Comme P est irreductible, le PGCD de P et

P
est 1 ou P. Montrons par labsurde que cest 1. Si cest P, pour des raisons de degre, cest que
P
est le polyn ome nul. Ceci impose dej` a que la caracteristique de k est p > 0. En ecrivant
P =
a
n
X
n
et P
na
n
X
n1
on en deduit que na
n
= 0 pour tout n et donc a
n
= 0 si p ne divise pas n. Ainsi, on a
P =
n
a
np
X
np
.
Comme k est parfait, le Frobenius F est bijectif et on a donc
P =
n
F
1
(a
p
np
)X
np
= (
n
F
1
(a
np
)X
n
)
p
puisque k[X] est tue par p, ce qui est absurde car P est irreductible.
Inversement, supposons que tout polynome irreductible de k[X] est separable. On peut supposer k
de caracteristique p > 0 et montrons que tout element t a une racine p-ième. En eet, dans le cas
contraire, le polynome minimal P sur k dune racine p-ième t
1/p
de t dans est irreductible (3.12.3)
de degre > 1 (t
1/p
k par hypothèse) et divise X
p
t. Dans [X], ce polynome secrit (Xt
1/p
)
p
et donc na quune racine (de multiplicite p) de sorte que P = (X t
1/p
)
i
avec 2 i p. On en
deduit que P nest pas separable, une contradiction (voir la section suivante pour lirreductibilite
de X
p
t).
5.2. Racines p-ièmes. Soit k un sous corps de , algebriquement clos de caracteristique p > 0. Comme le Frobenius
de est bijectif puisque est parfait, la racine p-ième x
1/p
= F
1
(x) de tout element de est bien denie et de meme
pour les racines p
n
-ièmes.
Lemme 5.2.1. Soit t k qui nest pas une racine p-ième dans k. alors, pour tout n 1, le polynome X
p
n
t est
irreductible dans k[X]. Autrement dit, on a deg
k
(x
1/p
n
) = p
n
.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 37
Demonstration. Soit la racine p
n
-ième de t. On sait que k puisqque par hypothèse t
1/p
=
p
n1
k. Soit P le
minimal de sur k : cest un polyn ome irreductible (3.12.3) de k[X] qui divise Q = X
p
n
t puisque Q() = 0. Utilisant une
decomposition de Q en facteurs irreductibles dans k[X], on peut-ecrire :
Q = P
m
R avec R k[X] et PGCD(P, R) = 1.
Daprès lidentite de Bezout, P et R nont pas de racine commune dans . Or, dans [X], on a Q(X) = (X )
p
n
de sorte
que R na pas de racine du tout et donc Q = P
m
. Comparant les degres, on obtient m = p
, 0 n. En evaluant en 0,
on a alors
Q(0) = t = (P(0))
p
.
Comme t nest pas une puissance p-ième dans k, on a donc = 0 et donc Q = P est irreductible.
On obtient alors la reciproque de 5.1.2.
Corollaire 5.2.2. Soit K/k une extension nie. Si K est parfait, alors k est parfait.
Demonstration. En eet, si t k nest pas une puissance p-ième, t
p
n
K est de degre p
n
sur k qui tend vers linni
avec n.
38 YVES LASZLO
6. La correspondance de Galois (pour les corps parfaits)
On xe dans cette partie un corps parfait k et un corps algebriquement clos le contenant. On
a en tete lexemple Q C, mais aussi F
q

F
p
. On se rappellera que tout polyn ome irreductible
P de k[X] est separable (et donc a deg(P) racines distinctes dans ) et que toute extension nie
de k est parfaite (5.1.2).
Si x est algebrique sur k, on dira simplement conjugues de x pour conjugues de x dans ,
cest-` a-dire que les conjugues de x sont par denition les racines dans du minimal P de x sur
k. Comme P est irreductible, ses racines sont simples. Mais on sait egalement que lapplication
(x) identie Hom
k
(k[x], ) et lensemble des conjugues de x. On a donc la formule clef
(6.a) P =
Hom
k
(k[x],)
(X (x)).
On sinteresse aux extensions algebriques K/k, et en fait aux extensions nies. Daprès le theorème
de prolongements des morphismes (3.15.1), on sait que K se plonge (au dessus de k) dans , de
sorte quil sut de considerer les extensions algebriques de k contenues dans ce quon pourra
toujours supposer sans dommage.
6.1. Le theorème de lelement primitif. On dit quune extension de corps est monogène
si elle peut-etre engendree par un seul element.
Theorème 6.1.1 (
Element primitif ). Toute extension nie K/k est monogène.

Un generateur de lextension sappelle un element primitif.
Demonstration. Si k est ni, K lest aussi et K
est cyclique (4.2.1), engendre par x disons. On

a alors K = k[x] (on peut aussi compter les elements pour eviter demployer 4.2.1...). Supposons
donc k inni. Par recurrence, on se ramène immediatement à prouver que si x, y sont des elements
de k, il existe z tel que
k[z] = k[x, y].
On cherche z sous la forme z = x+ty, t k
. Posons L = k[z]. Il sut de prouver x L, car alors

y = (z x)/t L. Soient P
x
, P
y
k[X] les minimaux de x, y sur k. Le polyn ome
Q(X) = P
y
((z X)/t)
est à coecients dans L et annule x par construction. Soit
R = PGCD(Q, P
x
) L[X].
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 39
Lalgorithme dEuclide prouve que le calcul de PGCD est invariant par changement de corps. On
peut faire par exemple ce calcul dans . Comme P
x
est à racines simples, on a
R(X) =
tels que
Q(x
)=P
x
(x
)=0
(X x
).
Si on ecrit P
y
=
(X y
), les racines de Q secrivent

z ty
= x + t(y y
).
Lensemble
x
[Q(x
) = P
x
(x
) = 0
est donc reduit ` a x dès quon a choisi t = 0 en dehors du nombre ni de t tels quil existe y
= y
et x
veriant
x
= x + t(y y
) ie t =
x
x
y y
.
On en deduit quun tel t etant choisi on a R = X x. Comme R L[X], on a x L.
Exercice 6.1.2. Si k netait pas suppose parfait, le resultat peut tomber en defaut. Par exemple,
soit L = F
p
(X, Y) le corps des fractions de lanneau de polynomes F
p
[X, Y]. Montrer que lexten-
sion L(X
1/p
, Y
1/p
) est nie, mais nest pas monogène.
Par exemple, on se convainc facilement que
2 +
3 est un element primitif de Q(
2,
3) alors
que
2 ne lest pas. En general, un element

pris au hasard

dune extension nie est primitif
(le lecteur pourra essayer de donner un sens precis ` a cette assertion non mathematique).
Exercice 6.1.3. On note
n
= exp(
2i
n
). Montrer quon a Q(
n
,
m
) = Q(
PPCM(n,m)
). Voir la
section 7 pour des resultats plus precis.
On obtient la generalisation fondamentale suivante de 3.12.5.
Corollaire 6.1.4. Soit K une extension nie de k. Alors, on a card
k
Hom(K, ) = [K, k].
Demonstration. On ecrit K = k[x] pour x convenable et on invoque 3.12.5.
Remarque 6.1.5. Si k nest pas parfait, legalite est fausse en general : elle nest vraie que
pour les extensions dites separables de la theorie de Galois generale. Lorsque que k est parfait,
toutes les extensions sont separables de sorte que nous ne serons pas ennuyes par cette complica-
tion.
40 YVES LASZLO
6.2. Extensions galoisiennes. Soit K/k une extension algebrique contenue dans . Rap-
pelons (3.12.5) que les conjugues de x K sont les racines (dans ) du polyn ome minimal de x
sur k.
Denition 6.2.1. Lextension K/k est dite galoisienne si elle est algebrique et si les conjugues
dun element arbitraire de K sont encore dans K.
On a la proposition facile mais importante suivante.
Proposition 6.2.2. Soit E/k une sous-extension de K/k galoisienne et supposons E par-
fait
(29)
. Alors, K/E est galoisienne.
Demonstration. En eet, le minimal de x K sur k est a fortiori ` a coecients dans E donc x
est aussi algebrique sur E et son minimal sur k divisible par le minimal de x sur E. Donc, tous les
E-conjugues de x sont aussi des k-conjugues, donc sont dans K par hypothèse.
Exercice 6.2.3. Avec les notations precedentes, montrer quen general K/k nest pas galoi-
sienne [Regarder attentivement lexemple Q Q[2
1/3
] Q[2
1/3
, j] (cf. PC)].
On verra plus bas (6.7.1) une condition necessaire et susante assurant que E/k est galoisienne.
Rappelons (3.15.4) que les conjugues de x K sont aussi les (x), Hom
k
(K, ). Notons
j : K linclusion de K dans . On a une application injective canonique
j
: Aut
k
(K) Hom
k
(K, )
qui à un automorphisme Aut
k
(K, ) associe
= j : K

K
j
qui permet didentier et (et donc Aut

k
(K) à un sous-ensemble de Hom
k
(K, )).
Lemme 6.2.4. Soit K/k une extension algebrique et Hom
k
(K, ). Alors, Aut
k
(K),
ie (K) = K, si et seulement si laisse K globalement invariant, ie (K) K.
Demonstration. En eet, supposons (K) K. Soient x
1
, , x
n
les n conjugues de x
1

K, qui sont dans K par hypothèse. Alors, laisse X = x
1
, , x
n
globalement invariant par
hypothèse (puisque (x
i
) est un conjugue de x
i
(3.15.4), donc de x
1
car x
i
et x
1
ont meme polynome
minimal).

Etant injective comme restriction dun morphisme de corps toujours injectif, elle induit
une bijection de X (puisque X est ni) de sorte quil existe x
i
X tel que x
1
= (x
i
). Comme
x
i
K par hypothèse, est surjective.
On obtient alors le resultat important suivant.
Corollaire 6.2.5. Linclusion Aut
k
(K) Hom
k
(K, ) est bijective si et seulement si K/k
galoisienne.
29. Cette condition est automatique dès lors que E est nie sur k (5.1.2). Elle nest ici que parce quon a deni
la notion dextension galoisienne que dans le cas o` u le corps est parfait. Elle disparat dans le cadre general de la
theorie de Galois.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 41
Demonstration. Supposons Aut
k
(K) = Hom
k
(K, ). Daprès 3.15.4, tout conjugue de x K
secrit (x) pour Hom
k
(K, ). Mais Aut
k
(K) donc (x) K prouvant K/k galoisienne.
Inversement, supposons K/k galoisienne. Soit Hom
k
(K, ) et x K. Alors, (x) est un
conjugue de x (3.15.4), donc est dans K. Comme x est arbitraire, on a (x) K. Ainsi (K) K
et donc Aut
k
(K) (6.2.4).
Remarque 6.2.6. Cette denition ne depend en fait que de K/k et pas de : en eet, les
conjugues dun element algebrique vivent dans la cloture algebrique de k dans , qui est unique à
isomorphisme près.
Denition 6.2.7. On appelle groupe de Galois dune extension galoisienne K/k le groupe
Gal(K/k) = Aut
k
(K)
6.2.5
= Hom
k
(K, ).
Remarque 6.2.8. Comme les conjugues de x K sont les (x), Hom
k
(K, ) (3.15.4), si
K/k est galoisienne de groupe G, les conjugues de x sont les g(x), g G.
Le point suivant est aise, mais important.
Proposition 6.2.9. Soit E/k une sous-extension de lextension galoisienne K/k avec E par-
fait. Alors,
i) Gal(K/E) est un sous-groupe de Gal(K/k) ;
ii) Si E/k est galoisienne, la restriction des morphismes de K à E induit (6.2.5) un morphisme
Gal(K/k) Gal(E/k)
qui est surjectif. Son noyau est Gal(K/E).
Demonstration. On sait (6.2.2) que K/E est galoisienne. Les elements de Gal(K/E) sont les
automorphismes de K qui sont E-lineaires tandis que ceux de Gal(K/k) sont les automorphismes
de K qui sont k-lineaires. Comme E contient k, on deduit une inclusion evidente Gal(K/E)
Gal(K/k) respectant la composition (et lidentite), do` u le premier point.
Daprès 6.2.5, lapplication de restriction
Hom
k
(K, ) Hom
k
(E, )
sidentie ` a une application
Gal(K/k) Gal(E/k)
dont on verie que cest un morphisme. La surjectivite decoule immediatement du theorème de
prolongement des homomorphismes (3.15.1). Les elements du noyau sont par denition les auto-
morphismes de K xant E, donc les elements de Gal(E/k).
On precisera ceci dans la correspondance de Galois (6.7.1) pour le cas des extensions galoisiennes
nies.
42 YVES LASZLO
6.3. Caracterisations des extensions galoisiennes.
Theorème 6.3.1. Soit K/k une extension nie. Alors K/k est galoisienne si et seulement si
laction de Aut
k
(K) sur les conjugues de tout element de K est transitive.
Demonstration. Supposons K/k galoisienne et soit x K. Daprès 3.15.4, un conjugue y de x
secrit (x) pour Hom
k
(K, ) ; comme Aut
k
(K) = Hom
k
(K, ) (6.2.5), laction de Aut
k
(K)sur
les conjugues de x est bien transitive. Inversement, soit x primitif de K/k, donc de degre [K : k].
Il a donc deg
k
(x) = [K : k] conjugues et donc (transitivite), card Aut
k
(K) [K : k]. On invoque
alors à nouveau 6.2.5.
Theorème 6.3.2. Les extensions galoisiennes nies de k sont exactement les corps des ra-
cines (3.16) de polynomes.
Demonstration. Supposons K/k galoisienne. Daprès le theorème de lelement primitif, il existe
x engendrant K. Soient x
i
ses conjugues, à savoir les racines de son polyn ome minimal P, qui, par
hypothèse sont dans K. On a donc
K = k[x] k[x
i
] K
et donc, K = k[x
i
] est le corps des racines de P, ce quon voulait.
Inversement, si K = k[x
i
] o` u les x
i
sont les racines dun polyn ome P. Un homomorphisme
Hom
k
(K, ) permute les x
i
puisque P = P
. On en deduit quil envoie K = k[x

i
] sur lui meme de
sorte que Aut
k
(K). On invoque alors 6.2.4.
Exercice 6.3.3. Montrer quon Gal(C/R) = Z/2Z engendre par la conjugaison.
6.4. Groupe de Galois des corps nis. Soit q la puissance dun nombre premier. Rappe-
lons les resultats de 4.2, traduits dans ce nouveau vocabulaire :
Proposition 6.4.1. Lextension F
q
n/F
q
est galoisienne, de groupe de Galois cyclique dordre
n engendre par
F
q
: x x
q
.
Les sous-corps de F
q
n contenant F
q
sont les F
q
m avec m[n.
En particulier, on constate que les sous-extensions F
q
m/F
q
, m[n de F
q
n/F
q
sont en bijection avec
les sous-groupes H =< F
m/n
q
>

Z/mZ de Gal(F
q
n/F
q
)

Z/nZ et que, plus precisement, F
q
m
est le corps des elements xes par H. Ce phenomène est general : cest ce que nous allons expliquer
maintenant.
6.5. Points xes. Jusqu` a la n de la section 6, K/k designe une extension nie (avec comme
toujours K et algebriquement clos).
Proposition 6.5.1. Soit K/k galoisienne de groupe Galois G. Alors, G est de cardinal [K : k]
et lespace des points xes K
G
de K sous G est reduit à k.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 43
Demonstration. le premier point est prouve dans 6.2.5. Pour le second, soit x xe sous G. Ses
conjugues sont de la forme (x) avec G daprès 6.3.1, et donc sont egaux ` a x. Comme le
minimal P k[X] de x est separable car irreductible, il est donc egal ` a Xx et donc x = P(0)
k.
Inversement, prouvons lenonce fondamental suivant.
Theorème 6.5.2 (Lemme dArtin
(30)
). Soit K un corps parfait et G un sous-groupe ni
dautomorphismes de corps de K. Alors, K
G
est parfait et lextension K/K
G
est nie de groupe
de Galois G.
Demonstration. Verions que K
G
est parfait. Le problème ne se pose quen caracteristique
p > 0. Soit x K
G
. Comme K est parfait, il a une racine p-ième K. Comme x =
p
est
invariant par G, on a
p
= g(
p
) = g()
p
pour tout g G. Comme Frobenius est injectif, on en
deduit que est xe par G et donc K
G
de sorte que k = K
G
est parfait.
On a bien entendu G Aut
k
(K). Observons que tout element x de K est algebrique de degre
card Gx et donc de degre card G. En eet, le polyn ome
P
x
=
Gx
(X )
est invariant sous G donc est dans k[X] par denition de k = K
G
. Soit alors x K un element
de degre sur k maximal. Je dis quon a K = k[x]. Sinon, soit y Kk[x]. Lextension k[x, y] est
monogène (element primitif) engendree par un element z de degre > deg
k
(x), une contradiction.
On deduit que le degre [K : k] = deg
k
(x) de K est de degre card G sur k. Soit algebriquement
clos contenant K. On a alors (6.2.5)
card G card Aut
k
(K) card Hom
k
(K, ) = [K : k] card G.
On conclut gr ace à 6.2.5.
6.6. Parenthèse sur les groupes quotients. On pourra se reporter au chapitre 0 du
polycopie du cours de tronc commun. Soit H un sous-groupe de G. On voudrait mettre une
structure de groupe sur lensemble
G/H = gH, g G
des translates ` a droites
(31)
de H de sorte que la surjection canonique : G G/H qui envoie g sur
gH soit un morphisme de groupes, exactement comme dans le cas dun ideal dans un anneau
(32)
.
30. 1898-1962
31. Lensemble des translates à gauche Hg, g G se note H` G.
32. Le cardinal de G/H, ni ou non, sappelle lindice de H dans G.
44 YVES LASZLO
Emil Artin
On doit donc avoir
g
1
g
2
H = g
1
Hg
2
H pour tout g
1
, g
2
.
En particulier, pour g
1
g
2
= 1, on obtient que necessairement
H = g
1
Hg
1
1
.
Denition 6.6.1. Un sous-groupe H de G est dit distingue si gHg
1
= H pour tout g G.
On note H G.
Par exemple, si G est abelien, tout sous-groupe est distingue, le noyau de tout morphisme de
groupes est distingue. Mais, par exemple, le sous-groupe S
3
de S
4
nest pas distingue (exercice)
pas plus que GL
n
(R) dans GL
n
(C).
Une autre manière dexprimer la propriete H G est de dire gH = Hg pour tout g (et donc en
particulier G/H = H ` G (31)). On a alors
g
1
g
2
H = g
1
Hg
2
H pour tout g
1
, g
2
.
Ceci permet de denir, de manière unique, une structure de groupe sur G/H faisant
de un morphisme. On laisse au lecteur le soin denoncer et de prouver la propriete universelle
du quotient analogue ` a 3.3.2..
Denition 6.6.2. Soient f
i
: G
i
G
i+1
, i = 1, 2 deux morphismes de groupes. On dit que la
suite
G
1
f
1
G
2
f
2
G
3
est exacte si et seulement si Im(f
1
) = Ker(f
2
).
Le lecteur veriera que dire que lexactitude signie f
2
f
1
= 1 et Ker(f
2
) Im(f
1
). De plus,
lorsque G
1
, (resp. G
3
) est reduit au groupe trivial 1), lexactitude signie que f
1
est injective
(resp. f
2
surjective).
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 45
Lorsquon a une suite plus longue, lexactitude de la suite signie que les sous-suites ` a trois termes
consecutifs sont exactes.
Exercice 6.6.3. Montrer que la suite
1 G
1
f
1
G
2
f
2
G
3
1
si et seulement si f
3
identie G
3
au quotient de G
2
par G
1
f
1
(G
1
).
Exercice 6.6.4. Montrer que le noyau de est H. Montrer par exemple que le groupe
GL
n
(C)/SL
n
(C)
est isomorphe à C
.
6.7.

Enonce et preuve de la correspondance de Galois. On est en mesure de prouver
le theorème principal de la theorie de Galois.
Soit K/k une extension nie et galoisienne (contenue dans ) de groupe de Galois G. On
rappelle (6.2.5) quon a alors
G = Hom
k
(K, ).
Soit T la famille des sous-corps L de K contenant k, ordonnee par linclusion. Soit ( la famille de
sous-groupes de G, ordonnee par linclusion. Bien entendu (6.2.2), lextension K/L est galoisienne.
On peut enoncer le theorème principal.
46 YVES LASZLO
Theorème 6.7.1 (Correspondance de Galois)
i) Lapplication
f :
T (
L Gal(K/L)
est bijective, strictement decroissante, dinverse
g :
( T
H K
H
ii) Lextension K/K
H
est toujours galoisienne de groupe de Galois
H.
iii) Lapplication de restriction
r
H
: G = Hom
k
(K, ) Hom
k
(K
H
, )
identie lensemble quotient G/H à Hom
k
(K
H
, ).
iv) Lextension K
H
/k est galoisienne si et seulement si H est un
sous-groupe distingue de K. Dans ce cas, lidentication precedente
induit lisomorphisme
G/H

Gal(K
H
/k)
de 6.2.9.
v) En particulier, si L/k est galoisienne, on a une suite exacte (cf.
6.6.2) canonique
(6.7.a) 1 Gal(K/L) Gal(K/k) Gal(L/k) 1.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 47
Demonstration. On doit dabord verier quon a bien
g(f(L)) = g(Gal(K/L)) = K
Gal(K/L)
= L.
Mais comme K est galoisienne sur L de groupe de Galois H = Gal(L/K), on a bien K
H
= L
daprès 6.5.1.
Ensuite, on a
fg(H) = Gal(K/K
H
)
6.5.2
= H.
Les deux applications f et g sont bien inverses lune de lautre, et en particulier sont bijectives.
La decroissance est claire, son caractère strict decoulant de la bijectivite : on a prouve i).
Le point ii) est le lemme dArtin (6.5.2).
Prouvons le point iii). Soit H un sous-groupe de G et prouvons la surjectivite de r
H
. Tout k-
morphisme
H
Hom
k
(K
H
, ) se prolonge en Hom
k
(K, ) daprès le theorème de prolonge-
ment des homomorphismes (3.15.1). Comme K/k est galoisienne, on a (K) = K (6.2.4) ie G
de sorte que r
H
() =
H
: lapplication de restriction r
H
est surjective. Bien entendu, g et gh ont
meme image si h H de sorte quon a une surjection
H
: G/H Hom
k
(K
H
, ).
On a alors
card Hom
k
(K
H
, )
6.1.4
= [K
H
: k] = [K : k]/[K : K
H
] = card G/ card H = card G/H
de sorte que
H
est bijective.
Prouvons le point iv). Soit H un sous-groupe de G. Bien entendu g G envoie K
H
dans K
gHg
1
et donc g
1
envoie K
gHg
1
dans K
H
prouvant
g(K
H
) = K
gHg
1
.
Supposons K
H
/k galoisienne. On a alors
K
H
= g(K
H
) = K
gHg
1
et donc H = gHg
1
par injectivite de la correspondance de Galois et donc H G.
Inversement, si H G, on a
g(K
H
) = K
gHg
1
= K
H
et K
H
/K galoisienne.
48 YVES LASZLO
Exercice 6.7.2. Soit K/k galoisienne de groupes G et K
i
/k, i = 1, 2 deux sous extensions
denies par des sous-groupes G
1
, G
2
de sous-groupes de G. Montrer que K
1
K
2
correspond à G
1
G
2
tandis que K
1
K
2
correspond au sous-groupe de G engendre par G
1
et G
2
[
Ecrire ces exten-

sions comme des min, max et utiliser que la correspondance de Galois est bijective strictement
decroissante]. Montrer que le stabilisateur G
x
de x K dans G correspond au corps k[x] engendre
par x.
6.8. Groupe de Galois dun polyn ome. Soit P un polyn ome (non constant) à coecients
de k de racines x
1
, , x
n
(dans , que lon peut supposer unitaire).
Denition 6.8.1. On appelle groupe de Galois de P le groupe de Galois de son corps de
racines K = k[x
1
, , x
n
] (6.3.2).
On a le lemme suivant, faux si k nest pas parfait.
Lemme 6.8.2. Le polynome Q =
(X x
i
) est encore à coecients dans k.
Demonstration.

Ecrivons P =
P
n
j
j
o` u les P
i
sont irreductibles unitaires distincts deux ` a
deux. Comme chaque P
i
est à racines simples (5.1.5), on a Q =
P
j
.
Remarque 6.8.3. En considerant PGCD(P, P
), le lecteur trouvera un algorithme ecace

pour calculer Q sans le decomposer en facteurs irreductibles.
Quitte à remplacer P par Q, on peut donc supposer P separable. Ce groupe G ne depend
essentiellement que de P et pas de (cf. 3.15.1 par exemple).
Rappelons que, G laissant k invariant, on a la formule
(6.8.a) 0 = g(P(x
i
)) = P(g(x
i
)).
Comme P est ` a racine simple, il existe un unique indice
g
(i) tel que x
g
(i)
= g(x
i
). Comme g est
injective,
g
lest aussi et donc
g
S
n
. Trivialement, lapplication g
g
denit un morphisme
de groupes injectif
G S
n
,
o` u n = deg(P) (injectif simplement car les racines engendrent le corps de decomposition). En
termes dactions de groupes (Annexe D du polycopie de tronc commun), G agit dèlement sur les
racines de P.
Cest le point de vue fondateur de Galois et dAbel
(33)
qui voyaient les groupes de Galois comme
des sous-groupes de S
n
.
Remarque 6.8.4. Le lecteur se convaincra aisement que si on change de numerotation, on
conjugue simplement laction par lelement de S
n
decrivant le changement de numerotation.
Proposition 6.8.5. Le polynome P est irreductible si et seulement si laction est transitive.
33. 1802-1829
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 49
Niels Abel
Demonstration. Supposons P irreductible. Les x
i
sidentient aux k-homomorphismes de k[x
1
] =
k[X]/(P) dans (3.15.4), qui sidentient comme on la vu aux elements de G. Laction est
donc transitive dans ce cas (6.3.1). Inversement, supposons laction transitive et supposons
P = QR, Q, R k[X] avec deg(Q) > 0. La formule (6.8.a) appliquee à Q, R assure que G laissent
globalement invariant lensemble non vide des racines de Q. Comme laction de G sur les racines
de P est transitive, toutes les racines de P sont racines de Q et Q = P (on aurait aussi pu utiliser
la formule de lexercice 6.a).
Cette discussion explique limportance du groupe symetrique et de ses classes de conjugaison dans
la theorie. Rappelons sans demonstration quelques points connus.
6.9. Parenthèse sur le groupe symetrique. Soit n un entier 2 (le cas n = 1 na pas
dinteret). Le groupe symetrique S
n
= Bijections(X) agit ` a gauche sur X = 1, , n. Si S
n
,
on denit une relation dequivalence en disant que deux elements x, y X sont equivalents si il
existe j Z tel que y =
j
(x). Une classe dequivalence sappelle aussi une -orbite. Comme pour
toute relation dequivalence, X est reunion disjointes dorbites O
i
(). Soit
n
1
n
2
n
d
la suite (eventuellement vide) ordonnee des cardinaux des orbites non reduites ` a un element. On
a donc d = 0 si et seulement si = Id.
Denition 6.9.1. Le type de est le d-uple n = (n
1
, , n
d
). On dit que est un cycle (de
longueur n
1
) si d = 1 : on parle alors de d-cycle. Le support dun cycle est son unique orbite non
reduite à un element dont le cardinal est appele longueur du cycle.
On note, non uniquement, un cycle de longueur d > 1 sous la forme
= (x, (x), ,
d1
(x))
50 YVES LASZLO
o` u x est un element arbitraire dans lorbite non triviale de x. Par exemple, le cycle de longueur
3 note (3, 7, 5) xe tout element distinct de 3, 7, 5 et permute circulairement les autres elements
comme sur le dessin
3 7 5 3.
Deux cycles commutent si et seulement si leurs supports sont disjoints. Le produit de tels cycles
est donc bien deni, lordre nintervenant pas. On a alors la propriete suivante.
Proposition 6.9.2. Toute permutation secrit de facon unique comme produit
(eventuellement vide) de cycles à supports disjoints.
Les cycles de longueur 2 sappellent les transpositions. Elles engendrent S
n
.
On denit la signature
: S
n
1
par la formule
() = (1)
d
i=1
(n
i
1)
o` u est de type (n
1
, , n
d
). On a le resultat fondamental suivant.
Proposition 6.9.3. La signature est lunique morphisme surjectif de groupes de S
n
1.
Le noyau A
n
de la signature est donc un sous-groupe distingue, de cardinal n!/2 : il sappelle
le groupe alterne. Les transpositions sont donc de signature 1. On deduit que la signature
dune permutation est aussi (1)
N
o` u N est le nombre de transpositions intervenant dans une
decomposition de en produit de transpositions.
Dautre part, on verie que la signature est aussi (1)
i
o` u
i = card(x, y) X
2
tels que x > y et (x) < (y)
est le nombre dinversions de .
On a la formule (verier !)
(6.9.a) (a
1
, , a
m
)
1
= ((a
1
), , (a
m
)).
Elle assure que le conjugue dun cycle est un cycle de meme longueur et que de plus deux cycles sont
conjugues si et seulement si ils ont la meme longueur. Plus generalement, on a la caracterisation
suivante, corollaire immediat de cette remarque et de la proposition precedente.
Proposition 6.9.4. Deux permutations sont conjuguees si et seulement si elles ont meme
type.
On ne saurait trop conseiller au lecteur de faire lexercice suivant.
Exercice 6.9.5. Montrer que les transpositions (i, i + 1), 1 i n 1 engendrent S
n
. En
deduire que (1, , n), et (1, 2) engendrent S
n
. Montrer que S
n
est engendre par nimporte quel
triple (a, b, c) avec a, b, c cycles de longueur n, n 1 et 2 respectivement. Montrer que A
n
est
engendre par les 3-cycles dès que n 3.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 51
6.10. Discriminant. Voyons une condition simple permettant de decider si on a G A
n
.
Cest un cas particulier de la notion de resolvante.
Proposition 6.10.1. Lelement
disc(P) = (1)
n(n1)
2
x=y
P(x)=P(y)=0
(x y)
est un element de k
. Si k est de caracteristique dierente de 2, cest un carre de k
si et seulement
si G A
n
.
On dit que disc(P) est le discriminant de P.
Demonstration. Visiblement disc(P) est non nul et invariant par G, donc est dans k
. Choisis-
sons un ordre sur les racines de P quon ecrit x
1
, , x
n
. On a alors
disc(P) = (1)
n(n1)
2
i=j
(x
i
x
j
).
Posons
d =
i<j
(x
i
x
j
) .
On a
d
2
= disc(P).
Faisons operer S
n
sur les indices.
On a
i<j
(x
(i)
x
(j)
).
Les couples ((i), (j)) sont de deux sortes : soit (i) < (j), et on retrouve un facteur du produit
initial, soit (i) > (j) et on retrouve loppose dun facteur du produit initial. On a donc
= (1)
||
i<j
(x
i
x
j
)
o` u
[[ = card(i, j) tels que i < j et (i) > (j).
On se souvient alors de la formule (6.9)
() = (1)
||
de sorte que
= ()
d.
Donc, si G A
n
, on a certainement
d k, independamment de la caracteristique de k. Inver-

sement, si
d k
, on a
d = (g)
d
52 YVES LASZLO
autrement (g) = 1 dans k ce qui signie (g) = 1 dans Z si k est de caracteristique nulle, ou bien
car(k)[(1 (g)) en caracteristique positive, do` u le lemme.
Exercice 6.10.2. Soient P
1
, , P
r
des polynomes de degres d
i
> 0 separables à coecients
dans F
p
et premiers entre eux deux à deux. Montrer que le Frobenius du corps de decomposition
des P
i
est un produit de cycles disjoints de longueur d
i
. En deduire que son groupe de Galois sur
F
p
est dordre le PPCM des d
i
.
Exercice 6.10.3. Soit H un sous-groupe dindice G. Montrer que les ensembles G/H et H
G ont meme cardinal. Montrer que si lindice de H dans G est 2, alors H est distingue dans G
et le quotient G/H est canoniquement isomorphe à 1. Soit n un entier 2. Montrer que le
groupe alterne A
n
est lunique sous-groupe de S
n
dindice 2.
Exercice 6.10.4. Montrer que le groupe de Galois dun polynome de degre 2 est trivial ou
Z/2Z. Montrer quen degre 3, caracteristique dierente de 2, cest Z/3Z ou bien S
3
, ce dernier
cas ne se produisant que si disc(P) nest pas un carre à moins que P nait une racine dans k. En
deduire que le groupe de Galois de X
3
2 sur Q est S
3
D
6
.
Exercice 6.10.5. Soit k un corps parfait de caracteristique p 0. Calculer le discriminant
de P = X
n
1. Montrer que P est separable si et seulement p ne divise pas n, ce quon suppose
desormais. Soit K le corps des racines de P (dans une cloture algebrique

k de k). Donner une
condition necessaire et susante sur n pour que laction de Gal(K/k) sur
n
(
k) soit dans A
n
, au
moins si p = 2.
Exercice 6.10.6. Soit P un polynome separable à coecients dans k de caracteristique 2. On
note x
i
ses racines dans

k et G le groupe de Galois de k(x
i
)/k, qui agit donc sur les x
i
, et ainsi se
plonge dans S
n
. Montrer que x
i
+x
j
et x
2
i
+x
2
j
sont non nuls si i < j. Montrer que a =
i<j
x
i
x
j
x
2
i
+x
2
j
est un element de k. Soit b =
i<j
x
i
x
i
+x
j

k. Montrer quon a dune part b
2
+ b = a et, dautre
part, g(b) = b ou b +1 suivant que g A
n
ou g A
n
. En deduire quon a G A
n
si et seulement
si a secrit x
2
+ x avec x k.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 53
7. Cyclotomie
Soit n un entier 1, premier ` a la caracteristique de k. Ceci assure que X
n
1 et sa derivee
nX
n1
nont pas de zero commun dans et donc que X
n
1 est un polynome separable (5.1.4).
Lensemble
n
() de ses racines dans a donc pour cardinal n et est un sous-groupe (ni)
,
donc est cyclique (4.2.1), isomorphe à Z/nZ.
On rappelle que, par denition, une racine primitive n-ième de 1 est un generateur du groupe
cyclique
n
(). Choisissons
n
un tel generateur. Les autres racines primitives n-ièmes sont les
m
n
o` u m est premier avec n, ou, de facon un peu abusive, les
m
n
, m (Z/nZ)
o` u (Z/nZ)
est le groupe multiplicatif des elements inversibles de lanneau Z/nZ

(34)
.
Comme
n
() est engendre par
n
, le corps de decomposition de X
n
1 est simplement k[
n
]
qui est donc galoisien sur k : notons G
n
son groupe de Galois. Comme X
n
1 est de degre n, le
cardinal de G
n
est n. On a mieux.
7.1. Sur le groupe de Galois de lextension cyclotomique generale. Limage de
n
par un element du groupe de Galois g G
n
= Gal(Q[
n
]/Q) secrit de facon unique
g(
n
) =
(g)
n
avec (g) Z/nZ.
Comme g(
n
) est une racine primitive, on a meme (g) inversible ( ie est la classe dun entier
premier à n). On denit ainsi une application
: G
n
(Z/nZ)
qui est visiblement un morphisme de groupes.

Remarque 7.1.1. Si on avait, pour denir , choisi une autre racine primitive n-ième de
lunite, on aurait trouve le meme homomorphisme de groupes, dit caractère cyclotomique. En
eet, il est caracterise par g() =
(g)
pour tout
n
(C).
Bien entendu, est injectif (car
n
engendre Q[
n
]). On a donc montre.
Proposition 7.1.2. identie G
n
à un sous-groupe de (Z/nZ)
. En particulier, il est com-

mutatif.
Dorenavant, dans cette section, k = Q et, par exemple, = C.
34. Rappelons que les inversibles de lanneau Z/nZ sont les classes des entiers premiers à n (utiliser lidentite de
Bezout pour le voir).
54 YVES LASZLO
7.2. Irreductibilite du polynome cyclotomique sur Q. On peut prendre ici
n
=
exp(
2i
n
) de sorte que les racines primitives n-ièmes de lunite (dans C) sont les complexes de
la forme
m
n
= exp(
2im
n
) o` u m (Z/nZ)
.
Denition 7.2.1. On denit le n-ième polynome cyclotomique par la formule
n
(X) =
m(Z/nZ)
(X exp(
2im
n
)).
Un element de G
n
, etant injectif, envoie un generateur de
n
(C) sur un autre generateur, donc
permute les racines primitives de lunite. Les coecients du polyn ome cyclotomiques sont dans
Q[
n
]
G
n
et donc dans Q daprès le lemme 6.5.1. On deduit donc que
n
(X) est un annulateur
(unitaire) de degre
(n) = card(Z/nZ)
de
n
dans Q[X].
En fait,
n
est irreductible et ` a coecients entiers. Commencons par prouver un lemme elementaire.
Lemme 7.2.2 (Gauss). Soient P, Q deux polynomes à coecients entiers avec Q unitaire.
Alors, les quotient, reste de la division euclidienne de P par Q sont à coecients entiers.
Demonstration. Clair (poser la division !).
Corollaire 7.2.3. On a
n
(X) Z[X].
Demonstration. Toute racine n-ième a un ordre d[n : cest une racine primitive d-ième de 1.
Inversement, si est une racine primitive d-ième de 1 avec d[n, cest une racine n-ième de 1. On
deduit que lensemble des racines n-ièmes de 1 est lunion disjointes parametree par les diviseurs
d de n des racines primitives d-ièmes. Comme X
n
1 =
(X ), le produit etant etendu aux

racines n-ièmes de 1, on deduit la formule
(7.2.a) X
n
1 =
d|n
d
(X).
Partant de
1
(X) = X1 Z[X], on obtient par recurrence sur d que
d
est à coecients entiers
daprès 7.2.2 i) pour tout d[n, donc aussi pour d = n.
Le lemme suivant est d u à Gauss.
Lemme 7.2.4 (Gauss). Soit P un polynome non constant de Z[X].
i) Si P irreductible dans Z[X], il est irreductible dans Q[X].
ii) Si P est unitaire, tous ses facteurs unitaires à coecients dans Q sont en fait à coecients
entiers.
Demonstration. Supposons P irreductible sur Z et supposons P = P
1
P
2
avec P
1
, P
2
Q[X] et
deg(P
1
) > 0. En chassant les denominateurs de P
1
, P
2
, on a une identite du type
nP =

P
1
P
2
avec

P
1
,

P
2
Z[X] egaux ` a P
1
, P
2
` a multiplication scalaire près par un element deN
.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 55
Si n = 1, on deduit que

P
2
est constant (irreductibilite sur Z de P) et donc deg(P
2
) = 0 et on a
ni.
Sinon, reduisons modulo p la relation. On obtient lidentite dans F
p
[X]
0 = (
P
1
mod p)(
P
2
mod p).
Comme F
p
[X] est intègre, on deduit quun des deux polynomes est nul, donc que

P
1
ou

P
2
a tous
ses coecients divisibles par p. Par exemple, on a

P
1
= p
P
1
avec

P
1
Z[X]. En comparant les
coecients dominants, on trouve que p divise n et on a
n
P =

P
1
P
2
avec n
=
n
p
Z et 1 n
< n.
De proche en proche, on arrive ` a une ecriture
P = P
1
P
2
, avec P
1
, P
2
Z[X]
et on sest ramene au cas n = 1.
La preuve du second point est analogue.

Ecrivons P = P
1
P
2
avec donc P
1
, P
2
unitaires ` a coecients
rationnels. Soient n
1
, n
2
les plus petits entiers > 0 tels que

P
i
= n
i
P
i
Z[X], i = 1, 2. Si n
1
, n
2
= 1,
cest termine. Sinon, soit p premier divisant n
1
n
2
. Comme pour le point i), p divise tous les
coecients dun des deux polynomes

P
i
, disons

P
1
, et donc aussi son coecient dominant, à
savoir n
1
. On deduit quon a
n
1
p
P
1
Z[X],
contredisant la minimalite de n
1
.
Denition 7.2.5. Un complexe est dit entier algebrique (ou entier
(35)
lorsque le contexte est
clair) sil est racine dun polynome unitaire à coecients entiers.
Par exemple,
n
est entier, mais 1/2 ne lest pas (cf. exercice 7.2.6). On reviendra sur cette notion
importante (10.2).
Exercice 7.2.6. Montrer que x Q est entier sur Z si et seulement si il cest un... entier
relatif.
Le lemme de Gauss 7.2.4 donne immediatement le resultat suivant.
Corollaire 7.2.7. Le polynome minimal dun element entier est à coecients entiers.
Theorème 7.2.8. Le polynome cyclotomique sur Q est irreductible sur Q.
Demonstration. La preuve, due ` a Gauss, est très astucieuse. Soit P le minimal de
n
. Il sut
de prouver
n
[P, ou encore que toutes les racines primitives annulent P.
Soit p premier ne divisant pas n et une racine de P (le minimal de
n
), certainement primitive
car P[
n
. La clef est le lemme suivant.
35. Pour eviter les confusions, on dira que les elements de Z sont les entiers relatifs.
56 YVES LASZLO
Lemme 7.2.9.
p
est une racine de P.
Demonstration. supposons le contraire.

Ecrivons
X
n
1 = P(X)S(X).
Comme
n
est entier, on a P(X) Z[X] daprès 7.2.7, et, P(X) etant de plus unitaire, S(X) Z[X].
Comme P(
p
) est suppose non nul, on a S(
p
) = 0. Ainsi, P(X) et Q(X) = S(X
p
) ont une racine
complexe commune. Leur PGCD (calcule sur Q) est donc non constant, de sorte que P[Q dans
Q[X] (irreductibilite de P) donc dans Z[X] puisque P est de plus unitaire. Reduisons modulo p.
On a
Q =

S
p
(encore le Frobenius !). Comme n = 0 dans F
p
par hypothèse, X
n
1 et sa derivee nX
n1
nont
pas de racine commune dans

F
p
de sorte que ni X
n
1 ni

P nont de facteur multiple dans F
p
[X].
Soit un facteur irreductible de

P. Divisant

S
p
, il divise

S de sorte que
2
[X
n
1 dans F
p
[X],
une contradiction puisque

P est separable.
Soit alors une racine de P et
une racine quelconque de

n
. On ecrit
=
m
avec PGCD(m, n) =
1 (car
primitive). En decomposant m en facteurs premiers, une application repetee du lemme

donne
racine de P et donc
n
[P.
Ainsi,
card G
n
= [Q[
n
] : Q] = (n)
de sorte que est un morphisme injectif (7.1.2) entre groupes de meme cardinal :
Theorème 7.2.10. Le morphisme : Gal(Q[
n
]/Q) (Z/nZ)
est un isomorphisme.
Exercice 7.2.11. Soit n 1 et p premier ne divisant pas n. Montrer que si
n
mod (p) a une racine dans x F
p
, alors
x est dordre exactement n dans F
p
. En deduire quon a p 1 mod (n) puis quil existe une innite de nombres premiers
congrus ` a 1 modulo n (forme faible du theorème de la progression aritmetique de Dirichlet).
7.3. Intersections de corps cyclotomiques. Soit d divisant n de sorte que Q[
n
] contient
Q[
d
]. La correspondance de Galois predit que Q[
d
] correspond ` a un sous-groupe de Gal(Q[
n
]/Q)
de cardinal (n)/(d), qui doit etre le noyau de la surjection
Gal(Q[
n
]/Q) Gal(Q[
d
]/Q).
En tenant compte de 7.2.10, cette surjection nest autre que le morphisme canonique
(Z/nZ)
(Z/dZ)
.
On retrouve au passage 3.8.3.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 57
Proposition 7.3.1. On a
Q[
n
,
m
] = Q[
PPCM(n,m)
]
et
Q[
n
] Q[
m
] = Q[
PGCD(n,m)
].
Demonstration. on pose
PPCM(n, m) = , PGCD(n, m) = , K = Q[
]
et
d
= Ker((Z/Z)
(Z/dZ)
pour tout d divisant . On a deux sous-corps K

i
= Q[
n
], i = n, m de K, denis (correspondance de
Galois) daprès ce qui precède par les sous-groupes
i
, i = n, m. Daprès 6.7.2, on doit simplement
montrer
n

m
= 1 (qui prouve K
n
K
m
= Q[
]) et que le groupe engendre par

n
et
m
est
(prouvant K
n
K
m
= Q[
]).
Le premier point est clair : dire que g mod (Z/Z)
est dans lintersection de

n

m
, cest
dire que n et m divisent g 1 autrement dit [(g 1).
Pour le second enonce, gr ace au lemme chinois, on peut supposer n, m puissances de p, de la
forme p
, p
avec par exemple 0 de sorte que = p
. Le cas o` u ou est nul est trivial.

Supposons donc , > 0. On a alors
i
= 1 + p
i
Z/p
Z, i = , et donc le groupe engendre est
.
Remarque 7.3.2. Donnons une autre preuve, moins galoisienne. On pose PPCM(n, m) = et PGCD(n, m) = . Le
premier point est elementaire. Posons = n, = m o` u et sont premiers entre eux. On a alors,
n
=
et
m
=
prouvant
Q[
n
,
m
] Q[
].
Inversement, choisissons a, b entiers tels que a + b = 1. On a alors
=
a
m
b
n
prouvant linclusion reciproque.
La deuxième egalite est plus subtile. Posons maintenant n = , m = o` u et sont premiers entre eux. On a
n
=
m
prouvant linclusion
Q[
] Q[
n
] Q[
m
]
58 YVES LASZLO
Inversement, les extensions cyclotomiques Q[
n
]/Q etant galoisiennes, on connat les degres des diverses extensions gr ace
` a 8.1.2, qui sont resumes comme suit.
Q[
m
,
n
]
(m)/d
v
v
v
v
v
v
v
v
v
v
(n)/d
q
q
q
q
q
q
q
q
q
q
Q[
m
]
(m)/d
w
w
w
w
w
w
w
w
w
w
(m)
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Y
Q[
n
]
(n)/d
r
r
r
r
r
r
r
r
r
r
(n)
Q[
m
] Q[
n
]
d
Q
.
Se souvenant de la formule elementaire = nm, legalite () = [Q[
n
,
m
] : Q] devient alors
(n)(m) = d(nm/).
Comme
()(nm/) = (n)(m),
on a (exercice de PC -decomposer n, m en facteurs premiers par exemple-) d = () et la proposition en decoule.
Exercice 7.3.3. Soit z C et K le corps des racines du minimal de z. Montrer que z est
constructible (2.1.1) à la règle et au compas si et seulement si tous ses conjugues le sont. En
deduire que z est constructible si et seulement si [K : Q] est une puissance de 2. Donner alors une
preuve de (2.1.5) en utilisant le resultat (9.3.8) infra.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 59
8. Appendice : groupe de Galois des extensions composees
Dans letude des extensions cyclotomiques, on a rencontre le problème de letude dune extension composee KL/k en fonction
de K/k et L/k (lorsque ces deux dernières sont des extensions cyclotomiques sur Q). On peut le faire en general (on pourrait
dailleurs en deduire de cette manière le calcul de Q[
n
] Q[
m
] eectue en (7.3.1). Cet appendice nest pas essentiel pour
la suite et peut etre ignore en première lecture.
On suppose que toutes les extensions considerees sont contenues dans une extension algebriquement close dun corps k.
8.1. Extensions composees, cloture galoisienne. Si x
i
est une famille delements de , lintersection des sous-corps
de contenant les x
i
est le plus petit sous-corps de contenant les x
i
. Si K, L sont deux extensions de k, le plus petit corps
contenant K, L se note KL et sappelle lextension composee de K et L.
Lemme 8.1.1. Soit K un extension nie de k. Il existe un unique sous-corps de contenant K qui est galoisien sur k :
on lappelle la cl oture galoisienne de K/k.
Demonstration. lintersection de deux extensions galoisiennes de k est visiblement encore galoisienne. Lunicite en decoule.
Pour lexistence, choisissons un element primitif x de K/k (rappelons que k est parfait). On laisse au lecteur le soin de verier
que le corps des racines du minimal de x sur k est lextension cherchee.
Theorème 8.1.2. Soient K, L deux extensions nies de k et supposons K/k galoisienne.
i) Alors, KL/L est galoisienne et le morphisme de restriction r : Gal(KL/L) Gal(K/K L) est un isomorphisme.
ii) Si de plus L/k est galoisienne, KL/k et K L/k le sont egalement.
Demonstration. Prouvons i). Soit x un element primitif de K/k de minimal P k[X]. Visiblement, KL = L[x] et le
minimal Q de x sur L divise P de sorte que ses racines sont dans K comme celles de P et a fortiori dans KL. Comme P
est ` a racines simples, ceci prouve que KL/L est galoisienne. Plus precisement, on a Q =
(Xx
i
) o` u x
i
K sont certains
conjugues de x, et donc est aussi dans K[X] ce qui prouve quon a Q (K L)[X].
Prouvons la surjectivite de r. Soit alors g Gal(K/K L). On a g(Q(x)) = Q(g(x)) car Q est ` a coecients dans K L.
Par propriete universelle du quotient, il existe un unique L-endomorphisme de KL = L[X]/Q qui envoie x = (X mod Q)
sur g(x) : cest lantecedent cherche.
Prouvons linjectivite de r. Soit alors g Gal(KL/L) dans le noyau, cest-` a-dire trivial sur K. Comme g est trivial sur L et
que K, L engendrent KL, il est trivial sur KL, ce quon voulait.
Prouvons ii). Supposons de plus L galoisienne. Alors, L est le corps des racines dun polynome separable P
1
k[X] et KL
est le corps des racines du polyn ome separable PPCM(P, P
1
), prouvant que KL/k est galoisienne. Pour le dernier point, soit
Hom
k
(K L, ) quon prolonge ` a KL tout entier. Comme K, L sont galoisiennes sur k, on a (K) K et (L) L et
donc (K L) K L do` u legalite (car K L est de dimension nie sur k et on conclut comme dhabitude).
Le point i) du theorème se retient bien graphiquement.
KL
Gal(K/KL)
e
e
e
e
e
e
e
e
|
|
|
|
|
|
|
|
K
Gal(K/k) f
f
f
f
f
f
f
f
L
}
}
}
}
}
}
}
}
k
.
Corollaire 8.1.3. Sous les hypothèses du theorème, on a
[KL : L] = [K : K L] et [KL : k] = [K : k][L : k]/[K L : k].
Par suite, [KL : k] = [K : k][L : k] si et seulement si k = K L.
60 YVES LASZLO
Demonstration. le premier point decoule du point ii) precedent. Pour le second, on ecrit alors
[KL : k] = [KL : L][L : k] = [K : K L][L : k] = ([K : k]/[K L : k])[L : k].
Le troisième en decoule.
Notons i : Gal(KL/k) Gal(K/k) Gal(L/k) le morphisme de restriction, qui est visiblement injectif (exercice). Les
morphismes de restrictions
Gal(K/k) Gal(K L/k) et Gal(L/k) Gal(K L/k)
denissent un morphisme
(j
1
, j
2
) : Gal(K/k) Gal(L/k) Gal(L K/k) Gal(L K/k).
Bien entendu, on a j
1
i et j
2
i concident avec le morphisme de restriction naturel
Gal(KL/k) Gal(K L/k).
Proposition 8.1.4. Supposons K/k et L/k galoisiennes. Le morphisme (injectif ) i induit un isomorphisme de Gal(KL/k)
sur le sous-groupe de Gal(K/k) Gal(L/k), appele produit amalgame,
Gal(K/k)
Gal(KL/k)
Gal(L/k),
constitue des couples (u, v) tels que j
1
(u) = j
2
(v).
Demonstration. Il sut de montrer que les cardinaux des deux groupes en question sont egaux. On note G
L
, G
K
les
groupes de Galois sur k. On a une suite exacte
1 N G
K
G
L
(j
1
,j
2
)
G
KL
G
KL
1
(noter que j
1
, et, a fortiori (j
1
, j
2
) est surjectif). Par construction, notre produit amalgame G est limage inverse par (j
1
, j
2
)
du sous groupe diagonal
G
KL
= {(g, g), g G
KL
} G
KL
G
KL
.
On a donc une suite exacte
1 N G G
KL
1.
Comparant les cardinaux, on deduit
card G = [K : k][L : k]/[K L : k]
et on conclut gr ace ` a 8.1.3.
Cet enonce est très agreable lorsque de plus K L = k, de sorte que le produit amalgame nest autre que le produit usuel.
Le theorème se retient graphiquement comme suit.
KL
G
K
G
KL
G
L
e
e
e
e
e
e
e
e
|
|
|
|
|
|
|
|
K
G
K f
f
f
f
f
f
f
f
L
G
L
}
}
}
}
}
}
}
}
k
quon peut completer daprès ce qui precède en
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 61
KL
G
K
G
KL
G
L
Gal(K/KL)
e
e
e
e
e
e
e
e
Gal(L/KL)
|
|
|
|
|
|
|
|
K
G
K f
f
f
f
f
f
f
f
L
G
L
}
}
}
}
}
}
}
}
k
62 YVES LASZLO
9. Resolubilite par radicaux
9.1. Extensions cycliques. Dans ce paragraphe, n designe un entier 2 et k un
corps (parfait) tel que
n
(k) est de cardinal n (on dit alors abusivement que k contient les
racines n-ièmes de lunite). En particulier, la caracteristique de k ne divise pas n, mais ce nest
evidemment pas susant en general.
On sait alors (tout sous groupe ni de k
est cyclique) que

n
(k) est, non canoniquement en
general, isomorphe ` a Z/nZ de sorte quexistent dans k les racines primitives (dordre n) de 1 (au
nombre de (n)).
Soit a un element de k 0 et K = k[], = a
1/n
le corps de rupture de P(X) = X
n
a. Comme
les racines de X
n
a sont les multiples de a par les racines n-ièmes de lunite, qui sont dans k
par hypothèse, K est aussi le corps des racines de X
n
a et donc est galoisienne sur k. Soit G son
groupe de Galois. On a une application
: G
n
(k)
denie comme suit. Si g G, lelement g() est une racine de P donc de la forme pour

n
(k). On pose alors (g) = g()/. Cest un morphisme de groupes.
Lemme 9.1.1. est injective et G est cyclique de cardinal d divisant n. De plus, P irreductible
si et seulement si a nest pas une puissance d-ième dans k pour tout diviseur d de n distinct de 1,
ou, de facon equivalente, si G =
n
(k).
Demonstration. Linjectivite de est claire. Comme
n
(k) est cyclique de cardinal n, lordre
de G est un diviseur de n. Dire que P est irreductible cest dire [K : k] = n et donc surjective.
Supposons P irreductible, et donc G =
n
(k). Soit = (g) primitive dans
n
(k) et d[n tel que
d
k. On a g(
d
) =
d
d
mais aussi g(
d
) =
d
car
d
k. On a donc
d
= 1 et donc n[d puis
d = n. Inversement, si P non irreductible, on a G de cardinal [n strictement. Pour tout g G,
on a g()/
(k) et donc g(
) =
. Donc
k.
La reciproque est, en un sens, assez surprenante.
Theorème 9.1.2 (Kummer
(36)
). Soit K/k une extension galoisienne (k contenant les ra-
cines de lunite). On suppose que le groupe de Galois G = Gal(K/k) est cyclique dordre n. Alors,
il existe a K tel que K soit le corps des racines de X
n
a.
Demonstration. Cest de lalgèbre lineaire. Soit g un generateur de Galois : il verie g
n
= Id vu
dans End
k
(K). Par hypothèse, X
n
1 est scinde sur k ` a racines simples, donc est diagonalisable.
La formule g(xy
1
) = g(x)g(y)
1
assure que lensemble des valeurs propres de G est sous-groupe
de
n
(k) et donc est cyclique dordre d. Si on avait d < n, on aurait g
d
= Id, ce qui nest pas car
g est un generateur et donc il existe une valeur propre de g qui est une racine primitive n-ième
de 1. Soit x un vecteur propre non nul. Par construction, x a au moins n conjugues, les
i
x,
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 63
distincts, qui sont necessairement dans K qui est galoisien de sorte que K = k[x]. Ainsi, ce sont
tous les conjugues de x, et donc le minimal de x est
1in
(X
i
x) = X
n
a
avec a K.
Ernst Kummer
Si on lit la preuve precedente attentivement, le phenomène qui se passe est le suivant. Notons K
a
lespace propre Ker(g aId). On a alors
(9.1.a) K =
a
n
K
a
avec K
i = kx
i
o` u x est non nul dans K
.
Exercice 9.1.3. Supposons n premier à la caracteristique de k. Soit a k. Montrer que
P = X
n
a est separable et que son groupe de Galois G est extension de deux groupes abeliens,
autrement dit quon a une suite exacte 1 G
1
G G
2
1 avec G
1
, G
2
abeliens, et meme
G
2
cyclique. Donner un exemple o` u G nest pas commutatif.
9.2. Commentaire. Bien entendu, toute sous-extension dune extension cyclotomique Q[
n
]
a un groupe de Galois abelien. Un theorème dicile, dit de Kronecker
(37)
-Weber
(38)
, assure que
la reciproque est vraie ! Cest une consequence de la theorie du corps de classes, vaste sujet qui
debouche naturellement sur la visionnaire theorie de Langlands
(39)
sujet très dicile et actif ` a
lheure quil est.
9.3. Intermède sur les groupes resolubles. La classe des groupes commutatifs nest pas
stable par suite exacte courte. Il faut une classe plus vaste : celle des groupes resolubles.
36. 1810-1893
37. 1823-1891
38. 1842-1913
39. 1936-
64 YVES LASZLO
Leopold Kronecker Heinrich Martin Weber
Robert Langlands
Denition 9.3.1. Un groupe G est dit resoluble sil possède ltration croissante par des sous-
groupes
1 = G
n
G
0
= G
avec G
i+1
distingue dans G
i
et G
i
/G
i+1
commutatif.
On dira simplement que les quotients successifs sont commutatifs.
Exercice 9.3.2. Verier que S
3
, S
4
sont resolubles. Montrer que le groupe des matrices com-
plexes de taille n 2 de determinant 1 ne lest pas.
Exercice 9.3.3. On se propose de montre que le groupe B des matrices de GL
n
(k) qui sont
triangulaires superieures est resoluble (k est un corps). Soit U le sous-groupe de B des matrices
dont toutes les valeurs propres sont egales à 1 (matrices unipotentes).
1) Montrer quon a une suite exacte de groupes
1 U B (k
)
n
1.
En deduire que B est resoluble si et seulement si U est resoluble.
Soit (e
i
) la base canonique de k
n
. Pour i n, soit F
i
le sous-espace vectoriel de k
n
engendre
par e
1
, , e
i
. On a donc F
i
= (0) si i 0 et F
n
= k
n
. Pour tout f U, on note ln(f) la
matrice f Id. Pour tout j = 0, , n, soit U
j
le sous ensemble de U des matrices f telles que
ln(f)(F
i
) F
ij
pour i n.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 65
2) Verier quon a
(1) = U
n
U
n1
U
1
= U.
Montrer que U
i
est un sous-groupe distingue de U pour tout i n et donc egalement de U
i1
.
3) Soit f U
j
. Montrer que pour tout i n, la restriction ln(f)
i,j
de ln(f) à F
i
de ln(f) induit
une application lineaire de F
i
/F
ij1
qui est nulle si et seulement si ln(f)(F
i
) F
ij1
.
4) Montrer que lapplication
ln
j
:
U
i

i
End(F
i
/F
ij
)
f (ln(f)
i,j
)
est un morphisme de groupes et calculer son noyau.
5) En deduire que U est resoluble. Conclure.
On rappelle que le groupe derive DG de G est le groupe engendre par les commutateurs aba
1
b
1
.
Cest un sous-groupe distingue de G, et G/DG est commutatif : on a tout fait pour. On denit
alors par recurrence
D
0
G = G et D
n+1
G = DD
n
G si n 0.
Lemme 9.3.4. G est resoluble si et seulement si D
n
G est trivial pour n assez grand.
Demonstration. Si G est resoluble et G
i
est comme dans la denition, limage dun commutateur
dans le groupe abelien G
0
/G
1
est triviale de sorte que D
1
G est contenu dans G
1
. Par recurrence,
on montre D
i
G contenu dans G
i
et donc D
n
G est trivial. Inversement, si D
n
G est trivial, on pose
G
i
= D
i
G qui convient.
Proposition 9.3.5. Si
1 G
1
G
2
G
3
1
est exacte, alors G
2
resoluble si et seulement si G
1
et G
3
resolubles.
Demonstration. On a dune part D
n
G
2
D
n
G
3
surjectif et D
n
G
1
D
n
G
2
injectif de sorte
que G
2
resoluble entrane G
1
et G
3
resoluble. Inversement, si D
n
G
3
est trivial, limage de D
n
G
2
dans G
3
est nul et donc D
n
G
2
est contenu dans G
1
. Si maintenant on a de plus D
m
G
1
= 1, on en
deduit D
m+n
G
2
D
m
G
1
= 1, do` u la reciproque.
En fait, on a mieux : la classe des groupes resolubles est stable par extension, ce qui compte tenu
de ce qui precède, secrit
Corollaire 9.3.6. Si G possède une suite croissante de sous-groupes
1 = G
0
G
n
= G
avec G
i
distingue dans G
i+1
et G
i+1
/G
i
resoluble, alors G resoluble.
66 YVES LASZLO
Exercice 9.3.7. Soit
X = (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)
lensemble des permutations de S
4
de type (2, 2). Montrer que S
4
opère sur X par conjugaison. En
deduire quil existe un morphisme : S
4
S
3
et calculer son noyau. Montrer que est surjectif
et en deduire que S
4
est resoluble. On retrouve ainsi un resultat de 9.3.2.
Exercice 9.3.8 (Dicile). Soit G un groupe de cardinal p
n
avec p premier. On se propose de montrer par recurrence
sur n lexistence dune suite croissante de sous-groupes G
i
, i = 1 n de G de cardinal p avec G
i
distingue dans G
i+1
. Ceci
montre en particulier que G est resoluble.
a) Soit H un sous-groupe distingue de G. Montrer que si lenonce est vrai pour H et G/H il est vrai pour G.
b) Traiter le cas commutatif.
c) En faisant operer G sur lui meme par conjugaison, montrer que le centre de G est non reduit ` a 1. Conclure.
Linteret de ces groupes, resulte en partie du fait que si p
n
est la puissance maximal de p divisant
le cardinal de G ni, alors G admet un sous-groupe dordre p
n
(un p-Sylow) et que tous ces
sous-groupes sont conjugues (voir par exemple Bourbaki, Algèbre I-III).
9.4. Applications aux equations. On suppose k de caracteristique nulle. On dira quune
extension de corps K/k est radicale si il existe une suite de corps K
i
, i = 0 , n telle que
k = K
0
K
n
= K
et K
i+1
= K
i
[x
i
] et une puissance convenable de x
i
est dans K
i
. Elle est dite resoluble (par radicaux)
si il existe une extension nie L/K contenant K tel que L/k radicale. Ainsi, si K/k est resoluble,
tout element x K sexprime ` a laide de fractions rationnelles et dextractions successives de
radicaux à partir delements de k.
Donc, dire que le corps des racines de P k[X] est resoluble (sur k), cest dire que ses racines sex-
priment rationnellement ` a partir dextractions successives delements de k, ie la notion intuitive
de resolubilite par radicaux !
Theorème 9.4.1 (Galois). Soit K/k galoisienne. Si K/k est resoluble, alors G = Gal(K/k)
est resoluble.
En fait, la reciproque du theorème est vraie (ce nest pas dicile, connaissant la theorie de Kum-
mer) ; elle sera detaillee en PC. Passons ` a la preuve du theorème.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 67
Demonstration. Par hypothèse, K est contenu dans L avec L/k radical. On a donc une suite
de corps embotes
k =

L
0

L
1

L
n
= L
tels que

L
i+1
=

L
i
[x
i
] et x
n
i
i

L
i
.
Le problème est que les

L
i
nont aucune raison detre galoisiens sur k. Remedions à cela. On veut
utiliser la theorie de Kummer. Soit donc n un multiple de tous les n
i
et X
i
lensemble des conjugues
(sur k) des x
j
, 0 j i.
On pose alors
L
i+1
= k[
n
, X
i
], i = 0, , n 1,
qui par construction est galoisienne sur k (comme dhabitude,
n
designe une racine primitive
nième de lunite dans ). On pose L
1
= k, X
1
=
n
de sorte quon a
L
i+1
= L
i
[X
i
] pour i 1
avec L
i
galoisienne sur L
1
= k pour tout i donc a fortiori sur L
j
, 1 j i.
Comme Gal(K/k) est un quotient (6.7.1) de Gal(L
n
/L
1
), il sut de montrer que ce dernier est
resoluble (9.3.5). Montrons par recurrence sur i que Gal(L
i
/L
1
) est resoluble.
Lemme 9.4.2. Chaque groupe Gal(L
i+1
/L
i
), i 1 est resoluble.
Demonstration. Comme Gal(L
0
/L
1
) est commutatif (7.1.2), on peut supposer i 0.
Si i 0, L
i+1
est obtenu en adjoignant à L
i
les conjugues y
j
, j = 1, , deg
L
i
(x
i
) de x
i
sur L
i
. On
a donc une tour dextension
M
0
= L
i
M
1
= L
i
[y
1
] M
d
= L
i
[y
1
, , y
d
] = L
i+1
.
Comme y
n
j
L
i
et
n
L
i
, tous les L
i
-conjugues de y
j
, j sont dans M
qui est donc galoisienne

sur M
0
, donc aussi sur les M
. Comme de plus, M
+1
= M
[y
+1
], chaque extension
elementaire intermediaire M
+1
/M
est de Kummer, donc galoisienne de groupe cyclique (cest la

partie facile de la theorie de Kummer). Or, on a une ltration
1 = G
0
= Gal(M
d
/M
d
) G
2
= Gal(M
d
/M
d1
) G
d
= Gal(M
d
/M
0
).
Or, on a
G
+1
/G
Gal(M
+1
/M
)
(gr ace à la suite exacte fondamentale (6.7.a)) et donc est abelien. La proposition 9.3.5 assure que
G
d
est resoluble.
68 YVES LASZLO
La theorie de Galois (6.7.a) nous donne des suites exactes
1 Gal(L
i+1
/L
i
) Gal(L
i+1
/L
1
) Gal(L
i
/L
1
) 1.
On conclut gr ace au lemme et grace ` a la proposition 9.3.5.
Soit L le corps des fractions de C[X
1
, , X
n
] o` u les X
i
sont des indeterminees. Le groupe
symetrique S
n
agit sur L par permutation des indices. Soit K = L
S
n
: lextension L/K est ga-
loisienne de groupe de Galois S
n
daprès le lemme dArtin. On sait dautre part (theorème des
fonctions symetriques) quon a
K = Frac(C[
1
, ,
n
])
o` u les
i
sont les fonctions symetriques elementaires des X
i
denies par lidentite
(9.4.a)
(X X
i
) = X
n
+
n1
i=1
(1)
i
i
X
ni
.
Remarque 9.4.3. On peut aussi invoquer le lemme dArtin et la majoration triviale [L :
Frac(C[
1
, ,
n
])] n! pour prouver K = Frac(C[
1
, ,
n
]).
La formule 9.4.a prouve au passage que L est le corps de decomposition sur K de P(X) = X
n
+
n1
i=1
(1)
i
i
X
ni
.
Je dis que lequation generale ` a coecients dans K
X
n
+
n1
i=1
(1)
i
i
X
ni
= 0
nest pas resoluble par radicaux pour n 5, ce qui se traduit daprès la discussion precedente par
le resultat suivant.
Theorème 9.4.4 (Abel,Galois). L/K nest pas resoluble dès que n 5.
Demonstration. Comme D(S
n
) A
n
(la signature dun commutateur vaut 1), il sut de
prouver le lemme suivant.
Lemme 9.4.5. Si n 5, on a D(A
n
) = A
n
.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 69
Demonstration. n 3, donc A
n
engendre par les 3-cycles (6.9.5). Soit = (a, b, c) un 3-cycle.
On a
2
= (a, c, b). Soit S
n
envoyant le triplet (a, b, c) sur (a, c, b). Soit d, e distincts de a, b, c
(possible, car n 5. On a egalement (d, e)(a, b, c) = (a, c, b) et donc on peut supposer, quitte
` a changer en (d, e), que est dans A
n
. Or,
1
=
2
et donc D(A
n
).
70 YVES LASZLO
10. Reduction modulo p
Dans cette partie, nous allons donner des methodes permettant detudier des groupes de Galois
de polynomes unitaires à coecients entiers par reduction modulo p. Bien entendu, la situation
sur F
p
est, au moins theoriquement, très simple : on sait par exemple factoriser les polynomes
(Berlekamp
(40)
), les extensions sont toujours galoisiennes et de groupes Galois cyclique, avec en
prime un generateur canonique, le Frobenius.
Elwyn Berlekamp
On se donne un nombre premier p. On va comparer les groupes de Galois de P, ie celui de son
corps des racines (6.8) et du corps des racines lorsque de plus

P est separable. Linteret est que
les groupes de Galois des extensions de corps nis sont très simples, cycliques, engendres par le
Frobenius. Le resultat principal pour nous est que, sous ces conditions, il existe un element
de Gal(P/Q), bien deni à conjugaison près, dont la classe de conjugaison dans S
n
est
la meme que celle du Frobenius (pour les plongements canoniques des groupes de Galois).
Le lecteur peut se contenter dans un premier temps de ce resultat (cf. lenonce du theorème
fondamental 10.4.4) et laisser les preuves pour une seconde lecture (bien quelles ne soient pas
diciles).
10.1. Specialisation du groupe de Galois. Soit P un polyn ome unitaire separable ` a coecients entiers
(41)
. Notons
A = Z[z
1
, , z
n
]
le sous-anneau de C engendre par les racines complexes z
1
, , z
n
de P. Par construction, tous les z
i
sont entiers (7.2.5).
Lemme 10.1.1. Le corps des fractions K de A est le corps de decomposition de P dans C.
Demonstration. En eet, A est contenu dans le corps de decomposition L de P car z
i
L pour tout i, et donc K est
contenu dans L. Par ailleurs, P etant scinde sur K, on a bien K = L par minimalite de L.
Lobservation fondamentale est que tous les elements de A sont entiers. Pour cela, on va donner un caracterisation des entiers
en tout point analogue celle des algebriques (3.12.1).
40. 1940-
41. le lecteur savant adaptera la preuve au cas o` u lanneau de coecients Z est remplace par un anneau factoriel,
voire integralement clos
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 71
10.2. Somme, produits dentiers.
Denition 10.2.1. Soit B-une C-algèbre. On dit que b B est entier sur C si b annule un polynome unitaire ` a coe-
cients dans C.
Lorsque B est un sous-anneau de Cvu comme Z-algèbre, on retrouve la notion dentier algebrique(7.2.5). On generalise (3.12.1)
ainsi :
Proposition 10.2.2. Soit B-une C-algèbre et b B. Alors, b est entier sur C si et seulement si b est contenu dans un
sous-anneau B
de B qui est un C-module de type ni

(42)
.
Demonstration. La partie directe est claire : si b a un annulateur unitaire de degre d, alors C = C[b] est engendre
par 1, , b
d1
.Inversement, supposons b B
de type ni sur C, engendre par b

1
, , b
n
. Il existe c
i,j
C tels que
bb
j
=
i
c
i,j
b
i
( = (c
i,j
) est une matrice de lhomotethie h
b
End
C
(B
) de rapport b dans C). Soit P = det(XId ) le

polyn ome caracteristique de : cest un polyn ome unitaire de C[X] qui annule (Cayley-Hamilton) et donc a fortiori h
b
.
Mais, on a 0 = P(h
b
).1 = P(b), ce quon voulait.
Comme en (3.12.6), on deduit
Corollaire 10.2.3. Lensemble des elements de B qui sont entiers sur C est un sous-anneau de B.
Demonstration. En eet, si x, y B sont entiers sur C, disons annules par des polynomes unitaires ` a coecients dans C de
degre n, m, tant xy que xy sont contenus dans C = C[x, y] qui est engendre par les mon omes x
i
y
j
, 0 i n, 0 j m1
et donc est de type ni sur C.
Corollaire 10.2.4. Lensemble des entiers algebriques est un sous-anneau de C. En particulier, tous les elements de A
sont des entiers.
Exercice 10.2.5 (Lemme de Kronecker). Soit z un nombre complexe qui est entier sur Q et z
i
ses conjugues. Mon-
trer que les z
i
sont entiers. Montrer que tous les polyn omes
(Xz
n
i
) o` u n N sont à coecients entiers. En deduire que
si |z
i
| 1 pour tout i, alors o` u bien z = 0 ou bien les z
i
sont des racines de lunite.
10.3. Norme des elements de A. Pour tout complexe algebrique z sur Q, on denit sa norme N(z) comme le produit
des ses conjugues complexes. Si P est le polyn ome minimal de z, on a evidemment la formule
N(z) = (1)
deg(P)
P(0)
de sorte que
N(z) Q.
Par exemple, N(z) = z si z Q alors que N(
2) = 2. Si z est entier, on a donc N(z) Z puisque P Z[X] (7.2.7).

Lemme 10.3.1. Lanneau

A = A/pA est non nul.
Demonstration. supposons le contraire. On aurait alors une ecriture 1 = pa, a A. Or, les d = card Hom
Q
(Q[a], C)
conjugues distincts de a sont les complexes (a), Hom
Q
(Q[a], C). Comme Q[a] = Q[pa], le complexe pa a d conjugues
distincts qui sont p(a), Hom
Q
(Q[a], C). On deduit la formule
N(pa) = p
deg
Q
(a)
N(a)
dune part, et, dautre part,
N(pa) = N(1) = 1
ce qui est absurde car N(z) Z car a est un entier algebrique daprès 10.2.4.
42. Autrement dit, tel quil existe une famille nie b
i
delements de B
telle que tout element de B
est combinaison
lineaire des b
i
à coecients dans C.
72 YVES LASZLO
10.4. Groupe de decomposition. Soit alors p un ideal maximal de lanneau (non nul !)

A. On pourra remarquer
que son existence est tout à fait independante de laxiome du choix (utiliser par exemple que

A est un espace vectoriel de
dimension nie sur k, puisque A est de type ni sur Z). Soit p son image inverse dans A, autrement dit le noyau de la
surjection canonique
A

A

A/p = k.
Comme p est nul dans

A = A/pA, le corps k est de caracteristique p.
Remarque 10.4.1. Il est utile dobserver quon a p Z = pZ, simplement car p Z/pZ est le noyau du morphisme
F
p
= Z/pZ A/p qui est injectif, comme tout morphisme de corps.
Comme

A est de dimension nie sur F
p
, lextension k/F
p
est nie, et galoisienne comme toute extension de corps nis.
De meme que A est engendre par les mon omes en les z
i
` a coecients des Z, de meme k est engendre par les mon omes en
les x
i
= z
i
mod p ` a coecients dans F
p
. Autrement dit, k est le corps de decomposition de

P sur F
p
, ce qui, au
passage, prouve à nouveau quil est de dimension nie sur F
p
.
Le groupe de Galois G = Gal(K/Q) permute les z
i
et donc laisse stable A.
Denition 10.4.2. On appelle groupe de decomposition de p le sous-groupe D = D
p
de G xant p.
Theorème 10.4.3. Laction de G sur A induit une action de D sur k. Le morphisme induit D Gal(k/F
p
) est surjectif.
Demonstration. Comme laction de D sur A laisse p globalement invariant, elle denit une action sur le quotient k = A/p.
Un element
0
Gal(k/F
p
) est determine par limage y =
0
(x) dun generateur x = 0 de lextension k/F
p
.
Les ideaux g
1
(p) sont egaux ` a p si et seulement si g D. Par ailleurs, la projection A
g
A A/p est surjective car g est
bijectif et admet g
1
(p) comme noyau. Ainsi, on a un isomorphisme
A/g
1
(p)

A/p
assurant que g
1
(p) est maximal puisque le quotient correspondant est le corps A/p. En fait, il nest pas dicile de prouver
que les ideaux premiers non nuls de A sont maximaux, mais on nen aura pas besoin.
Notons q
1
, , q
r
les ideaux (distincts) de la forme g
1
(p), g D. Comme q
0
= p, q
1
, , q
r
sont distinct deux à deux et
maximaux, on a q
i
+ q
j
= A si i = j. Daprès le lemme chinois, on peut donc trouver z A tel que
z x mod q
0
et z 0 mod q
i
si i > 0.
et donc
z x mod p et z 0 mod g
1
(p) si g D.
On a alors g(z) p si g / D. Le polyn ome
gG
(Xg(z))
est ` a coecients entiers, ses coecients etant invariants sous G et entiers sur Z. Par construction, son image dans k[X] =
A/p[X] secrit
gD
(Xg(z))
gD
X
et annule z = x. Comme x est non nul, on deduit que le polyn ome de F
p
[X]
gD
(Xg(z))
est divisible par le polyn ome minimal
Gal(k/F
p
)
(X(x))
de x sur k, et que donc il existe g D tel que
0
(x) = g(z), ce quon voulait.
Notons x
1
, , x
n
les reductions modulo p des racines z
1
, , z
n
de P.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 73
Theorème 10.4.4. Supposons que

P soit à racines simples (dans

F
p
). Alors, la èche D
Gal(k/F
p
) est un isomorphisme du sous-groupe D de Gal(P/Q) sur le groupe Gal(
P/F
p
) et est
compatible aux plongements dans le groupe symetrique (cf. 10.4.a) des groupes de Galois denis
par les racines z
i
de P et z
i
mod p de

P.
Demonstration. par hypothèse, les x
i
sont distincts. Autrement dit, lapplication z
i
x
i
est bijective et induit une
identication des groupes de permutations
(z
i
) = (x
i
).
On a un diagramme visiblement
(10.4.a) D

_
//
Gal(k/F
p
)

//
(x
i
)
G

//
(z
i
)
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
qui prouve linjectivite de D Gal(k/F
p
). Mais on savait dej` a que la èche etait surjective !
Remarque 10.4.5. La preuve du lemme donne un peu plus, lorsque les hypothèses sont veriees. Si on a une permutation
des racines de

P, il existe une permutation des racines de P du meme type. En particulier, si

P est irreductible, il existe un
cycle de longueur n dans G.
Voyons enn que, malgre les apparences, le sous-groupe D = D
p
ne depend que très peu de p mais plut ot de p. Donnons
nous donc deux ideaux maximaux de A tels que A/p

A/q

F
p
.
Proposition 10.4.6. Il existe g G tel que p = g(q). On a alors D
p
= gD
q
g
1
.
Demonstration. le second point est laisse en exercice. Pour le premier, imaginons quon ait p g(q) pour tout g G.
On a alors p + g(q) = A pour tout g car p est maximal. Le lemme chinois permet de construire alors x A tel que x 1
mod g(q) pour tout g et x 0 mod p. La norme
gG
g(x) de x est dune part dans pZ = p Z = q Z. Elle est donc
egalement dans q et donc un des facteurs g(x) est dans q, autrement dit x 0 mod g
1
(q), une contradiction.
En particulier, D
p
et D
q
sont isomorphes (via lautomorphisme interieur h ghg
1
, et meme egaux si G est abelien). En
particulier, lelement de Frobenius denit un element de G bien deni ` a conjugaison près et bien denit tout court si G est
abelien ! Cest le debut de la theorie du corps de classes...
Exercice 10.4.7. Soit P un polynome à coecients entiers de degre n 3. On suppose quil
existe 3 nombres premiers p
0
, p
1
, p
2
tels que les reductions P mod p
i
aient un unique facteur
irreductible de degre d
i
avec d
0
= n, d
1
= n 1 et d
2
= 2. Montrer que le groupe de Galois de
P sur Q est S
n
(utiliser 6.9.5). Montrer lexistence dun tel polynome pour tout n 3.
En fait, en ranant (à peine) lexercice precedent, on peut montrer, quen un sens convenable, la
probabilite

-on devrait plut ot parler de densite- pour quun polyn ome à coecients entiers de
degre n donne ait pour groupe de Galois sur Q le groupe S
n
est 1 (voir Bourbaki, N., Algèbre,
Chapitre 4 ` a 7, Masson, (1981), exercice V.12.13) ! ! !
Comme on le verra en PC, le theorème 10.4.4 permet bien souvent de calculer le groupe de Galois
dun polyn ome. Ce nest pas un hasard : terminons ce voyage par un paragraphe sans preuve,
expliquant pourquoi la methode de reduction mod p est si ecace.
74 YVES LASZLO
10.5. Le theorème de Cebotarev. Soit K une extension galoisienne de Q, corps des racines
de P separable, à coecients entiers disons. Si p premier est assez grand (ne divisant ni le terme
dominant de P ni son discriminant), disons p > n(P), la reduction mod p de

P est à racines
simples. On dispose donc dun groupe de decomposition D
p
= Gal(k/F
p
) cyclique, engendre par
le Frobenius, bien deni à conjugaison près. Notons C
p
lensemble des elements de G conjugues
` a un tel element, qui elle ne depend que de p et pas de p. Soit alors C une classe de conjugaison
dun element de G. On peut se demander si C provient de la caracteristique p, autrement dit si
C = C
p
. Cest vrai, avec

probabilite

card C/ card G au sens suivant.
Theorème 10.5.1 (Cebotarev). La limite de la suite
n
cardp premiers tels que C = C
p
et n(P) < p n
cardp premiers tels que p n
existe et vaut card C/ card G.
La preuve serait au niveau dun tel cours, mais utilise des techniques plus nes que celles ici
developpees dalgèbre et de fonctions holomorphes.
Par exemple, si C = 1, cette

probabilite

, plus precisement cest une densite, vaut 1/ card G.
Si on y reechit, on sapercoit sans peine que la condition C
p
trivial signie

P scinde. En particulier,
ce theorème dit quil existe une innite de p tel que

P est scinde sur F
p
, ce quon peut demontrer
de manière elementaire, mais astucieuse. Ce sont les mauvais p du point de vue du calcul du
groupe de Galois...
Nicolas Gregorievich Cebotarev
Exercice 10.5.2. Montrer que si un entier est un carre modulo p pour tout p est assez grand
alors cest un carre. Montrer que le resultat analogue subsiste avec des puissances l-ièmes o` u l est
premier (dicile).
11. Appendice : transcendance de e et
Les methodes de preuve de la transcendance de e et sont analogues. Soit P un polyn ome de degre m ` a coecients reels et
P le polyn ome deduit de P en remplacant ses coecients par leur valeur absolue. Posons alors
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 75
I(t) =
t
0
e
tu
f(u)du.
On a (integrations par parties)
(11.a) I(t) = e
t
m
j=0
P
(j)
(0)
m
j=0
P
(j)
(|t|)
et
(11.b) |I(t)| |t|e
|t|
P(|t|).
a) Transcendance de e.
Supposons quon ait
(11.c)
n
i=0
a
i
e
i
= 0
avec n, a
0
> 0 et a
i
entiers. Posons
J =
n
k=0
a
k
I(k).
Avec les notations precedentes, les formules (11.a) et (11.c) donnent immediatement
J =
m
j=0
n
k=0
a
k
P
(j)
(k)
ce qui assure dej` a que J est entier.
On choisit p premier > na
0
et on denit
P(X) = X
p1
(X1)
p
(Xn)
p
et donc m = (n + 1)p 1.
Par construction, on a
P
(j)
(k) = 0 si j < p et k > 0 et P
(j)
(0) = 0 si j < p 1
de sorte que
J = a
0
P
(p1)
(0)
m
j=p
n
k=p
a
k
P
(j)
(k).
Or, j!|P
(j)
(k) pour tous les entiers j, k (formule de Taylor par exemple) de sorte que
(p 1)!|J et J a
0
P
(p)
(0) mod (p!).
Un calcul direct donne de plus
a
0
P
(p1)
(0)/(p 1)! = a
0
(n!)
p
.
Comme p > na
0
, il ne divise pas lentier a
0
P
(p1)
(0)/(p 1)! qui est donc non nul, donc 1. On a donc linegalite
|J| (p 1)!
Un calcul direct montre dautre part quon a
P(k) (2n)
m
pour 0 k n. En rempla cant dans (11.b), on deduit lexistence de c ne dependant que des a
i
et de n (et pas de p) tel que
|J| c
p
pour tout p premier assez grand, ce qui contredit |J| (p 1)!.
76 YVES LASZLO
b) Transcendance de . La preuve est du meme type. Supposons que est algebrique sur Q, donc i egalement. Soient
1
, ,
d
les conjugues de i et G le groupe de Galois sur Q du corps quils engendrent. Si N > 0 est un denominateur
commun des coecients du minimal de i, les N
j
sont des entiers algebriques. Pour tout = (
i
) {0, 1}
d
, posons
j
.
On a
(11.d) 0 =
j
(1 + exp(
j
)) =
exp(
) = q +
A
exp(
)
o` u A = {|
= 0} et q = 2
d
card(A) = 2
d
n > 0. Notons a
1
, , a
n
les n elements de A.
Lemme 11.0.3. Soit S Z[X
1
, , X
n
] un polyn ome symetrique en les X
i
. Alors, s = S(Na
1
, , Na
n
) Z.
Demonstration. Comme G permute les
j
, il permute aussi les elements de A. Ceci entrane que s est xe par G donc
est rationnel (6.5.1). Mais S est aussi un entier algebrique, donc est dans Z (10.2).
On procède comme plus haut avec
P(X) = N
np
X
p1
(x a
1
)
p
(Xa
n
)
p
o` u p premier qui a vocation ` a devenir grand et m = (n + 1)p + 1. Gr ace ` a (11.a) et (11.d), on a
J := I(a
1
) + + I(a
n
) = q
m
j=0
P
(j)
(0)
m
j=0
n
k=1
P
(j)
(a
k
).
On procède exactement comme plus haut en constatant que 0 et
i
sont des zeros dordre p1 ce qui, gr ace au lemme 11.0.3,
assure
(p 1)!|J.
Comme plus haut, on doit montrer que p ne divise pas lentier relatif (11.0.3)
qP
(p1)
(0)/(p 1)! = qN
npn
(Na
1
Na
n
)
ce qui est le cas si p est assez grand. Ainsi, |J/(p 1)!| est entier et non nul donc 1. De meme que plus haut, on obtient
gr ace ` a (11.b) lexistence dune constante c independante de p telle |J| c
p
ce qui contredit |J| (p1)! pour p assez grand.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 77
12. Quelques mots de theorie de Galois inverse
Soit

Q la cl oture algebrique de Q dans C. La connaissance du groupe de galois absolu
G = Gal(
Q/Q)
a de profondes consequences arithmetiques.
Cest par exemple en etudiant les proprietes subtiles de certaines representations lineaires de G dans un Q
p
-espace vectoriel
de dimension 2 que Wiles
(43)
a pu resoudre la fameuse enigme vieille de plus de 350 ans, ` a savoir donner, entre autres choses,
une preuve du theorème de Fermat : si
x
n
+ y
n
= z
n
avec n 3, x, y, z Z, alors xyz = 0.
Andrew Wiles
Il nest pas question de donner un aper cu de la preuve ici qui depasse, et de loin, le niveau de ce cours. Pour tenter de
comprendre G, on peut dej` a se demander quels sont ses quotients nis. Cest ce quon appelle la theorie de Galois inverse.
Cest un sujet de recherche actif. Donnons-en pour nir ce cours un aper cu. On utilisera sans plus de precaution le principe
suivant, deduit immediatement de la remarque 6.2.9 :
Proposition 12.0.4. Tout quotient du groupe de Galois dune extension galoisienne de Q est quotient de G.
12.1. Le cas abelien ni. Nous allons prouver lenonce suivant.
Proposition 12.1.1. Tout groupe abelien ni est quotient de G.
Demonstration. Le groupe de Galois G
n
de lextension cyclotomique est (Z/nZ)
. Pour montrer que tout groupe abelien

ni est quotient de G, il sut de prouver que tout groupe abelien est quotient de H = (Z/nZ)
pour n convenable.
Supposons que n = p
1
p
m
est un produit de nombres premiers distincts. Daprès le lemme chinois et 4.2.1, H est isomorphe
au produit
Z/(p
1
1)Z Z/(p
m
1)Z.
Si N
i
est un entier divisant p
i
1, le morphisme de reduction mod N
i
realise Z/N
i
Z comme un quotient de Z/(p
i
1)Z.
Ainsi, si N
i
, , N
m
sont des entiers divisant respectivement p
1
1, , p
m
1, on deduit que =
Z/N
i
Z est un quotient
de H.
Inversement, donnons nous N
1
, , N
m
des entiers 1. Le theorème de la progression arithmetique de Dirichlet (cf. polycopie
de tronc commun ou mieux lexercice 7.2.11) assure quon peut trouver des nombres premiers arbitrairement grands dans
chacune des progressions arithmetiques 1 + N
i
, N. On peut donc choisir p
1
, , p
m
distincts tels que N
i
|p
i
1 pour
tout i, assurant que est bien un quotient de H, donc de G.
Or, il nest pas très dicile de montrer que tout groupe abelien ni est produit de groupe cycliques (cf. polycopie de cours
de tronc commun).
43. 1953-
78 YVES LASZLO
12.2. Le premier cas non abelien non trivial. Le seul groupe non abelien dordre 7 est S
3
= D
6
qui est le groupe
de Galois de X
3
2 (6.10.4), donc est quotient de G. Il y a 5 groupes dordre 8 (cf. devoir). Trois sont abeliens, ` a savoir
Z/8Z, Z/2Z Z/4Z, Z/2Z Z/2Z Z/2Z,
et deux ne le sont pas, ` a savoir
D
8
, H
8
.
Rappelons que le groupe H
8
, dit des quaternions, est le groupe ayant huit elements
1, i, j, k, t, ti, tj, tk,
o` u t et central et
t
2
= 1, et i
2
= j
2
= k
2
= ijk = t.
On a vu (PC) que D
8
est le groupe de Galois de X
4
2, de sorte que D
8
est quotient de G. Pour distinguer les distinguer,
il sut de constater que D
8
a 5 elements dordre 2 tandis que H
8
nen a quun, qui engendre son centre.
On a alors lexercice suivant (emprunte ` a David Madore, qui lattribue ` a Dirichlet).
Exercice 12.2.1. On se propose de montrer que lextension de corps
Q(
(2 +
2)(3 +
6))/Q
est galoisienne avec pour groupe de Galois le groupe H
8
. (1) Posons a = (2 +
2)(3 +
6), et soit K = Q(a) : expliquer

pourquoi lextension Q est galoisienne de groupe de Galois produit de deux groupes cycliques dordre 2. On
notera
si, sj, sk Gal(K/Q)
les trois elements non triviaux. (2) Montrer que pour chaque =
i
,
j
,
k
la quantite (a)/a est le carre dun element K
que lon precisera. (3) Soit d =
a et L = Q(d). Montrer que d K (on pourra utiliser la question precedente). Quel est le
groupe de Galois de L/K? On note son generateur, quon considerera comme un element de Gal(L/Q) (dont Gal(L/K)
est un sous-groupe).
(4) Denir des automorphismes
i
et
j
de L qui prolongent
i
et
j
.
respectivement. On posera
k
=
i

j
. (5) Calculer la loi de groupe et conclure.
12.3. Le cas reductif ni. La suite exacte fondamentale (6.7.a) de la theorie de Galois pourrait laisser croire quon
deduit du cas abelien que tout groupe resoluble est groupe de Galois sur Q. En fait, il nen est rien, cest très delicat. Mais
cest vrai.
Theorème 12.3.1 (Shafarevich
(44)
). Tout groupe ni resoluble est quotient de G.
Igor Rostilavovich Shafarevich
44. 1923-
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 79
Nous avons rencontre en PC notamment de nombreux groupes resolubles non abeliens, comme les groupes diedraux (groupes
des isometries planes dun polygone regulier ` a n c otes). Les mathematiciens Feit
(45)
et Thompson
(46)
ont montre le très
dicile et resultat suivant, qui donne un moyen simple de reperer si certains groupes sont resolubles en particulier...
Les experts conjecturent quen fait tout groupe ni est quotient de G.
Theorème 12.3.2 (Feit-Tomaison). Tout groupe dordre impair est resoluble.
Walter Feit John Griggs Thompson
12.4. Quelques quotients de G. Parmi les groupes resolubles on trouve A
n
, S
n
, n leq4. On a vu que S
n
est quotient
de G (10.4.7). La question de savoir si A
n
est quotient de G est très dicile et a ete resolue par Hilbert qui a introduit une
methode très puissante pour construire des quotients de G provenant de la geometrie.
Theorème 12.4.1 (Hilbert). Les groupes alternes sont quotients de G.
Le lecteur cultive sait que A
n
, n 5 est simple, autrement dit na pas de quotient non trivial. Les groupes simples nis sont
classies. Outre les groupes alternes, on trouve une liste innie provenant des groupes matriciels ` a coecients dans les corps
nis, comme par exemple les groupes
PSL
n
(F
q
) = SL
n
(F
q
)/F
q
et une liste nie de 26 groupes dits sporadiques. Parmi ceux-l` a, le plus gros dentre eux, decouvert en 1973, sappelle le
monstre et a pour cardinal
808 017 424 794 512 875 886 459 904 961 710 757 005 754 368 000 000 000.
Tous les groupes sporadiques sont quotients de G mis ` a part une exception : on ne sait pas en janvier 2009 si le groupe de
Mathieu
(47)
M
2
3, pourtant relativement petit, est quotient de G, meme si son cardinal nest que 10 200 960 (comparer
` a celui du monstre !). En fait, on ne sait meme pas en toute generalite, loin sen faut, si les groupes GL
n
(F
q
) leurs avatars
PSL
n
(F
q
) sont quotients de G, meme si de nombreux cas sont connus (voir H. V olklein, GL
n
(q) as Galois group over
the rationals , Mathematische Annalen (1992), vol. 293, n
1, 163-176 pour des resultats dans ce cas, et J.-P. Serre

(48)
,
Groupes de Galois sur Q , Seminaire Bourbaki, 30 (1987-1988), Expose No. 689 pour le problème general). Il semblerait
que les experts du sujet ne sachent pas par exemple si les groupes
PSL
2
(F
5
3) ou GL
4
(F
2
2)
sont quotients de G.
45. 1930-2004
46. 1932-
47. 1835-1890
48. 1926-
80 YVES LASZLO
Jean-Pierre Serre
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 81
13. Corrections sommaires dexercices
Correction sommaire de lexercice 3.5.2
Si p est premier dans A et f : B A est un morphisme danneaux, f induit un morphisme
B/f
1
(p) A/p (3.3.2), injectif par construction. Ceci assure que B/f
1
(p) est intègre comme
sous-anneau dun anneau intègre et donc que f
1
(p) est premier.
En particulier, limage reciproque de lideal premier (0) de lanneau intègre A par lunique mor-
phisme Z A est premier. Comme Z est principal, il est donc de la forme pZ avec p nul ou
premier.
Limage inverse de lideal maximal (0) de Q par linjection Z Q est nulle. Or (0) nest pas
maximal dans Z car Z/(0) = Z nest pas un corps.
Soit a A dont limage dans A/I est inversible. Par denition, il existe donc b A, i I tel que
ab = 1 +i. Mais linverse de 1 +i est
n1
k=0
(i)
k
gr ace ` a la formule de la progression geometrique.
Ainsi, a est inversible dinverse b/(1 + i).
Daprès la propriete universelle du quotient (3.3.2), les morphismes de R-algèbre de R[X]/(P(X)
dans une algèbre A sidentient aux racines de P dans A. Soit donc j = exp(
2i
3
). Le morphisme
R[X] C deni par X j passe au quotient pour donner un morphisme R-lineaire K =
R[X]/(X
2
+ X + 1) C, visiblement surjectif. Il est injectif pour des raisons de dimension par
exemple (ou bien comme tout morphisme de corps). De meme, on dispose de deux morphismes
de R-algèbres R[X]/(X(X + 1)) R qui envoient X sur 0 et 1 respectivement. Le morphisme
correspondant R[X]/(X(X + 1)) R
2
est visiblement surjectif, et injectif pour des raisons de
dimension.
Decomposons n, d en facteurs premiers :
n =
p
n
p
, d =
p
m
p
, m
p
n
p
.
Daprès le lemme chinois,
(Z/nZ)
(Z/dZ)
est surjectif si et seulement si

(Z/p
n
p
Z)
(Z/p
m
p
Z)
lest. On peut donc supposer n = p

n
p
. Mais alors, Z/p
m
p
Z sidentie au quotient de Z/p
n
p
Z par
lideal I engendre par p
m
p
. Comme I
n
p
m
p
= (0), on invoque lexercice 3.5.4.
82 YVES LASZLO
Si x est algebrique sur k de minimal P, le k-morphisme de corps k[X]/(P) k[x] est visible-
ment bijectif. Lensemble des complexes algebriques secrit
PQ[X]0
P
1
(0) et donc est reunion
denombrable densembles nis, donc au plus denombrable. Comme il contient Q, il est inni
denombrable.
Si P(l) = 0, l L, il existe un unique morphisme de k-algèbre de k[X]/(P) dans L qui envoie X
sur l (3.3.2), do` u le premier point. Si P est non constant arbitraire, montrons par recurrence sur
n que pour tout polyn ome de degre n quil existe un sur-corps K de k de degre n! dans lequel
P est scinde. Si n = 0, cest clair. Supposons n > 0 et enonce vrai pour n1.

Ecrivons P = P
1
P
2
avec P
1
irreductible. Soit l une racine de P
1
dans le corps de rupture L de P
1
qui est de degre
deg(P
1
) n. On ecrit P
1
= (Xl)P
3
avec P
3
L[X]. On a deg(P
2
P
3
) n 1. Par recurrence, il
existe un surcoupes K de L de degre (n 1)! tel que P
2
P
3
est scinde dans K. On a [K : k] n!
(3.12.8) et K convient.
Soit P C[X] ne sannulant jamais, unitaire de degre n > 0 disons. Alors, 1/P est holomorphe
comme quotient de fonctions holomorphes à denominateur qui ne sannule pas. Si a est le maximum
des modules des coecients de degre < n de P, on a pour [z[ > 1 linegalite [P(z)[/[z[
n
1a/[z[
et donc lim
|z|
[1/P(z)[ = 0. Par continuite, on deduit que 1/P est bornee sur C, donc constante
daprès le theorème de Liouville : une contradiction.
Notons c le coecient binomial
p
k
avec 0 < k < p. On a p[p! = c.k!.(p k)!. Comme p est

premier, il est premier avec tout produit dentiers strictement compris entre 0 et p, notamment
avec k!(p k)!. Le lemme de Gauss assure alors p[c. Si maintenant a, b A, on a
(a + b)
p
= a
p
+
p1
k=1
p
k
a
k
b
pk
+ b
p
= a
p
+ b
p
,
ce quon voulait.
Si n[m, toute racine de X
p
n
X est racine de X
p
m
X do` u linclusion F
p
n F
p
m.
Inversement, si F
p
n F
p
m, on a F
p
n F
p
m et donc (p
n
1)[(p
m
1).

Ecrivons la division
euclidienne m = an + r, 0 r < n. On ecrit
p
m
1 = p
an
p
r
1 = (p
an
1)p
r
+ p
r
1.
Mais (formule de la progression geometrique), (p
n
1)[(p
an
1) de sorte que p
n
1[p
r
1 < p
n
1
qui nest possible que si r = 0, ce quon voulait.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 83
Mais alors, si d est la dimension de F
p
m sur F
p
n, on a, en tant quespace vectoriel, F
p
m
(F
p
n)
d
.
En contant les cardinaux, on a p
m
= (p
n
)
d
, do` u d = m/n.
On doit montrer que deux corps k, k
de meme cardinal q = p
n
sont isomorphes. Choisissons
algebriquement clos de caracteristique p (donc contenant F
p
). On sait que lidentite de F
p
se prolonge en des plongements s, s
de k, k
dans . Mais comme a un unique sous-corps de

cardinal q, on a s(k) = s
(k
) de sorte que s
1
s
est bien deni et est lisomorphisme cherche.

Sujet de reexion !
Soit n > 0 et
x
le minimal, necessairement irreductible, dun generateur x du groupe multiplicatif
de F
q
n. Comme F
q
n = F
q
[x], on a deg(
x
) = n, ce quon voulait. Si P est irreductible de degre n,
le corps de rupture est de degre n sur F
q
. Si x est une racine de P dans

F
p
, il sidentie (3.12.10)
` a F
q
[x] qui est F
q
n pour des raisons de dimension. Il est independant de la racine x de sorte que
toutes les racines de P sont dans F
n
q
. Ainsi, P est scinde dans son corps de rupture F
q
n qui est donc
aussi son corps de decomposition. Comme les racines de P sont simples et dans F
q
n, ensemble des
racines de X
p
n
X, on a P[(X
q
n
X).
Les elements X
1/p
, Y
1/p
sont algebriques de degre p (T
p
X est irreductible dans F
p
(X, Y)[T]
daprès 5.2.1). Lextension
k(X
1/p
, Y
1/p
)/k = k[X
1/p
, Y
1/p
]/k
est en particulier nie. La formule
P(X
1/p
, Y
1/p
)
p
= P
p
(X, Y)
o P
p
(U, V) =
i,j
a
p
i,j
U
i
V
j
avec
P(U, V) =
i,j
a
i,j
U
i
V
j
k[U, V]
assure que tout element de k(X
1/p
, Y
1/p
) est de degre au plus p. Si lextension en question etait
monogène, elle serait de degre p de sorte quon aurait k[X
1/p
] = k[Y
1/p
] pour des raisons de
dimension. On aurait donc une ecriture X =
a
i
(X
p
, Y
p
)Y
i
o les a
i
sont des fractions rationnelles.
En derivant par rapport à X, on obtient 1 = 0, une contradiction.
Soit = PPCM(n, m). Comme
/n
=
n
, on a
n
Q(
) et donc Q(
n
,
m
) Q(
).
84 YVES LASZLO
Inversement, /n, /m sont premiers entre eux de sorte quil existe des entiers u, v avec
u/n + v/m = 1.
En multipliant par 2i/ et en prenant lexponentielle, on trouve
=
u
n
v
m
, prouvant linclusion
inverse.
Une extension nie de k est galoisienne si cest le corps des racines dun polyn ome P (6.3.2). Or,
si F est engendree sur k par les racines de P, elle est engendree a fortiori par les racines de P sur
E (qui contient k !). Dans lexemple k = Q E = Q[2
1/3
] F = Q[2
1/3
, i], on remarque que F est
le corps des racines du polyn ome X
3
2 et donc est galoisienne sur k. Mais, X
3
2 est irreductible
sur k de sorte que j2
1/3
est un conjugue de 2
1/3
(3.12.5) qui nest pas dans E, ce qui empeche E/k
detre galoisienne (6.2.1).
Le corps xe de la conjugaison complexe est R. Le lemme dArtin (6.5.2) assure alors que C/R
est galoisienne de groupe de Galois Gal(C/R) = Z/2Z engendre par la conjugaison.

Evidemment,
on peut demontrer ca

` a la main

.
Dire g Ker(), cest dire (g) = (1 mod H), ie 1 H. Supposons quon ait un morphisme
f : G G
qui tue H. Soit x G/H et g, g
x. Il existe h H tel que g = g
h de sorte
que f(g) = f(g
h) = h(g
)f(h) = f(g
). Ainsi, f est constante sur x et on denit

f(x) comme
etant cette valeur constante. Verier que

f est un morphisme et que

f est lunique morphisme
G/H G
tel que f =

f est de pure routine. Le morphisme surjectif det : GL
n
(C) C
tue
SL
n
(C) et donc induit une surjection : GL
n
(C)/SL
n
(C) C
. Dire (M mod SL
n
(C) = 1,
cest dire (M) = 1 ie (M mod SL
n
(C)) = Id prouvant que est injective, donc un isomorphisme
puisquon sait quelle est surjective.
Soit f : X Y une bijection strictement decroissante entre deux ensembles ordonnes et x, x
X.
Alors, on a
f( max
x,x
) = min
f(x),f(x
)
,
et de meme pour le max... En appliquant à la correspondance de Galois f : T ( (T, ( ordonnes
par linclusion) (6.7.1), on obtient
f(K
G
1
K
G
2
) = f( min
LK
G
1,K
G
2
L) = max
HG
1
,G
2
H = G
1
G
2
.
De meme,
f(K
G
1
K
G
2
) = f( max
LK
G
1,K
G
2
L) = min
HG
1
,G
2
H = 'G
1
G
2
`.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 85
Soit maintenant x K. On a
f(k[x]) = Aut
k[x]
(K) = g G tels que g(y) = y pour tout y k[x] = G
x
la dernière egalite venant du fait que tous les elements de x sont k-lineaires.
Si x = (a
i
), on a
(a
1
, , a
k
)
1
(x) = (a
1
, , a
k
)(a
i
) = (a
i+1
)
pour i Z/kZZ.
Soit S le groupe engendre par les (i, i +1). On deduit la formule (i +1, j)(i, i +1)(i +1, j) = (i, j)
pour tout j = i, i + 1 qui montre (recurrence) (i, j) S pour tout j et donc S = S
n
puisque les
transpositions engendrent.
De meme, la formule (1, , n)
j
(1, 2)(1, , n)
j
= (j, j + 1) prouve que (1, 2) et (1, , n) en-
gendrent S
n
daprès ce qui precède.
Enn, supposons quun sous-groupe S contienne un n-cycle, une transposition et un (n1)-cycle.
Quitte ` a renumeroter, on peut supposer c = (1, , n) S. Soit t = (i, j), i < j une transposition
dans S. Quitte à conjuguer par c, on peut supposer t = (1, j). Soit un n 1-cycle de S et
soit a lunique point xe par . Quitte ` a conjuguer par c
na+1
, on peut supposer a = 1. Il existe
alors d Z tel que
d
(j) = 2 puisque induit une (n 1)-cycle de S
n1
= S2, , n. Mais
d
(1, j)
d
= (1, 2) de sorte que (1, 2) S et on conclut par le point precedent.
Soit z
i,j
, j = 1, , d
i
les racines de P
i
dans

F
p
. On plonge comme dhabitude le groupe de
Galois G du corps de decomposition F de
P
i
dans le groupe symetrique des bijections des
racines de
P
i
. Comme P
i
est irreductible, P
i
est le minimal de z
i
sur F
p
et ses racines sont les
conjugues sous Galois. Comme G est engendre par le Frobenius F puisque F est ni (4.2.3), ce
sont exactement les F
n
(z
1
), n = 0, , d
i
1. Soit
i
le cycle (z
1
, , F(z
1
), , F
d
i
1
(z
1
)). On
a par construction F =
i
. Comme les
i
commutent deux ` a deux puisquils sont ` a supports
disjoints, on a F
n
=
n
i
ce qui assure visiblement que F est dordre le PPCM des d
i
. Comme F
engendre G, on deduit card(G) = PPCM(d
i
). Correction sommaire de lexercice 6.10.3
Supposons H dindice 2. Soit g G. On doit montrer gH = Hg. Si g H, cest clair. Sinon, gH = H
et Hg = H. Mais G/H est de cardinal 2, donc egal à H, gH. Comme G est reunion disjointe de
ses classes ` a droites, on a gH = G H. De meme, Hg = G H, et donc gH = Hg. Soit alors
lunique element non neutre du groupe G/H. Il existe un unique isomorphisme G/H

1 : il
envoie sur 1. Si G = S
n
, comme les transpositions sont conjuguees, leurs images dans le groupe
abelien pm1 = G/H est soit toujours 1 soit toujours 1. Comme les transpositions engendrent
G = S
n
, ce ne peut etre 1 car sinon le morphisme quotient ne serait pas surjectif. Limage est donc
1 et donc le morphisme quotient est la signature. Son noyau H est donc A
n
, ce quon voulait.
86 YVES LASZLO
Tout dabord, le groupe de Galois G dun polyn ome separable de degre d est contenu dans S
d
et
nest trivial que si P est scinde dans k puisque le degre du corps des racines de P est le cardinal
du groupe de Galois. Ceci règle le degre 2. En degre 3, on peut supposer P sans racine dans k
(sinon on un groupe trivial ou Z/2Z daprès ce qui precède), donc irreductible ici. Le cardinal
du groupe de Galois est donc divisible 3, et donc est 3 ou 6. Or, S
3
a un unique sous-groupe de
cardinal 3!/2 = 2 (6.10.3), le groupe alterne A
3
= Z/3Z. Si k est de caracteristique impaire, ceci
se produit exactement si disc(P) est un carre dans k (6.10.1).
La derivee de X
n
1 est nX
n1
qui na de racines non nulle que si p[n. On en deduit immediatement
que P est separable si et seulement si p et n sont premiers entre eux.
En general, si P k[X] est unitaire de degre n de racines x
1
, , x
n
dans

k, on a
disc(P) = (1)
n(n1)
2
j=i
(x
i
x
j
) = (1)
n(n1)
2
i
P
(x
i
).
Si P = X
n
1, on a donc
disc(P) = (1)
n(n1)
2
n
n
i
x
n1
i
= (1)
n(n1)
2
n
n
(
i
x
i
)
1
.
Le produit des racines de X
n
1 est (1)
n1
, de sorte que
disc(X
n
1) = (1)
n(n+1)
2
n
n
.
Supposons PGCD(p, n) = 1 et p = 2. Laction de Gal(K/k) sur lensemble
n
(
k) est dans A
n
si
et seulement si (1)
n(n+1)
2
n
n
nest pas un carre dans k (6.10.1).
Comme k est de caracteristique 2, on a
x
2
i
+ x
2
j
= (x
i
x
j
)
2
= 0
pour tout i = j.
Soit { lensemble des paires = x, y o` u x, y sont deux racines distinctes de P. Le groupe de
Galois G de P permute les paires par action sur les racines. On note
1
,
2
les elements xy et
x
2
+y
2
respectivement. On a a =
2
qui est visiblement invariant par g donc est un element
de k.
On a
b
2
+ b =
i<j
(
x
2
i
x
2
i
+ x
2
j
+
x
i
(x
i
+ x
j
)
x
2
i
+ x
2
j
) =
i<j
x
i
x
j
x
2
i
+ x
2
j
= a.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 87
La somme des racines de X
2
+ X + a = 0 est 1 de sorte que ses racines sont b ou b + 1. Comme
X
2
+ X + a k[X], le groupe G permute ses racines de sorte que g(b) = b ou b + 1. Si g agit sur
les x
i
par la permutation des indices, on a
g(
x
i
x
i
+ x
j
) =
x
(i)
x
(i)
+ x
(j)
= 1 +
x
(j)
x
(i)
+ x
(j)
.
On en deduit la formule
g(b) =
i<j
(i)<(j)
x
(i)
x
(i)
+ x
(j)
+
i<j
(i)>(j)
1 +
x
(j)
x
(i)
+ x
(j)
.
Comme
(1)
card{(i,j)|i<j et (i)>(j)}
= (),
on obtient g(b) = b si et seulement si () = 1, ce quon voulait.
Cest très classique.

Ecrivons x = p/q avec p, q premiers entre eux et q 1. Alors, x annule un
polyn ome du type P(X) = X
n
+
i<n
a
i
X
i
, n 1 avec a
i
Z. On a donc
q
n
P(p/Q) = p
n
+ q
i<n
a
i
p
i
q
n1i
= 0,
de sorte que q[p
n
. Comme PGCD(p, q) = 1, ceci force q = 1 et donc x = p Z.
Consequence immediate de la theorie de Galois et de (2.1.3).
Comme n est premier ` a la caracteristique de k, le cardinal de
n
(
k) est n et P est separable

sur k. On sait par ailleurs (PC), que cest un groupe cyclique : choisissons un generateur
n
.
Soit K = k(
n
), L = K(
n
a). Notons que L ne depend pas du choix de

n
a. Cest le corps de
decomposition de P. Comme P et X
n
1 sont separables sur k, les corps L et K sont galoisiens
sur k. On a alors la suite exacte fondamentale (6.7.1,iv))
1 Gal(L/K) Gal(L/k) Gal(K/k) 1.
Mais Gal(L/K) est cyclique grace à la theorie de Kummer (9.1.1) tandis que Gal(K/k) est un
sous-groupe de (Z/nZ)
(7.1.2), donc est abelien.

La suite exacte
1 A
n
S
n
1 1
88 YVES LASZLO
et (9.3.5) assurent que S
n
est resoluble si et seulement si A
n
lest. Comme A
3
est cyclique dordre
3, il est resoluble. Pour A
4
, on peut observer que
K = Id, (12)(34), (13)(24), (14)(23)
est, assez miraculeusement un sous-groupe distingue de A
3
(et de S
3
dailleurs). Comme A
3
est de
cardinal 12, le quotient est de cardinal 3, et donc est cyclique comme tout groupe dordre premier.
On conclut encore gr ace à (9.3.5).
Il est bien connu (et facile -utiliser le pivot de Gauss-) que SL
n
(C) est engendre par les trans-
vections T
i,j
() = I + E
i,j
, i = j, = 0 et que deux transvections sont conjuguees dans SL
n
(C).
Donc, il existe P SL
n
(C) tel que
(T
i,j
())
2
= T
i,j
(2) = PT
i,j
()P
1
de sorte que T
i,j
() est le commutateur [P, T
i,j
()]. Comme les transvections engendrent, on a
D(SL
n
(C)) = SL
n
(C). Notons au passage que largument vaut en remplacant C par nimporte
quel corps de caracteristique dierente de 2.
1) Il sut dassocier à une matrice triangulaire inversible la suite des ses coecients diagonaux
pour trouver la suite exacte cherchee. On invoque alors (9.3.5).
2) Le premier point est clair. Soit f U
j
et g U (voire g B si on veut). Supposons que
Id + u, Id + v U
j
. On a
ln((Id + u)(Id + v))(F
i
) = (u + v + uv)(F
i
) F
ij
+ uv(F
i
).
Comme
uv(F
i
) F
i2j
F
ij
,
on a bien (Id + u)(Id + v) U
j
. Comme Id est dans U
j
, ce dernier est bien un sous-groupe de U.
Comme g(F
i
) F
i
et g
1
(F
i
) F
i
pour tout i, on a
gfg
1
(F
i
) gf(F
i
) g(F
ij
) F
ij
.
Ainsi U
i
U.
3) Soit j 1. Comme ln(f) laisse stable F
i
et F
ij1
, il induit bien une application lineaire ln(f)
i,j
du quotient F
i
/F
ij1
. Dire que ln(f)
i,j
est nulle, cest exactement dire ln(f)(F
i
) F
ij1
.
4) Si, comme plus haut, Id + u, Id + v U
j
, on a
uv(F
i
) F
i2j
F
ij1
et donc est nul en tant quendomorphisme de F
i
/F
ij1
. Ceci assure que f ln(f)
i,j
est un
morphisme de U
i
dans le groupe additif commutatif End(F
i
/F
ij1
). Daprès 3), le noyau de ln
j
est U
j1
.
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 89
5) On applique la denition 9.3.1 pour conclure que U est resoluble et donc que B est resoluble
daprès 1).
Le fait que S
4
opère sur X resulte de la formule (6.9.4) ou de 6.9.a comme on veut. Si on numerote
les elements de X en decideant que la transposition (1, i + 1) apparat dans x
i
, loperation S
4

Aut(X) sidentie à un morphisme S
4
S
3
. Limage de (1, 2) est (2, 3). On deduit que est
surjective. Comme le groupe engendre par X est K = Id X = Z/2Z Z/2Z est abelien, il
est dans le noyau. Pour des raisons de cardinaux, cest le noyau. On a donc Ker() resoluble car
abelien et S
4
/Ker() = S
3
resoluble de sorte que S
4
est resoluble (9.3.5).
Sujet de reexion, assez classique par ailleurs !
Le theorème 10.4.4 et lexercice 6.10.2 assure que le groupe de Galois G S
n
contient un n-cycle,
un n 1 cycle et une transposition. On conclut grace ` a 6.9.5.
Voir examen de juin 2007.
Soit P est un annulateur unitaire à coecients entiers de z. On peut supposer z = 0. Observons
dejà qualors tous les z
i
sont non nuls puisquils sont conjugues de z sous Galois. Alors, les z
i
, i =
1, , d sont des racines de P comme dhabitude, et donc sont des entiers. Soit G le groupe de
Galois de Q(z
i
) sur Q. Comme
n
=
(Xz
n
i
) est xe par G, il est ` a coecients dans Q. Mais ses
coecients sont des polyn omes ` a coecients entiers en les z
i
, donc sont entiers sur Z, donc sont
entiers (7.2.6). Precisement, ces coecients a
j
(n) Z sont des fonctions symetriques elementaires,
somme de
d
j
produits z
n
i
1
z
n
i
j
. On deduit linegalite [a
j
(n)[
d
j
: on a donc un nombre ni
de coecients. Il existe donc un nombre ni de polyn omes
n
et donc un nombre ni de d-uples
(z
n
i
). Soit donc n < m tel que (z
n
i
) = (z
m
i
) et donc z
mn
i
= 1.
90 YVES LASZLO
Index
element algebrique, 23
element primitif, 38
element transcendant, 23
algèbre, 22
algorithme de Berlekamp, 33
anneau des entiers, 71
anneau quotient, 15
base telescopique, 25
caractère cyclotomique, 53
cl oture algebrique, 26
cl oture galoisienne, 59
constructible, 8
corps algebriquement clos, 26
corps de decomposition, 29
corps de rupture, 23
corps des racines, 29
corps ni F
q
, 31
correspondance de Galois, 46
critère de resolubilite des equations, 66
degre, 25
discriminant, 51
discriminant en caracteristique 2, 52
entier, 71
extension galoisienne, 40
extensions cycliques, 62
Ferrari, 12
formules de Cardan, 12
groupe derive, 65
groupe de decomposition, 72
groupe de Galois, 41
dun polynome, 48
dune extension composee, 59
de lextension cyclotomique, 56
groupe quotient, 43
groupe resoluble, 64
inductif, 19
intersection, reunion dextensions cyclotomiques, 57
inversions dune permutation (nombre d), 50
irreductibilite de
n
sur Q, 55
Kronecker-Weber, 63
lemme chinois, 20
lemme dArtin, 43
lemme de Zorn, 19
morphisme de Frobenius, 30
norme, 71
polynome minimal, 24
polynome separable, 35
rang dun module libre, 20
specialisation du groupe de Galois, 70
theorème dAbel, 68
theorème de Cebotarev, 74
theorème de specialisation, 73
theorème de Steinitz, 27
theorème de Wantzel, 9
theorie de Kummer, 62
transcendance de e et , 74
type dune permutation, 49
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 91
Table des matières
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2. Invitation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1. Construction à la règle et au compas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Resolution dequations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Generalites sur les algèbres et les corps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.1. Quelques rappels sur les anneaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2. Morphisme de corps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.3. Anneaux quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.4. Caracteristique dun corps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.5. Proprietes des ideaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.6. Lemme de Zorn et application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.7. Une application : Rang dun module libre de type ni . . . . . . . . . . . . . . . . 20
3.8. Le lemme Chinois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.9. Algèbres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.10. Corps de rupture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.11.

Elements algebriques, transcendants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.12. Critère dalgebricite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.13. Notion de cl oture algebrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.14. Preuve de lexistence de la cl oture algebrique . . . . . . . . . . . . . . . . . . . . . . . . 28
3.15. Preuve de lunicite de la cl oture algebrique . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.16. Corps des racines (ou de decomposition) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.17. Le morphisme de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4. Corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1. Existence et unicite des corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2. Automorphismes des corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.3. Une application du lemme chinois : lalgorithme de Berlekamp . . . . . . . . 33
5. Corps parfaits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.1. Extensions de corps parfaits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5.2. Racines p-ièmes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
6. La correspondance de Galois (pour les corps parfaits) . . . . . . . . . . . . . . . . . . . . . . . . 38
6.1. Le theorème de lelement primitif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6.2. Extensions galoisiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.3. Caracterisations des extensions galoisiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.4. Groupe de Galois des corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.5. Points xes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6.6. Parenthèse sur les groupes quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.7.

Enonce et preuve de la correspondance de Galois . . . . . . . . . . . . . . . . . . . . . . 45
6.8. Groupe de Galois dun polyn ome . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6.9. Parenthèse sur le groupe symetrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6.10. Discriminant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7. Cyclotomie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.1. Sur le groupe de Galois de lextension cyclotomique generale . . . . . . . . . . 53
7.2. Irreductibilite du polyn ome cyclotomique sur Q . . . . . . . . . . . . . . . . . . . . . . 54
7.3. Intersections de corps cyclotomiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
8. Appendice : groupe de Galois des extensions composees . . . . . . . . . . . . . . . . . . . . . . 59
8.1. Extensions composees, cloture galoisienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
9. Resolubilite par radicaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
9.1. Extensions cycliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
9.2. Commentaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
92 YVES LASZLO
9.3. Intermède sur les groupes resolubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
9.4. Applications aux equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
10. Reduction modulo p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
10.1. Specialisation du groupe de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
10.2. Somme, produits dentiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
10.3. Norme des elements de A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
10.4. Groupe de decomposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
10.5. Le theorème de Cebotarev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
11. Appendice : transcendance de e et . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
12. Quelques mots de theorie de Galois inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
12.1. Le cas abelien ni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
12.2. Le premier cas non abelien non trivial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
12.3. Le cas reductif ni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
12.4. Quelques quotients de G . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
13. Corrections sommaires dexercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Yves Laszlo
INTRODUCTION
`
A LA TH
EORIE DE GALOIS 93
15 mars 2010
Yves Laszlo,

Ecole poytechnique, CMLS, 91128 Palaiseau Cedex, France
E-mail : laszlo@math.polytechnique.fr

Laszlo-Theorie de Galois

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Laszlo-Theorie de Galois

Uploaded by

Copyright:

Available Formats

INTRODUCTION

Evariste Galois, Gauthiers-Villars (1962).

reine des sciences

est un corps de degre 2 sur L

(cf. PC). Notons quon a F

a. En general, pour lequation de degre n, une habile translation

comme au sous-corps (k) de k

est une extension de k, considerant k comme un sous-corps de k

+ I) sont egaux si et seulement si a a

de composition par la surjection canonique A A/I denit un isomorphisme

est additive. Soit alors dans le noyau ie = 0. Comme

est un morphisme dan-

) lensemble des morphismes dalg`ebres. Deux

du lemme chinois 3.8.2

(y) = 0 (3.12.5), do` u un k-morphisme L[x] prolongeant . Par maximalite

est divisible par

= 1, ce qui nest pas. Lunicite a ete

est isomorphe `a un produit

est multiplicative, alors qu`a droite la loi est additive,

dun corps k sont lineairement independants,

est nul, autrement dit P secrit

sont premiers entre eux, lidentite de Bezout assure que P, P

. Comme P est irreductible, le PGCD de P et

Element primitif ). Toute extension nie K/k est monog`ene.

est cyclique (4.2.1), engendre par x disons. On

. Posons L = k[z]. Il sut de prouver x L, car alors

), les racines de Q secrivent

3 est un element primitif de Q(

2 ne lest pas. En general, un element

qui permet didentier et (et donc Aut

. On en deduit quil envoie K = k[x

Ecrire ces exten-

), le lecteur trouvera un algorithme ecace

. Si k est de caracteristique dierente de 2, cest un carre de k

d k, independamment de la caracteristique de k. Inver-

est le groupe multiplicatif des elements inversibles de lanneau Z/nZ

qui est visiblement un morphisme de groupes.

. En particulier, il est com-

(X ), le produit etant etendu aux

une racine quelconque de

primitive). En decomposant m en facteurs premiers, une application repetee du lemme

pour tout d divisant . On a deux sous-corps K

]) et que le groupe engendre par

est dans lintersection de

avec par exemple 0 de sorte que = p

. Le cas o` u ou est nul est trivial.

Z, i = , et donc le groupe engendre est

est cyclique) que

qui est donc galoisienne

est de Kummer, donc galoisienne de groupe cyclique (cest la

de B qui est un C-module de type ni

de type ni sur C, engendre par b

) de rapport b dans C). Soit P = det(XId ) le

2) = 2. Si z est entier, on a donc N(z) Z puisque P Z[X] (7.2.7).

telle que tout element de B

. Pour montrer que tout groupe abelien

6), et soit K = Q(a) : expliquer

1, 163-176 pour des resultats dans ce cas, et J.-P. Serre

est surjectif si et seulement si

lest. On peut donc supposer n = p

avec 0 < k < p. On a p[p! = c.k!.(p k)!. Comme p est

dans . Mais comme a un unique sous-corps de

est bien deni et est lisomorphisme cherche.

qui tue H. Soit x G/H et g, g