Vous êtes sur la page 1sur 50

6 Extensions de corps et

thorie de Galois
Version du 28 novembre 2005
Dans les chapitres prcdents, les corps sont apparus comme des anneaux
trs simples (pas didaux propres non nuls, modules se rduisant aux espaces
vectoriels, qui sont classis par leur dimension, etc.) et on ne sest pas
intress eux. Dans ce chapitre et les suivants, on va tudier les extensions
de corps, c.--d., la donne dune paire de corps k K. Essentiellement,
ceci revient tudier K non seulement comme corps, mais aussi comme
k-algbre. Ceci donne lieu une thorie trs riche.
Bien sr, on pourrait tudier, de faon plus gnrale, les extensions dan-
neaux A B, mais ceci est en gnral trop compliqu et inabordable.
23 Caractristique et extensions de corps
23.1 Les corps fondamentaux Q et F
p
Il y a deux exemples fondamentaux de corps. Dune part, le corps des
rationnels Q, qui est le corps des fractions de Z. Dautre part, les corps nis
F
p
, o p Z est un nombre premier 2. Ils sont construits comme suit.
Dnition 23.1.1 Soit p 2 un nombre premier. On note F
p
lanneau
quotient Z/pZ. Cest un corps car lidal pZ est maximal, puisque Z est
principal et p irrductible.
De faon quivalente, mais plus concrte, le fait que Z/(p) soit un corps
rsulte du thorme de Bezout. En eet, soit a Z non divisible par p.
Comme lidal engendr par a et p est Z, il existe , Z tels que a+p =
1. Alors, les classes de et a modulo p sont inverses lune de lautre.
145
146 Algbre et thorie de Galois 2005-2006
En pratique, on peut trouver explicitement les coecients de Bezout
et (et donc linverse de a modulo p), par la mthode des divisions
successives.
Exemples 23.1.2 1) Prenons p = 37 et a = 7. Alors
_
37 = 5 7 + 2
3 2 + 1 = 7,
do
_
3 37 = 15 7 + 3 2
3 2 + 1 = 7,
et 16 7 3 37 = 1. Donc linverse de 7 mod. 37 est 16.
2) Prenons p = 167 et a = 17. Alors
_

_
167 = 9 17 + 14
14 + 3 = 17
14 = 4 3 + 2
1 + 2 = 3,
do
_
_
_
14 + 1 = 5 3,
6 14 + 1 = 5 17,
6 167 + 1 = (6 9 + 5) 17.
Donc 1 = 59 17 6 167 et 59 est linverse de 17 modulo 167.
Dnition 23.1.3 (Sous-corps engendr) Soit K un corps.
1) Si (K
i
)
iI
est une famille de sous-corps de K, o I est un ensemble
non-vide, lintersection des K
i
est un sous-corps de K.
2) Soit S une partie non-vide de K. Lensemble des sous-corps de K
contenant S est non-vide (car il contient K) et donc lintersection de tous ces
sous-corps est un sous-corps de K, qui est le plus petit sous-corps contenant
S. On lappelle le sous-corps engendr par S.
Dnition 23.1.4 Le sous-corps de K engendr par llment 1
K
sappelle
le sous-corps premier de K. Il est contenu dans tout sous-corps de K.
Remarque 23.1.5 (Facile mais importante) Soient K et K

deux corps.
Tout morphisme danneaux : K K

est un morphisme de corps, car


lgalit
1 = (1) = (xx
1
) = (x)(x
1
)
entrane que (x
1
) = (x)
1
pour tout x K 0. De plus, est injectif
car Ker , tant un idal propre de K (car (1) = 1), est ncessairement nul.
Proposition 23.1.6 (Sous-corps premier et caractristique)
Soit K un corps arbitraire. Le sous-corps de K engendr par 1 est iso-
morphe soit Q, soit F
p
, pour un nombre premier p 2 uniquement
Patrick Polo 147
dtermin. On dit que la caractristique de K est 0 dans le premier cas,
et p dans le second cas. De faon plus prcise, la caractristique de K est le
gnrateur 0 du noyau du morphisme Z K, n n 1
K
. On la note
car(K).
Dmonstration. Comme K est un groupe ablien, cest un Z-module,
pour laction dnie, pour tout n 0 et x K, par n x = x + + x (n
fois), et (n) x = n (x). De plus, le morphisme de Z-modules : Z K,
n n 1
K
est un morphisme danneaux, puisque la distributivit de la
multiplication dans K entrane :
(m 1
K
)(n 1
K
) = (1 + + 1)(1 + + 1) = (mn) 1
K
.
Observons aussi que Ker est un idal premier de Z, puisque Z/ Ker est
isomorphe un sous-anneau de K, donc intgre. Par consquent, de deux
choses lune.
1) Si Ker = (0), on peut identier Z son image Z1
K
. Comme tout
lment de (Z 0) est inversible dans K, alors se prolonge en un mor-
phisme danneaux : Q K, ncessairement injectif puisque Q est un
corps. De plus, tout sous-corps de K contient 1
K
, les lments n 1
K
et leurs
inverses. Ceci montre que le sous-corps premier de K est (Q), isomorphe
Q. Dans ce cas, on identiera Q son image dans K :
Q = x K [ n, m Z, n ,= 0, tels que nx = m1
K
.
2) Si Ker ,= (0), alors Ker = (p), o p est un nombre premier 2. Dans
ce cas, induit un isomorphisme de F
p
sur son image, qui est forme des
lments n1
K
pour 0 n < p. Ceci montre que, dans ce cas, le sous-corps
premier de K est form des lments n1
K
pour 0 n < p ; on lidentiera
F
p
. La proposition est dmontre.
23.2 Gnralits sur les extensions
Dnition 23.2.1 (Sous-corps engendr sur k) Soit k K une exten-
sion de corps. (On dira aussi que K est un surcorps de k.) Soit S une partie
de K. Lensemble des sous-corps de K contenant k et S est non-vide (car il
contient K) et donc lintersection de tous ces sous-corps est un sous-corps
de K, qui est le plus petit sous-corps contenant k et S. On lappelle le
sous-corps engendr par S sur k et on le note k(S), ou k(x
1
, . . . , x
n
) si
S = x
1
, . . . , x
n
.
148 Algbre et thorie de Galois 2005-2006
Dnition 23.2.2 (Extensions de type ni) On dit que k K est une
extension de type ni si K est engendr comme surcorps de k par un
nombre ni dlments, c.--d., sil existe x
1
, . . . , x
n
K tels que K =
k(x
1
, . . . , x
n
). Si de plus il existe x K tel que K = k(x), on dira que
lextension k K est monogne.
Lemme 23.2.3 Soit K un surcorps de k et soient I, J deux parties de K.
Alors k(I)(J) = k(I J). Par consquent, toute extension de type ni k
k(x
1
, . . . , x
n
) est obtenue comme compose dextensions monognes :
k(x
1
, . . . , x
n
) = k(x
1
)(x
2
, . . . , x
n
) = k(x
1
)(x
2
) (x
n
).
Dmonstration. k(I)(J) contient I J et donc k(I J). Rciproquement,
k(I J) contient k(I) et J, donc k(I)(J). Ceci prouve le lemme.
Dnition 23.2.4 Soient K et K

deux extensions de k. On dira que K et


K

sont k-isomorphes sil existe un isomorphisme : K



K

(de corps ou
danneaux ; on a vu que ctait la mme chose) tel que () = pour tout
k. Ceci quivaut dire que est un isomorphisme de k-algbres.
Plus gnralement, si, plutt quune inclusion de k dans K et K

, on
sest donn des morphismes de corps : k K et

: k K

, alors un
k-morphisme de K vers K

est un morphisme de corps : K K

tel que
=

.
23.3 Extensions entires danneaux
Dans cette section, on va tudier les extensions entires danneaux, dj
abordes dans la section 14.1 du chapitre 3. Le but de cette section est
double : dune part, ajouter certains rsultats omis dans la section 14.1 (et
utiliss dans la preuve du thorme des zros) et, dautre part, traiter les
extensions algbriques de corps, qui sont des cas particuliers dextensions
entires. Soient A B deux anneaux.
Dnition 23.3.1 Un lment b B est dit entier sur A sil existe P
A[X] unitaire tel que P(b) = 0, c.--d., sil existe a
1
, . . . , a
n
A tels que
b
n
+a
1
b
n1
+ +a
n
= 0.
Une telle quation sappelle une quation de dpendance intgrale (de b
sur A).
On dit que B est entier sur A si tout b B est entier sur A.
Patrick Polo 149
Pour tout b B, on note A[b] la sous-A-algbre de B engendre par b.
Proposition 23.3.2 (Caractrisation des lments entiers) Les condi-
tions suivantes sont quivalentes : (i) b est entier sur A.
(ii) A[b] est un A-module de type ni.
(iii) A[b] est contenu dans un sous-anneau C de B qui est un A-module
de type ni.
Dmonstration. Si lon a une quation de dpendance intgrale P(b) = 0
de degr n, on obtient (par une rcurrence sur le degr, ou bien en utilisant la
division euclidienne dans A[X] par le polynme unitaire P), que les lments
1, b, . . . , b
n1
engendrent A[b] comme A-module. Ceci montre que (i) (ii).
Il est clair que (ii) (iii).
Supposons (iii) vri et soient x
1
, . . . , x
n
des gnrateurs de C comme
A-module. Pour tout j, bx
j
appartient C donc il existe des lments a
ij
A
tels que
() bx
j
=
n

i=1
a
ij
x
i
, j = 1, . . . , n.
Dsignons par P M
n
(C) la matrice dont le coecient dindice (i, j) est
a
ij

ij
b, o
ij
dsigne le symbole de Kronecker (
ij
= 1 si i = j et = 0
sinon). Alors, les quations () se rcrivent de faon matricielle :
(1) P
_
_
_
x
1
.
.
.
x
n
_
_
_
= 0.
(galit de matrices coecients dans lanneau C). Notons

P la transpose
de la matrice des cofacteurs de P (c.--d., (1)
i+j

P
ij
gale le dterminant de
la matrice obtenue en supprimant dans P la ligne j et la colonne i). Alors,
daprs la formule de dveloppement dun dterminant suivant une ligne ou
une colonne, on a lgalit matricielle :
(2) (dt P)I
n
=

PP,
o I
n
dsigne la matrice unit. Combin avec lgalit (1), ceci donne que
llment d := dt P de C vrie dx
i
= 0 pour i = 1, . . . , n. Donc d annule
le A-module C, et comme C contient llment neutre 1 B, ceci donne
150 Algbre et thorie de Galois 2005-2006
dt P = 0. Or, P = M bI
n
, o M dsigne la matrice dont les coecients
sont les a
ij
A. Donc, en dveloppant dt P, on obtient une galit
(1)
n
b
n
+
1
b
n1
+ +
n
= 0,
o les

sont des polynmes en les a


ij
, donc appartiennent A. Ceci montre
que b est entier sur A. La proposition est dmontre.
Lemme 23.3.3 Soient A B des anneaux et N un B-module de type ni.
On suppose que B est un A-module de type ni. Alors N est un A-module
de type ni.
Dmonstration. Par hypothse, il existe des lments x
1
, . . . , x
r
dans N
(resp. b
1
, . . . , b
n
dans B) qui engendrent N comme B-module (resp. B comme
A-module). Alors
N = Bx
1
+ +Bx
r
et chaque Bx
j
est engendr, comme A-module, par les lments b
i
x
j
. Il en
rsulte que N est engendr comme A-module par les lments b
i
x
j
. Ceci
prouve le lemme.
Dnition 23.3.4 Soient A B deux anneaux.
1) On dit que lextension A B est de type ni si B est une A-
algbre de type ni, c.--d., sil existe x
1
, . . . , x
n
B engendrant B comme
A-algbre, c.--d., tels que B = A[x
1
, . . . , x
n
].
2) On dit que lextension A B est nie si B est un A-module de
type ni, c.--d., sil existe m
1
, . . . , m
r
B engendrant B comme A-module,
c.--d., tels que B = Am
1
+ +Am
r
.
Bien sr, toute extension nie est de type ni, mais la rciproque est
fausse. Par exemple, lextension k k[X] est de type ni, mais nest pas
nie car k[X] nest pas un k-espace vectoriel de dimension nie.
Proposition 23.3.5 (type ni + entier ni) Si C = A[x
1
, . . . , x
n
] et
si chaque x
i
est entier sur A, alors C est un A-module de type ni.
Dmonstration. Par rcurrence sur n. Le cas n = 1 a t vu dans la
proposition 23.3.2. On peut donc supposer n 2 et le rsultat tabli pour
n 1. Posons B = A[x
1
, . . . , x
n1
]. Par hypothse de rcurrence, B est ni
sur A. Dautre part, x
n
tant entier sur A; il lest aussi sur B, et donc
C = B[x
n
] est ni sur B. Donc, daprs le lemme 23.3.3, appliqu N = C,
on obtient que C est un A-module de type ni. La proposition est dmontre.

Patrick Polo 151


Remarque 23.3.6 crivant que chaque x
i
vrie une quation intgrale
sur A de degr d
i
, on peut aussi montrer par un argument direct que le
sous-A-module de C engendr par les monmes
x
s
1
1
x
s
n
n
, avec 0 s
i
d
i
est stable par multiplication par chaque x
j
, donc concide avec C (cf. preuve
du thorme 2.4.3).
Remarque 23.3.7 1) La proposition prcdente a t utilise implicitement
dans la preuve du thorme de Zariski 15.2.1, page 98, ligne 2, dans la phrase :
chaque x
i
, et donc aussi L, est entier sur le sous-anneau K[X
1
][1/f] .
2) Deux autres corrections la page 98 : dans la 2me ligne de la preuve
de 15.2.2, remplacer k[X
1
, . . . , X
n
] par k[X
1
, . . . , X
n
]/m. Et ligne 3 du bas :
remplacer en particulier pour g = f par : donc le point (x
1
, . . . , x
n
)
appartient V (I) k
n
, et donc f(x
1
, . . . , x
n
) = 0 puisque f 1(V (I)) .
Proposition 23.3.8 (Clture intgrale de A dans B) Soient A B
des anneaux, et

A lensemble des b B qui sont entiers sur A. Alors

A est
un sous-anneau de B, appel la clture intgrale de A dans B.
Dmonstration. Dabord,

A contient A et donc 1. Soient x, y

A. Alors,
daprs la proposition 23.3.5, le sous-anneau A[x, y] est un A-module de type
ni. Il contient xy et xy et donc, daprs le point 3) de la proposition 23.3.2,
x y et xy sont entiers sur A. Ceci montre que

A est un sous-anneau de B.

Proposition 23.3.9 (Transitivit des extensions entires)


Soient A B C, avec B entier sur A. Si x C est entier sur B, alors x
est entier sur A. En particulier, si C est entier sur B, il est entier sur A.
Dmonstration. Par hypothse, il existe b
1
, . . . , b
n
B tels que
x
n
+b
1
x
n1
+ +b
n
= 0.
Posons B
0
:= A[b
1
, . . . , b
n
]. Alors B
0
[x] est ni sur B
0
et, daprs la propo-
sition 23.3.5, celui-ci est un A-module de type ni. Donc, daprs le lemme
23.3.3, le sous-anneau B
0
[x] est un A-module de type ni. Daprs la proposi-
tion 23.3.2, ceci entrane que x est entier sur A. La proposition est dmontre.

152 Algbre et thorie de Galois 2005-2006


Dnition 23.3.10 1) Soient A B deux anneaux. On dit que A est in-
tgralement ferm dans B si tout lment de b entier sur A appartient
A, c.--d., si A est gal sa clture intgrale dans B.
2) On dit quun anneau A est intgralement clos sil est intgre et
sil est intgralement ferm dans son corps des fractions K, c.--d., si tout
K entier sur A appartient A.
Corollaire 23.3.11 Soient A B deux anneaux et

A la clture intgrale
de A dans B. Alors

A est intgralement ferm dans B. En particulier, si A
est intgre et B son corps des fractions, alors

A est intgralement clos.
Dmonstration. Soit x B entier sur

A. Daprs la proposition 23.3.9, x
est entier sur A, donc appartient

A.
Les anneaux intgralement clos jouent un rle important en gomtrie
algbrique et en thorie des nombres ; voir par exemple [AM, Chap.9], [Die,
5], [Sa].
Proposition 23.3.12 Soit A factoriel. Alors A est intgralement clos.
Dmonstration. Soient K le corps des fractions de A et K 0. On
peut crire = b/c, avec b et c sans facteur commun. Supposons entier
sur A. Alors il existe a
1
, . . . , a
n
A tels que

n
+a
1

n1
+ +a
n
= 0.
Multipliant cette galit par c
n
, on obtient que
() b
n
= ca
1
b
n1
+ +c
n
a
n
est divisible par c. Ceci entrane que c est inversible dans A. En eet, sinon
soit p un lment irrductible divisant c. Daprs () il divise b
n
et donc,
daprs le Lemme dEuclide (puisque A est factoriel), p divise b, une contra-
diction. Donc c est un lment inversible de A et A. La proposition est
dmontre.
Proposition 23.3.13 Soit A B une extension entire.
1) Soient J un idal propre de B et I = A J. Alors lextension A/I
B/J est entire.
2) Si S est une partie multiplicative de A, lextension S
1
A S
1
B est
entire.
Dmonstration. Facile, et laisse au lecteur.
Patrick Polo 153
23.4 lments algbriques ou bien transcendants
Soit k K une extension de corps et soit K. On note k[] la
sous-k-algbre de K engendre par .
Soit

: k[X] K le morphisme de k-algbres dni par

(X) = .
On a

(P) = P() K pour tout P k[X], et limage de

est k[].
Posons I

= Ker

. Puisque k[X]/I


= k[] est intgre, alors I

est un
idal premier de k[X]. Donc, de deux choses lune : ou bien I

= (0) ou bien
I

= (P) pour un polynme irrductible unitaire uniquement dtermin.


Dnition 23.4.1 (lments transcendants ou algbriques)
1) Si I

= (0), on dit que est transcendant sur k.


2) Si I

,= (0), on dit que est algbrique sur k. Dans ce cas, I

=
(P), o P est lunique polynme unitaire de degr minimal dans I

; par
consquent, est entier sur k.
Le polynme P est appel polynme minimal de sur k ; on le notera
Irr
k
(). Son degr sappelle degr de sur k et se note deg
k
().
Remarque 23.4.2 Soit L un corps intermdiaire entre k et K, c.--d., k
L K. Si k est algbrique sur k, il lest aussi sur L et Irr
k
() est
divisible, dans L[X], par Irr
L
().
Thorme 23.4.3 (Le sous-corps k(x), pour x algbrique ou bien
transcendant)
1) Supposons x algbrique sur k. Alors Irr
k
(x) est irrductible et lon a
() k[X]/(Irr
k
(x))

k[x] = k(x).
Par consquent, les lments 1, x, . . . , x
d1
, o d = deg
k
(x), forment une
base de k(x) sur k. En particulier, dim
k
k(x) = d.
2) Si est transcendant sur k, alors linjection

: k[X] K induit un
k-isomorphisme k(X)

k(). En particulier, dim
k
k() = +.
Dmonstration. 1) k[X]/I
x
est intgre car isomorphe k[x], la sous-k-
algbre de K engendre par x. Ainsi, I
x
= (Irr
k
(x)) est premier. Daprs le
lemme 14.3.1, Irr
k
(x) est irrductible et engendre un idal maximal de k[X].
Donc, A := k[X]/(Irr
k
(x)) est un corps. Par consquent, son image par
x
,
qui est k[x], gale le corps k(x) engendr par x. Ceci prouve (). Comme les
images de 1, . . . , X
d1
forment une base de A sur k, la dernire assertion de
1) en dcoule.
154 Algbre et thorie de Galois 2005-2006
2) Supposons transcendant, c.--d.,

: k[X] K injectif. Alors, tout


lment de (k[X] 0) est inversible dans K, et donc se prolonge en un
morphisme danneaux : k(X) K, ncessairement injectif puisque k(X)
est un corps. Limage de est forme des fractions
_
P()
Q()
[ P, Q k[X], Q ,= 0
_
;
cest le sous-corps k(), qui est donc isomorphe k(X).
Remarque 23.4.4 crivons Irr
k
(x) = x
d
+ a
1
x
d1
+ + a
d
et observons
que a
d
,= 0 puisque Irr
k
(x) est irrductible. Alors linverse de x est gal
(x
d
+a
1
x
d2
+ +a
d1
)a
1
d
.
Dautre part, le fait que, dans ce cas, k[x] concide avec k(x) rsulte aussi
du lemme suivant.
Lemme 23.4.5 Soit A une k-algbre commutative intgre de dimension -
nie sur k. Alors A est un corps.
Dmonstration. Soit x A0. La multiplication par x est un endomor-
phisme k-linaire injectif de A, donc surjectif (puisque dim
k
A < ). Donc
il existe x

A tel que xx

= 1, et x

est linverse de x. Ceci montre que A


est un corps.
23.5 Extensions algbriques de corps et degr dune exten-
sion
On a vu plus haut que si K = k(x), o x est un lment algbrique sur
k, alors dim
k
K = deg
k
(x). Ceci explique la terminologie introduite dans la
dnition suivante.
Dnition 23.5.1 Soit k K une extension de corps ; la dimension de K
comme k-espace vectoriel est appele degr de K sur k et note [K : k].
Cest un lment de N

+.
Proposition 23.5.2 (Multiplicativit des degrs) Soient k K L
des extensions de corps. On a [L : k] = [L : K][K : k].
Dmonstration. Si lun de [L : K] ou [K : k] gale +, il en est de mme
de [L : k]. On peut donc supposer [L : K] = m et [K : k] = n. Soient
(
1
, . . . ,
m
) une base de L sur K et (x
1
, . . . , x
n
) une base de K sur k. Alors,
Patrick Polo 155
daprs la preuve du lemme 23.3.3, les lments x
i

j
engendrent L comme k-
espace vectoriel. Montrons quils sont linairement indpendants. Supposons
quon ait une galit
0 =

i,j
a
i,j
x
i

j
,
avec les a
i,j
k. Alors on a
0 =

1im
_
_

1jn
a
i,j
x
j
_
_

i
.
Comme les
i
sont linairement indpendants sur K, on obtient que, pour
tout i = 1, . . . , m,

1jn
a
i,j
x
j
= 0.
Puis, comme les x
j
sont linairement indpendants sur k, on obtient que
a
i,j
= 0 pour tout i, j. Ceci montre que les produits x
j

i
forment une base
de L sur k, do dim
k
L = mn.
Remarque 23.5.3 La mme dmonstration montre que si A B sont deux
anneaux, et si B

= A
n
comme A-module, alors, pour tout r 1, B
r
est libre
comme A-module, de rang rn.
Dnition 23.5.4 Soit k K une extension de corps. On dit que K/k est
une extension algbrique si tout lment de K est algbrique sur k. Dans
ce cas, K/k est en fait une extension entire.
Proposition 23.5.5 Soient k K et K L des extensions algbriques de
corps. Alors lextension k L est algbrique.
Dmonstration. Ceci rsulte de la proposition 23.3.9.
Proposition 23.5.6 Soit k K une extension de corps.
1) Si [K : k] < , alors K/k est une extension algbrique de type ni.
2) Si K = k(x
1
, . . . , x
n
) et si chaque x
i
est algbrique sur k de degr d
i
,
alors K = k[x
1
, . . . , x
n
], c.--d., K est engendr comme k-algbre par les
x
i
, et lon a [K : k] d
1
d
n
.
Dmonstration. 1) est facile. En eet, supposons [K : k] < . Alors, tout
lment de K est algbrique sur k, daprs le point 2) du thorme 23.4.3.
156 Algbre et thorie de Galois 2005-2006
De plus, toute base de K sur k est un systme ni de gnrateurs de K sur
k. Ceci prouve 1).
2) Montrons que K = k[x
1
, . . . , x
n
] et [K : k] d
1
d
n
par rcurrence
sur n. Si n = 1, cest le thorme 23.4.3. On peut donc supposer n 2 et
lassertion tablie pour n 1. Posons K

= k(x
1
, . . . , x
n1
). Alors x
n
est
algbrique sur K

de degr d
n
et donc, par lhypothse de rcurrence plus
le cas n = 1 appliqu K

, on obtient :
() K = K

(x
n
) = K

[x
n
] = k[x
1
, . . . x
n
],
et [K : k] = [K : K

][K

: k] d
n
d
n1
d
1
. Ceci prouve 2).
Une autre dmonstration est la suivante. Soit : k[X
1
, . . . , X
n
] K
le morphisme de k-algbres dni par (X
i
) = x
i
, pour i = 1, . . . , n; on
a (P) = P(x
1
, . . . , x
n
) K pour tout P k[X
1
, . . . , X
n
]. Limage de
est A := k[x
1
, . . . , x
n
], la sous-k-algbre de K engendr par les x
i
. Comme
chaque monme x
n
i
est combinaison k-linaire des monmes x
r
i
, avec 0 r <
d
i
, on en dduit que A est engendre sur k par les monmes
x
r
1
1
x
r
n
n
,
o r
i
< d
i
pour tout i. Par consquent, A est une k-algbre de dimension
nie d
1
d
n
. De plus, A est intgre, puisque contenue dans K. Daprs
le lemme 23.4.5, A est un corps, et lgalit () en rsulte. Donc K = A est
de dimension d
1
d
n
sur k.
Corollaire 23.5.7 Une extension de corps k K est de degr ni si et
seulement si elle est algbrique et de type ni.
Remarque 23.5.8 Le point 2) de la proposition admet une rciproque.
Cest le thorme de Zariski dmontr dans le chapitre 3 et utilis pour
dmontrer le thorme des zros. Pour mmoire, rappelons-le ici.
Thorme 23.5.9 (Zariski) Soient k K des corps. On suppose que K
est une k-algbre de type ni. Alors K est algbrique sur k et donc de degr
ni sur k.
23.6 Bases de transcendances et extensions de type ni
Soit k K une extension de corps, et soient x
1
, . . . , x
n
K.
Patrick Polo 157
Dnition 23.6.1 On dit que x
1
, . . . , x
n
sont algbriquement indpen-
dants sur k si le morphisme
: k[X
1
, . . . , X
n
] K, P P(x
1
, . . . , x
n
)
est injectif. Dans ce cas, se prolonge en un isomorphisme de k(X
1
, . . . , X
n
)
sur le sous-corps de K engendr par les x
i
. En particulier, chaque x
i
est
transcendant sur k.
Remarque 23.6.2 Soit K le corps des fractions de lanneau k[x, y], o x
2
=
y
3
. Alors x et y sont transcendants sur k, mais ne sont pas algbriquement
indpendants sur k, puisquon a la relation x
2
= y
3
.
Dnition 23.6.3 On dit quune partie B de K est une base de trans-
cendance sur k si elle vrie les deux conditions suivantes :
(i) les lments de B sont algbriquement indpendants sur k ;
(ii) le corps K est extension algbrique du sous-corps k(B).
Ceci quivaut dire que B est une partie algbriquement indpen-
dante maximale.
Lemme 23.6.4 Soit K/k une extension et soit S une partie nie de K telle
que K soit algbrique sur k(S). Alors S contient une base de transcendance
B de K sur k. De plus, [k(S) : k(B)] < ; en particulier, si K = k(S),
alors K est de degr ni sur k(B).
Dmonstration. Posons S = x
1
, . . . , x
n
. Quitte renumroter les x
i
, on
peut supposer que x
1
, . . . , x
r
sont algbriquement indpendants sur k et que,
pour tout i > r, x
i
est algbrique sur k(B), o B = x
1
, . . . , x
r
. Alors, par
transitivit des extensions algbriques (23.5.5), K est algbrique sur k(B),
et donc B est une base de transcendance de K sur k.
De plus, daprs la proposition 23.5.6, k(S) est de degr ni sur k(B).
Proposition 23.6.5 Soit K/k une extension de corps telle que K possde
une base de transcendance sur k nie.
1) Soit B une base de transcendance de K sur k de cardinal minimum
n. Alors, toute partie B

algbriquement indpendante sur k est de cardinal


n.
2) Par consquent, toute base de transcendance de K sur k est de car-
dinal n.
158 Algbre et thorie de Galois 2005-2006
Dmonstration. On procde par rcurrence sur lentier s(B, B

) := #B
#(B B

). Si s = 0, alors B B

donc B

= B par maximalit de B. On
peut donc supposer s 1 et lassertion tablie pour s 1.
crivons B = b
1
, . . . , b
n
. Sans perte de gnralit, on peut supposer
que
B B

= b
s+1
, . . . , b
n
.
Si B

B, lassertion est vrie, donc on peut supposer quil existe b

tel que b

, B. Alors B b

nest pas algbriquement indpendante, par


maximalit de B. Donc, il existe P k[X
1
, . . . , X
n
, X
n+1
] non nul tel que
P(b
1
, . . . , b
n
, b

) = 0.
De plus, P , k[X
s+1
, . . . , X
n+1
], puisque les lments de B

sont algbrique-
ment indpendants. Donc, sans perte de gnralit, on peut supposer que P
contient la variable X
1
.
Posons alors B
1
= b
2
, . . . , b
n
, b

. Alors b
1
est algbrique sur k(B
1
), et
comme K est algbrique sur k(B
1
)[b
1
], il est aussi algbrique sur k(B
1
).
Comme #B
1
= n, la minimalit de n, jointe au lemme 23.6.4, entrane
que B
1
est une base de transcendance de K sur k (car sinon, B
1
contiendrait
une base de transcendance de K sur k de cardinal < n, contredisant la
minimalit de n). De plus,
#B
1
#(B
1
B

) = s 1, car B
1
B

= b
s+1
, . . . , b
n
, b

.
Donc, par lhypothse de rcurrence, applique B
1
et B

, on obtient que
#B

#B
1
= n. Ceci prouve 1).
En particulier, si B

est une autre base de transcendance de K/k, alors


#B

n, et donc #B

= n par minimalit de n. La proposition est dmon-


tre.
Thorme 23.6.6 Soit k K une extension de corps de type ni. Alors :
1) Toutes les bases de transcendance de K ont le mme cardinal, appel
degr de transcendance de K sur k et not deg. tr
k
K. De plus, tout
ensemble dlments algbriquement indpendants est contenu dans une base
de transcendance.
2) Soit L/k une sous-extension de K/k (c.--d., L est un sous-corps de
K contenant k). Alors L/k est de type ni et lon a
deg. tr
k
L deg. tr
k
K.
Patrick Polo 159
Dmonstration. Daprs le lemme 23.6.4, il existe une base de transcen-
dance B
0
de K sur k ayant r lments. Alors, daprs la proposition prc-
dente, toute base de transcendance de K sur k a r lments, et toute partie
algbriquement libre est de cardinal r. Par consquent, toute suite crois-
sante de parties algbriquement indpendantes est stationnaire (aprs au
plus r tapes), et donc toute partie algbriquement indpendante est conte-
nue dans une partie algbriquement indpendante maximale, c.--d., dans
une base de transcendance de K sur k. Ceci prouve 1).
Dmontrons 2). Comme toute partie de L algbriquement indpendante
sur k est aussi une partie de K algbriquement indpendante sur k, on obtient
que L possde une base de transcendance nie B = b
1
, . . . , b
t
, quon peut
complter en une base de transcendance

B = B . C = b
1
, . . . , b
t
. c
1
, . . . , c
s

de K sur k (o t +s = r = deg. tr
k
K). Montrons que L est de degr ni sur
k(B). Ceci va rsulter du lemme suivant.
Lemme 23.6.7 C est algbriquement indpendante sur L.
Dmonstration. Sinon, il existe un polynme P L[X
1
, . . . , X
s
] non
nul tel que P(c
1
, . . . , c
s
) = 0. Sans perte de gnralit, on peut suppo-
ser que X
s
apparat dans P, et donc que c
s
est algbrique sur L(C

), o
C

= c
1
, . . . , c
s1
. Or,
L(c
1
, . . . , c
s1
) = k(B C

)(L)
est algbrique sur k(BC

), puisque L est algbrique sur k(B). Donc, daprs


la transitivit des extensions entires (23.3.9), c
s
est algbrique sur k(BC

),
une contradiction. Ceci prouve le lemme.
On peut maintenant achever la preuve du thorme. Soient
1
, . . . ,
n
des lments de L linairement indpendants sur k(B). Montrons quils sont
encore linairement indpendants sur k(

B). Supposons que


() 0 = F
1

1
+ +F
n

n
,
avec F
i
k(

B). En chassant les dnominateurs, on se ramne au cas o


F
i
k[

B]. On peut alors crire chaque F


i
comme une somme nie :
F
i
=

N
s
P
i,
(b
1
, . . . , b
t
)c

1
1
c

s
s
.
160 Algbre et thorie de Galois 2005-2006
Alors, () entrane, avec des notations videntes,
0 =

N
s
_
n

i=1
P
i,
(b)
i
_
c

.
Daprs le lemme, on en dduit

n
i=1
P
i,
(b)
i
= 0, pour tout , et comme les

i
sont linairement indpendants sur k(B), il vient P
i,
= 0 pour tout i, , et
donc F
i
= 0 pour i = 1, . . . , n. Ceci montre que
1
, . . . ,
n
sont linairement
indpendants sur k(

B). On en dduit que


[L : k(B)] [K : k(

B)].
Or, [K : k(

B)] < , daprs le lemme 23.6.4. Donc L est une extension de


degr ni, et a fortiori de type ni, de k(B), et donc L est une extension de
type ni de k. Ceci achve la preuve du thorme.
24 Corps de rupture et corps de dcomposition
24.1 Corps de rupture dun polynme
Thorme 24.1.1 (Corps de rupture dun polynme irrductible)
Soient k un corps et P k[X] un polynme unitaire irrductible de degr
2. Alors K := k[X]/(P) est un surcorps de k dans lequel P a au moins
une racine, savoir limage x de X. On lappelle le corps de rupture de
P sur k.
Le couple (K, x) vrie la proprit universelle suivante : pour toute ex-
tension k L telle que P admette dans L une racine , il existe un unique
k-morphisme : K L tel que (x) = ; son image est le sous-corps k[]
de L. En particulier, est un isomorphisme si L = k[].
Dmonstration. On a dj vu que (P) est un idal maximal, donc K est
un corps. Notant x limage de X dans K, on a P(x) = 0 et donc x K est
bien une racine de P.
Soit k L une extension telle que P admette dans L une racine . Alors
Irr
k
() divise P, donc lui est gal puisque P est irrductible et unitaire. Par
consquent, le morphisme de k-algbres : k[X] L dni par (X) =
induit un morphisme : K L tel que (x) = . De plus, ce morphisme
est unique, puisque K = k[x] est engendr comme k-algbre par x. Ceci
prouve le thorme.
Patrick Polo 161
Exemple 24.1.2 R[X]/(X
2
+1)

= C. Plus gnralement, montrer que pour
tout binme P = X
2
+bX+c tel que := b
2
4c soit < 0, le corps R[X]/(P)
est isomorphe C.
Remarque 24.1.3 Lexercice ci-dessus montre que des polynmes dirents
peuvent avoir des corps de rupture isomorphes.
Dnition 24.1.4 Soit P k[X] irrductible. Il est commode de dire quune
extension K de k est un corps de rupture de P sur k si K

= k[X]/(P).
Proposition 24.1.5 Soit K = k() une extension algbrique monogne et
soient P = Irr
k
() et d = deg P = deg
k
(). Alors :
1) K est un corps de rupture de P sur k.
2) Pour toute extension L/k, le nombre de k-morphismes K L est
gal au nombre de racines de P dans L. Par consquent, on a
#Hom
k-alg.
(K, L) deg P,
avec galit si et seulement si P a d racines distinctes dans L.
Dmonstration. Daprs le thorme, il existe un (unique) isomorphisme
de k[X]/(P) sur le sous-corps de K engendr par , envoyant X sur . Ceci
prouve 1).
Pour tout k-morphisme : K L, () est une racine de P dans L.
Rciproquement, comme K

= k[X]/(P), alors toute racine de P dans
L dnit un morphisme de k-algbres

: K L tel que

() = , et
videmment ces morphismes sont deux deux distincts. Ceci prouve 2).
Exemple 24.1.6 Soient k = Q et P = X
3
2. Alors P est irrductible sur
Q, car il na pas de racine dans Q. Notons
3

2 la racine cubique relle de 2


et j = exp(2i/3), j
2
= exp(4i/3) les racines primitives de lunit dordre
3 dans C. Les racines de P dans C sont
3

2, j
3

2 et j
2
3

2 et chacun des
sous-corps suivants de C :
Q[
3

2], Q[j
3

2], Q[j
2
3

2]
est un corps de rupture de P. Bien que Q-isomorphes, ces trois sous-corps
de C sont deux deux distincts. En eet, Q[
3

2] est contenu dans R, donc


distinct des deux autres. Si lon avait Q[j
3

2] = Q[j
2
3

2], alors ce corps,


disons K, contiendrait j et donc
3

2, donc contiendrait Q[
3

2]. Comme ces


deux corps sont de mme dimension deg P = 3 sur Q, on aurait Q[
3

2] = K,
ce qui nest pas le cas.
162 Algbre et thorie de Galois 2005-2006
24.2 Corps de dcomposition dun polynme
Dnition 24.2.1 Soient k K une extension de corps et P k[X] un
polynme de degr n 1. On dit que P est scind dans K[X] (on dit
aussi : sur K) si P se dcompose dans K[X] comme un produit de facteurs
linaires :
P = a
d

i=1
(X
i
),
o a est le coecient dominant de P, et
1
, . . . ,
n
K sont les racines de
P, comptes avec leur multiplicit (c.--d., non ncessairement distinctes).
Dans ce cas, on dit aussi que P a toutes ses racines dans K.
Dnition 24.2.2 Soit P k[X] un polynme non constant. On dit quune
extension K de k est un corps de dcomposition de P sur k si elle vrie
les deux conditions suivantes :
1) P a toutes ses racines dans K, c.--d., est scind dans K[X].
2) K est engendr sur k par les racines de P. En particulier, K est de
degr ni sur k, daprs la proposition 23.5.6.
Thorme 24.2.3 (Corps de dcomposition dun polynme)
Pour chaque corps k, tout P k[X] de degr n 1 admet un corps de
dcomposition sur k, unique k-isomorphisme prs.
Dmonstration. On va dmontrer lexistence par rcurrence sur n =
deg P. Si n = 1, alors P = aX + b = a(X b/a) et k est un corps de
dcomposition de P. Supposons n 2 et le thorme tabli pour tout corps
et tout polynme de degr < n, et soit P k[X] de degr n.
Soit S un facteur irrductible de P et soit k
1
= k() un corps de rupture
de P. Alors, dans k
1
[X], on a P = (X)Q, avec Q k
1
[X] de degr n1.
Par hypothse de rcurrence, il existe une extension k
1
K dans laquelle Q
a des racines
2
, . . . ,
n
et telle que K = k
1
(
2
, . . . ,
n
). Alors, ,
2
, . . . ,
n
sont les racines de P dans K, et K est engendr sur k par ces lements. Ceci
montre l existence dun corps de dcomposition.
Pour dmontrer l unicit, on aura besoin dtablir le thorme plus g-
nral, et trs important, qui va suivre. Commenons par le lemme ci-dessous.
Lemme 24.2.4 Soit : K

K

un isomorphisme de corps. Il induit un


isomorphisme danneaux

: K[X]

K

[X],

i
a
i
X
i

i
(a
i
)X
i
, quon
notera encore . De plus, pour tout P K[X], induit un isomorphisme
danneaux K[X]/(P)

K

[X]/((P)).
Patrick Polo 163
Dmonstration. Lisomorphisme : K

K

munit K

, et donc aussi
K

[X], dune structure de K-algbre. Daprs la proprit universelle de


K[X], il existe un unique morphisme de K-algbres

: K[X] K

[X]
tel que

(X) = X, et

vrie la formule donne ci-dessus. On obtient de


mme que lisomorphisme
1
: K


K induit un morphisme

1 : K

[X]

K[X],

i
a
i
X
i

1
(a
i
)X
i
,
et il est alors clair que

et

1 sont inverses lun de lautre. Ceci prouve


la premire assertion.
Enn, pour tout P K[X], il est clair que

et

1 induisent des bijec-


tions rciproques entre les idaux (P) et ((P)), et donc entre les anneaux
quotients K[X]/(P) et K

[X]/((P)). Ceci prouve le lemme.


Thorme 24.2.5 (Premier thorme fondamental)
Soient : K

K

un isomorphisme de corps, P K[X] de degr n 1


et L, resp. L

, un corps de dcomposition de P, resp. de (P). Il existe un


isomorphisme : L

L

tel que [
K
= .
Avant de dmontrer ce thorme, observons que le cas particulier K =
K

= k et = id
K
, fournit lunicit du corps de dcomposition :
Corollaire 24.2.6 Soit P k[X] de degr 1. Le corps de dcomposition
de P sur k est unique, k-isomorphisme prs.
Dmonstration. Dmontrons maintenant le thorme 24.2.5 par rcur-
rence sur le nombre m de racines de P qui sont dans L mais pas
dans K. Sans perte de gnralit, on peut supposer P unitaire. Si m = 0,
alors
P = (X
1
) (X
n
),
avec les
i
dans K. Dans ce cas, L = K et
(P) = (X (
1
)) (X (
n
)),
avec (
i
) K

, donc L

= K

et lon peut prendre = .


Supposons m > 0 et le thorme tabli pour tout m

< m. Soit P K[X]


ayant exactement m racines dans L K, et soit
P = P
1
P
r
(1)
164 Algbre et thorie de Galois 2005-2006
sa dcomposition en facteurs irrductibles dans K[X]. Comme m > 0, lun
au moins de ces facteurs, disons P
1
, est de degr 2 et na pas de racines
dans K.
Par hypothse, P se scinde dans L[X] comme produit de facteurs (irr-
ductibles !) de degr 1. Comme L[X] est factoriel, lunicit dune telle dcom-
position entrane que chaque P
i
est un produit de certains de ces facteurs
linaires. En particulier, P
1
a toutes ses racines dans L. Soit lune delles.
Daprs la proposition 24.1.5, on a un K-isomorphisme
: K[X]/(P
1
)

K[]. (2)
Dautre part,
(P) = (P
1
) (P
r
), (1

)
et, par le mme argument que prcdemment, chaque (P
i
) a toutes ses
racines dans L

. Soit une racine de (P


1
) dans L

. Daprs la proposition
24.1.5, nouveau, on a un K

-isomorphisme

: K

[X]/((P
1
))

K

[]. (2

)
De plus, daprs le lemme prcdent, on a un isomorphisme

: K[X]/(P
1
)

K

[X]/((P
1
))
qui prolonge : K

K

. Posons K
1
= K[] et K

1
= K

[]. Alors,
1
:=


1
est un isomorphisme K
1

1
qui prolonge . On a donc le
diagramme suivant :
K K
1
L

=
1

=
K

1
L

.
Maintenant, L (resp. L

) est un corps de dcomposition sur K


1
(resp. sur
K

1
) de notre polynme P (resp. de (P)), et le nombre de racines de P dans
LK
1
est < m. Donc, par hypothse de rcurrence, il existe un isomorphisme
: L

L

tel que [
K
1
=
1
. Par consquent, [
K
=
1
[
K
= . Ceci achve
la preuve du thorme.
Dnition 24.2.7 (Extensions quasi-galoisiennes) On dit que K/k est
une extension quasi-galoisienne, ou normale, si elle est algbrique et v-
rie la proprit suivante : pour tout K, le polynme minimal Irr
k
() a
toutes ses racines dans K.
Patrick Polo 165
Proposition 24.2.8 Soit P k[X] de degr n 1 et K un corps de d-
composition de P sur k. Lextension k K est quasi-galoisienne.
Dmonstration. Soit K et soit S = Irr
k
() son polynme minimal
sur k. Soit L un corps de dcomposition sur K de S. Alors PS a toutes ses
racines dans L et celles-ci engendrent L sur k. Par consquent, L est un corps
de dcomposition de PS sur k.
Soit une racine de S dans L. Daprs le thorme 24.1.1, il existe
un (unique) k-isomorphisme : k[]

k[] tel que () = . De plus,
daprs le premier thorme fondamental (24.2.5), se prolonge en un k-
automorphisme de L.
Soient x
1
, . . . , x
m
les racines distinctes de P dans K ; alors K, resp. (K),
est le sous-corps de L engendr par les x
i
, resp. les (x
i
). Or, pour chaque i,
(x
i
) est une racine de (P) = P. On en dduit que induit une bijection
f de 1, . . . , m telle que (x
i
) = x
f(i)
, pour i = 1, . . . , m. Il en rsulte que
(K) = K. Comme () = () = , on obtient ainsi que K. Ceci
montre que S a toutes ses racines dans K (et donc L = K). La proposition
est dmontre.
24.3 Le groupe des k-automorphismes dune extension
Dnition 24.3.1 1) Soit K/k une extension algbrique. On note Aut(K/k)
le groupe des k-automorphismes de K.
2) Posons G = Aut(K/k) et soit K. Lensemble g() [ g G
des transforms de par les lments de G sappelle lorbite de sous
laction de G, ou simplement la G-orbite de , et se note G. Dautre part,
lensemble
G

:= g G [ g() =
est un sous-groupe de G, on lappelle le stabilisateur de . Il est parfois
aussi not Stab
G
().
Proposition 24.3.2 Soit k K une extension algbrique et soit K.
1) Pour tout Aut(K/k), () est racine de Irr
k
().
2) Posons G = Aut(K/k). Lorbite G est un ensemble ni de cardinal
deg
k
(), et Irr
k
() est divisible par le polynme

G
(X ).
166 Algbre et thorie de Galois 2005-2006
Dmonstration. 1) Posons P = Irr
k
() et crivons P = X
d
+ a
1
X
d1
+
+a
d
, o d = deg
k
(). Soit Aut(K/k). Alors
0 = (P()) = ()
d
+a
1
(())
d1
+ +a
d
= P(()).
Ceci montre que () est racine de P.
Par consquent, X g() divise P, pour tout g G = Aut(K/k). Or,
daprs lunicit de la dcomposition en facteurs irrductibles, P a au plus
d diviseurs irrductibles distincts. Il en rsulte que lorbite G est nie, de
cardinal d, et que P est divisible par le produit des X , pour G.
La proposition est dmontre.
Une question Au vu de la proposition prcdente, on est conduit se
demander si, pour tout K, on a lgalit
() Irr
k
() =

G
(X ) ?
En cas de rponse positive, on obtiendrait que la connaissance du groupe
G (et de son action sur K) permet de dterminer, pour tout K, le
polynme minimal Irr
k
() et donc la structure du sous-corps k[] K.
On va voir dans un instant quil faut imposer certaines hypothses, assez
naturelles, sur lextension k K pour que () soit vraie. On verra ensuite
que, sous ces hypothses, la structure du groupe G et des ses sous-groupes
dtermine compltement la structure de lextension k K et des sous-corps
L tels que k L K (on dira quun tel L est une extension interm-
diaire).
Exemples 24.3.3 1) Une premire obstruction, vidente, () est que K
peut ne pas contenir susamment de racines de Irr
k
(). Par exemple, soient
k = Q, P = X
3
2 et lune quelconque des racines de P dans C. On
a vu dans lexemple 24.1.6 que est la seule racine de P dans Q[]. Donc
g() = , pour tout g G := Aut
Q
(Q[]), et comme Q[] est engendr sur
Q par , on obtient en fait que G = 1.
En fait, si () est vrie, alors Irr
k
() a toutes ses racines dans K. Donc,
pour que () soit vrie pour tout K, il est ncessaire de supposer
que lextension k K soit quasi-galoisienne.
2) Une autre obstruction, plus subtile, est la suivante. Le terme de droite
dans () est un polynme dont les racines sont deux deux distinctes, c.--d.,
o chacune est de multiplicit 1. Or, pour certains corps k de caractristique
p > 0, il existe des extensions k K et K tels que Irr
k
() ait des racines
Patrick Polo 167
multiples. (Une telle situation ne peut se produire si car(k) = 0 ou si k est
un corps ni.) Ceci conduit tudier la notion de sparabilit.
25 Extensions sparables et thorme de llment
primitif
25.1 Polynmes et extensions sparables
Dnition 25.1.1 Soit P k[X] un polynme irrductible. On dit que P
est sparable sur k sil vrie la proprit suivante : ses racines
1
, . . . ,
n
dans un corps de dcomposition K de P sur k sont deux deux distinctes,
c.--d., chacune de multiplicit 1.
Ceci ne dpend pas du corps de dcomposition K. En eet, si K

est
un autre corps de dcomposition, il existe, daprs le thorme 24.2.5, un
k-isomorphisme : K

K

. On a (P) = P, puisque P est coecients


dans k. Dautre part, on a dans K[X], P = a(X
1
) (X
n
), o a k
est le coecient dominant de P, et appliquant cette galit on obtient la
dcomposition P = (P) = a(X (
1
)) (X (
n
)). Par consquent,
les racines de P dans K

sont les (
i
), qui sont deux deux distinctes.
Lemme 25.1.2 Soient P k[X] sparable, L une extension de k, et Q un
diviseur de P dans L[X]. Alors Q est sparable sur L.
Dmonstration. Soit K un corps de dcomposition de P sur L. Alors Q
est scind dans L et ses racines sont parmi celles de P donc sont deux deux
distinctes.
Dnition 25.1.3 Soit k K une extension algbrique.
1) On dit que K est sparable sur k si son polynme minimal
Irr
k
() est sparable sur k.
2) On dit que lextension k K est sparable si tout K est
sparable sur k.
Proposition 25.1.4 Soient k L K des extensions de corps. Si K/k est
sparable, L/k et K/L le sont aussi.
Dmonstration. Il est clair que L/k est sparable ; montrons que K/L
lest aussi. Soit x K. Par hypothse, Irr
k
(x) est sparable. Or, il est mul-
tiple, dans L[X], de Irr
L
(x). Donc ce dernier est sparable, daprs le lemme
prcdent.
168 Algbre et thorie de Galois 2005-2006
On a introduit plus haut la notion de sparabilit pour un polynme
P k[X] irrductible. Pour la suite, il est commode dtendre cette notion
un polynme non constant quelconque, de la faon suivante.
Dnition 25.1.5 Soit P k[X], non constant, et soit P = P
1
P
r
sa d-
composition en facteurs irrductibles dans k[X]. On dit que P est sparable
sur k si chaque P
i
lest.
Lemme 25.1.6 Soit k K une extension sparable et quasi-galoisienne,
de degr ni. Alors K est le corps de dcomposition sur k dun polynme
sparable.
Dmonstration. Soient
1
, . . . ,
n
des gnrateurs de K sur k. Posons
P
i
= Irr
k
(
i
). Par hypothse, chaque P
i
a toutes ses racines dans K et est
sparable. Alors le polynme P = P
1
P
r
est sparable, et K est un corps
de dcomposition de P sur k. Ceci prouve le lemme.
25.2 Racines multiples et sparabilit
lucidons maintenant la notion de polynme sparable.
Dnition 25.2.1 (Loprateur de drivation) Soit k un corps. Pour
tout lment P = a
0
+a
1
X + +a
n
X
n
de k[X], on pose
P

= a
1
+ 2a
2
X + +na
n
X
n1
.
On lappelle le polynme driv de P. On notera D lapplication P P

;
on voit facilement que cest un endomorphisme k-linaire de k[X].
Lemme 25.2.2 Pour tout P, Q k[X], on a D(PQ) = PD(Q) + D(P)Q,
c.--d., (PQ)

= PQ

+P

Q.
Dmonstration. Les deux termes de lgalit dmontrer tant bilinaires
en (P, Q), il sut de vrier cette galit lorsque P = X
m
et Q = X
n
. Dans
ce cas, les deux termes valent (m+n)X
m+n1
. Ceci prouve le lemme.
Proposition 25.2.3 Soit P k[X] non constant. Les assertions suivantes
sont quivalentes :
1) P a une racine multiple dans un (et donc dans tout) corps de dcom-
position de P sur k ;
2) P et P

ont une racine commune dans une extension de k ;


3) Le pgcd de P et P

est de degr 1.
Patrick Polo 169
Dmonstration. Soit K un corps de dcomposition de P sur k. Supposons
que P ait dans K une racine de multiplicit n 2. Alors, P = (X)
n
Q,
avec Q K[X]. Daprs le lemme prcdent, appliqu dans K[X], on obtient
() P

= n(X )
n1
Q+ (X )
n
Q

,
do P

() = 0. Ceci montre que 1) 2).


Soit D un pgcd de P et P

. Daprs le thorme de Bezout, il existe


A, B k[X] tels que AP +BP

= D. Si est une racine commune de P et


P

dans une extension L de k, cest aussi une racine de D, do deg D 1.


Ceci montre que 2) 3).
Rciproquement, si D est de degr 1, il admet une racine dans une
extension L de k, et est une racine de P et P

, puisque D divise P et P

.
Ncessairement, est une racine multiple de P. En eet, on aurait sinon,
dans L[X],
P = (X )Q avec Q() ,= 0,
do, daprs () ci-dessus, P

() = Q() ,= 0. Donc, est une racine de


P dans L de multiplicit 2. Soit K un corps de dcomposition de P sur
k(). Alors, K est un corps de dcomposition de P sur k, et P a une racine
multiple dans K. Ceci prouve 3) 1). La proposition est dmontre.
Corollaire 25.2.4 Soit P k[X] irrductible ; P est sparable P

,= 0.
Dmonstration. Soit D = pgcd(P, P

). Daprs la proposition prcdente,


il sut de montrer que deg D 1 P

= 0. Limplication est vidente.


Supposons deg D 1. Comme P est irrductible, D est associ P donc de
degr deg P. Dautre part, P

est nul ou bien de degr < deg P. Comme D


divise P

, on a ncessairement P

= 0. Ceci prouve le corollaire.


Corollaire 25.2.5 Si car(k) = 0, tout polynme est sparable.
Dmonstration. Daprs la dnition, il sut de montrer que tout po-
lynme irrductible P est sparable. On peut supposer P unitaire, disons
de degr d. Alors le terme dominant de P

est dX
d1
, qui est non nul car
puisque car(k) = 0. Donc P est sparable, daprs le corollaire prcdent.
Remarque 25.2.6 Soit k = F
p
(T) le corps des fractions rationnelles sur
F
p
. On peut montrer que le polynme P = X
p
T k[X] est irrductible.
Dautre part, il vrie P

= pX
p1
= 0. Il nest donc pas sparable sur k.
170 Algbre et thorie de Galois 2005-2006
25.3 Caractrisation de la sparabilit en termes de mor-
phismes
Remarque 25.3.1 Pour arriver au thorme principal de la thorie de
Galois 26.6.1, il y a essentiellement deux approches. On peut dmontrer
directement le thorme dArtin 26.3.1 en tudiant deux systmes linaires
homognes (26.2.5 et 26.3.1), et ensuite dduire le thorme de llment
primitif 26.7.3 du thorme principal 26.6.1, combin avec la proposition
25.4.5. Cest lapproche originelle dEmil Artin ([Art]). Elle est plus simple
et, peut-tre, plus pdagogique.
On peut, dautre part, caractriser les extensions sparables en termes
de morphismes (thorme 25.3.3 ci-dessous), puis dmontrer le thorme de
llment primitif 25.4.2 et son corollaire 25.4.4, et en dduire le thorme
dArtin (26.4.1). Cest lapproche suivie dans [Ne04], [Esc], et [La]. Elle est
plus courte, mais peut-tre moins pdagogique, car lintrt du thorme
25.3.3 ci-dessous napparat que plus tard.
Dnition 25.3.2 Soit K/K
1
une extension de corps et soit : K
1

L un morphisme de corps (ncessairement injectif !). On note Hom

(K, L)
lensemble des morphismes de corps : K L tels que [
K
1
= . Si
lon identie K
1
son image (K
1
), ce nest autre que lensemble des K
1
-
morphismes de K vers L.
Thorme 25.3.3 (Sparabilit sur k et k-morphismes) Soit K/k une
extension de degr ni.
1) Pour toute extension L/k, on a
() #Hom
k-alg.
(K, L) [K : k],
et si lgalit a lieu pour un certain L alors lextension K/k est sparable.
2) Rciproquement, si K/k est sparable alors lgalit a lieu pour tout
L contenant un corps de dcomposition sur K du produit des polynmes
minimaux sur k dun systme de gnrateurs de K sur k.
3) Pour toute extension K

/k, il existe une extension M de K

telle que
Hom
k-alg.
(K, M) ,= .
Dmonstration. Par hypothse, K = k[x
1
, . . . , x
r
]. On va montrer 1) et
2) par rcurrence sur r. Si r = 1, c.--d., si K = k[x], lassertion 1) et
limplication de 2) rsultent de la proposition 24.1.5. Dautre part, si
k[x] est sparable sur k, lgalit est obtenue dans () si L est un corps de
dcomposition sur k de Irr
k
(x). Ceci prouve 1) et 2) pour r = 1. De plus, on
Patrick Polo 171
obtient 3) en prenant pour M un corps de dcomposition sur K

de Irr
k
(x).
On peut donc supposer r 2 et le rsultat tabli pour r 1.
Posons K
1
= k[x
1
]. Alors, dune part,
(1) #Hom
k-alg.
(K
1
, L) [K
1
: k].
Dautre part, soit : K
1
L un k-morphisme. Par hypothse de rcurrence,
applique lextension K
1
K, on a
(2) #Hom

(K, L) [K : K
1
].
Or, si : K L est un k-morphisme, alors sa restriction
1
K
1
est un k-
morphisme, et Hom

1
(K, L). Combin avec (1), (2) et la multiplicativit
des degrs, ceci donne :
(3) #Hom
k-alg.
(K, L) [K : K
1
][K
1
: k] = [K : k],
et de plus, pour un L x, lgalit a lieu dans (3) si et seulement si elle a
lieu dans (1) et (2). Ceci prouve 1), ainsi que limplication dans 2). En
eet, supposons que pour un certain L on ait galit dans (3), alors on a
aussi galit dans (1), et donc x
1
est sparable sur k. Mais comme on peut
choisir x
1
arbitrairement dans K, ceci montre que K est sparable sur k.
Rciproquement, supposons K/k sparable. Alors, daprs la proposition
25.1.4, les extensions K
1
/k et K/K
1
sont sparables. Posons P
i
= Irr
k
(x
i
),
pour i = 1, . . . , n, et soit L un corps de dcomposition sur K de P
1
P
n
.
Alors, par hypothse de rcurrence, on a galit dans (1) et (2), et donc aussi
dans (3). Ceci achve la preuve des assertions 1) et 2).
De mme, on montre par rcurrence sur r que Hom
k-alg.
(K, M) ,= , pour
tout corps M contenant un corps de dcomposition sur K

de P
1
P
r
. Ceci
achve la preuve du thorme.
Corollaire 25.3.4 1) Soit K/k une extension algbrique et x K. Si x est
sparable sur k, alors lextension k[x]/k est sparable.
2) Si K/E et E/k sont des extensions de degr ni sparables, alors K/k
lest aussi.
Dmonstration. 1) Soit L un corps de dcomposition sur K de Irr
k
(x).
Daprs la proposition 24.1.5, on a
#Hom
k-alg.
(k[x], L) = deg
k
(x) = [k[x] : k].
Par consquent, daprs le thorme prcdent, lextension k k[x] est s-
parable. Ceci prouve 1).
172 Algbre et thorie de Galois 2005-2006
crivons K = E[x
1
, . . . , x
s
] et E = k[x
s+1
, . . . , x
r
] et notons P
i
le poly-
nme minimal de x
i
sur k. Soit L un corps de dcomposition de P
1
P
r
sur
K. Daprs le thorme, on a
#Hom
k-alg.
(E, L) = [E : k],
et tout k-morphisme : E L se prolonge en exactement [K : E] mor-
phismes K L. Par consquent, on a
#Hom
k-alg.
(K, L) = [K : E][E : k] = [K : k],
et donc, daprs le thorme, lextension K/k est sparable.
25.4 Le thorme de llment primitif
Dnition 25.4.1 On rappelle quune extension k K est dite monogne
si K est engendr sur k par un seul lment, c.--d., sil existe K tel que
K = k(). Dans ce cas, on dit que est un lment primitif de K sur k.
Thorme 25.4.2 (Thorme de llment primitif ) Soit K/k une ex-
tension sparable de degr ni. Alors K admet un lment primitif sur
k.
Dmonstration. On verra dans le chapitre suivant que si k est un corps
ni et K/k une extension de degr ni, alors le groupe multiplicatif K

est
cyclique, et donc K = k[] pour tout gnrateur de K

.
On peut donc supposer k inni. Posons n = [K : k]. Comme K/k est
sparable, il existe une extension L de k et des k-morphismes K L deux
deux distincts
1
, . . . ,
n
. Alors Ker(
i

j
) est un sous-espace propre de
K, pour tout i ,= j.
Lemme 25.4.3 Un espace vectoriel V sur un corps inni k nest pas runion
nie de sous-espaces propres V
1
, . . . , V
t
.
Dmonstration. Cest clair si t = 1. Donc on peut supposer t 2 et
le rsultat tabli pour t 1. Alors, il existe u, v V tels que u , V
t
et
v , V
1
V
t1
. Supposons
V = V
1
V
t
.
Alors v V
t
. Comme lensemble des x

:= u + v, pour k, est inni, il


existe ,= dans k tels que x

et x

appartiennent au mme V
j
. On ne peut
Patrick Polo 173
avoir j = t, car sinon on aurait u V
t
, une contradiction. Donc j < t, et V
j
contient x

= ( )v donc aussi v, une contradiction. Ceci prouve le


lemme.
On peut maintenant achever la preuve du thorme de llment primitif.
Daprs le lemme, il existe x K nappartenant aucun des Ker(
i

j
).
Alors, les
i
(x) sont deux deux distincts. Comme ce sont des racines, dans
L, de Irr
k
(x), ceci entrane deg
k
(x) n, et donc
n deg
k
(x) = [k(x) : k] [K : k] = n.
Il en rsulte que k(x) = K. Le thorme est dmontr.
Corollaire 25.4.4 Soit K/k une extension algbrique sparable. On suppose
quil existe n N

tel que deg


k
(x) n pour tout x K. Alors [K : k] n.
Dmonstration. Quitte diminuer n, on peut supposer quil existe x K
tel que deg
k
(x) = n. Soit y K arbitraire. Comme lextension k k[x, y]
est sparable de degr ni, elle admet un lment primitif z. On a donc
k[x] k[z], et cette inclusion est une galit par maximalit de deg
k
(x).
Donc k[x] = k[z] = k[x, y], do y k[x]. Ceci montre que K = k[x].
Pour terminer cette section, signalons aussi la proposition suivante.
Proposition 25.4.5 Soit k K une extension de degr ni. Alors K admet
un lment primitif sur k le nombre dextensions intermdiaires est ni.
Dmonstration. Supposons K = k[] et soit P = Irr
k
(). Soit k
L K une extension intermdiaire et soit Q = Irr
L
(). Alors [K : L] =
deg Q. Observons que Q divise P dans L[X], donc a fortiori dans K[X]. Par
consquent, il ny a quun nombre ni de possibilits pour Q.
Soit L

L le sous-corps de L engendr sur k par les coecients de Q.


Comme Q est irrductible dans L[X], il lest aussi dans L

[X]. Par cons-


quent, K = L

[] est de degr deg Q sur L

. On a donc
[K : L] = deg Q = [K : L

],
do [L : L

] = 1, c.--d., L = L

. Ceci montre que L est entirement dter-


min par la donne de Q. Comme il ny a quun nombre ni de tels Q, ceci
prouve la nitude du nombre des extensions intermdiaires.
Dmontrons maintenant limplication sous lhypothse que k est in-
ni. (On verra le cas des corps nis dans le prochain chapitre).
174 Algbre et thorie de Galois 2005-2006
Choisissons un lment K tel que deg
k
() soit maximal, c.--d., tel
que k[] soit de degr maximal parmi les sous-extensions simples contenues
dans K. Ceci est possible puisque K est de degr ni sur k. On va montrer
que k[] = K.
Soit K. Pour t variant dans k, posons
t
= + t et notons L
t
le
sous-corps de K engendr par
t
. Ces corps sont en nombre ni et donc, k
tant suppos inni, il existe des lments s ,= t dans k tels que L
s
= L
t
. Ce
corps contient alors (s t), donc , et aussi . Donc,
k[] k[, ] k[
s
].
La maximalit de deg
k
() entrane alors que les inclusions ci-dessus sont des
galits, do k[]. Comme K tait arbitraire, ceci montre que
k[] = K. Le thorme est dmontr.
Remarque 25.4.6 Soit K = F
p
(X, Y ) le corps des fractions rationnelles
deux variables sur F
p
, et soit k le sous-corps engendr par X
p
et Y
p
. On
verra dans le chapitre suivant que [K : k] = p
2
, et que tout lment K
vrie
p
k. Par consquent, toute extension monogne k[] K est de
degr p (et = p si , k). Ceci montre que lextension k K nest pas
monogne, donc admet une innit de corps intermdiaires.
26 Extensions galoisiennes et
correspondance de Galois
26.1 Extensions galoisiennes
Dnition 26.1.1 Soient k K une extension algbrique et H un sous-
groupe de G = Aut(K/k). On pose
K
H
= x K [ h H, h(x) = x.
Cest un sous-corps de K contenant k, appel corps des invariants de H
dans K.
Remarque 26.1.2 Lexemple de k = Q K = Q[
3

2] (cf. 24.3.3) montre


que lon peut avoir k ,= K
G
.
Dnition 26.1.3 (Extensions galoisiennes) Une extension algbrique
k K est dite galoisienne si, posant G = Aut(K/k), lon a K
G
= k. Dans
ce cas, on dit que G est le groupe de Galois de lextension, et on le note
Patrick Polo 175
Gal(K/k). De plus, pour tout K, les lments g(), pour g Gal(K/k),
sappellent les conjugus sur k de (dans K).
Thorme 26.1.4 (Proprits des extensions galoisiennes)
Soit k K une extension galoisienne et soit G = Aut(K/k).
1) Pour tout K, on a
() Irr
k
() =

G
(X );
en particulier, lorbite G est forme dexactement deg
k
() lments.
2) Lextension k K est quasi-galoisienne et sparable. En particu-
lier, si [K : k] < , K est le corps de dcomposition sur k dun polynme
sparable.
Dmonstration. 1) Posons Q =

G
(X) ; a priori, cest un lment
de K[X]. On va montrer que Q k[X]. crivons Q = X
n
+b
1
X
n1
+ +b
n
,
o n = [G[. Pour montrer que Q k[X], il sut de montrer que Q = g(Q)
pour tout g G, car alors chaque b
i
appartiendra K
G
, qui gale k par
hypothse.
Soit g G. On a
g(Q) =

G
(X g()),
et donc lgalit g(Q) = Q est claire, puisque lapplication g() est une
bijection de lorbite G, dont la bijjection inverse est g
1
().
On a donc Q k[X]. Par consquent, Irr
k
() divise Q, puisque Q() = 0.
Dautre part, daprs la proposition 24.3.2, Q divise Irr
k
(). On a donc
Irr
k
() = Q, puisque tous deux sont unitaires. Ceci prouve le point 1).
2) De plus, lgalit () montre que les racines de Irr
k
() sont toutes
dans K, et deux deux distinctes. Puisque K est arbitraire, ceci montre
que lextension k K est quasi-galoisienne et sparable. Enn, la dernire
assertion rsulte du lemme 25.1.6. La proposition est dmontre.
Thorme 26.1.5 (Second thorme fondamental)
Soient k un corps et P k[X] un polynme sparable de degr n 1.
Soit K un corps de dcomposition de P sur k et soit G = Aut(K/k). Alors,
K
G
= k, c.--d., lextension k K est galoisienne.
Dmonstration. On va dmontrer le thorme pour toute paire (k, P),
en procdant par rcurrence sur le nombre m de racines de P qui sont
176 Algbre et thorie de Galois 2005-2006
dans K mais pas dans k. Sans perte de gnralit, on peut supposer P
unitaire. Si m = 0, alors
P = (X
1
) (X
n
),
avec les
i
dans k. Dans ce cas, K = k, G = 1 et il ny a rien montrer.
Supposons m > 0 et le thorme tabli pour tout m

< m. Soit P k[X]


ayant exactement nm racines dans k, o n = deg P, et soit K un corps de
dcomposition de P sur k. Alors P a exactement m racines dans K k. Soit
P = P
1
P
r
sa dcomposition en facteurs irrductibles dans k[X]. On peut supposer les
P
i
unitaires. Comme m > 0, lun au moins de ces facteurs, disons P
1
, est de
degr d 2 et na pas de racines dans k. Par hypothse, P se scinde dans
K[X] comme produit de facteurs (irrductibles !) de degr 1. Comme K[X]
est factoriel, on en dduit que la mme proprit est vrie par chacun des
P
i
; en particulier par P
1
. Donc, dans K[X], P
1
se factorise :
P
1
= (X
1
) (X
d
),
avec
1
= et les
i
K deux deux distincts, puisque P
1
est sparable
par hypothse.
Or, K est un corps de dcomposition de P sur k(), et P est sparable
et a moins de m racines dans K k(). Donc, par hypothse de rcurrence,
le sous-groupe
H = Aut
k()
(K) = g Aut(K/k) [ g(x) = x, x k()
vrie K
H
= k(). Dautre part, daprs la proposition 24.1.5 et le thorme
24.2.5, il existe, pour i = 2, . . . , d, un k-automorphisme
i
de K tel que

i
() =
i
.
Soit maintenant z K
G
. Alors z K
H
= k() et donc (puisque P
1
=
Irr
k
() et d = deg P
1
) il existe a
0
, . . . , a
d1
k tels que
z = a
0
+a
1
+ +a
d1

d1
.
Soit i 2, . . . , d. Appliquant
i
G cette galit, on obtient :
z = a
0
+a
1

i
+ +a
d1

d1
i
.
Il en rsulte que les d lments distincts =
1
,
2
, . . . ,
d
sont tous racines
du polynme
Q(X) = (a
0
z) +a
1
X + +a
d1
X
d1
.
Patrick Polo 177
Celui-ci tant de degr d 1, il est donc nul. Par consquent, z = a
0
appartient k. Ceci achve la preuve du thorme.
Dnition 26.1.6 (Groupe de Galois dun polynme sparable)
Soient P k[X] un polynme sparable et K un corps de dcomposition
de P sur k. Le groupe Gal(K/k) est not Gal(P/k) et appel groupe de
Galois de P sur k. Ceci est licite, car ce groupe ne dpend, isomorphisme
prs, que de P. En eet, si K

est un autre corps de dcomposition de P sur


k, on a vu (thorme 24.2.5) quil existe un k-isomorphisme : K

K

.
Alors, lapplication g g
1
est un isomorphisme de Gal(K/k) sur
Gal(K

/k).
Corollaire 26.1.7 Soit K un corps de dcomposition sur k dun polynme
sparable de degr 1 et soit G = Aut(K/k). Pour tout K, on a
Irr
k
() =

G
(X ).
Dmonstration. Ceci dcoule du thorme prcdent et du thorme 26.1.4.

Corollaire 26.1.8 (Caractrisation des extensions galoisiennes -


nies)
Soit k K une extension de degr ni. Les conditions suivantes sont qui-
valentes :
1) k K est quasi-galoisienne et sparable ;
2) K est le corps de dcomposition sur k dun polynme sparable ;
3) k K est galoisienne.
Dmonstration. On a 1) 2) 3) 1) daprs le lemme 25.1.6, le
thorme 26.1.4, et le thorme 26.1.5, respectivement.
Corollaire 26.1.9 1) Soit k K = k[x
1
, . . . , x
n
] une extension de degr
ni. Si chaque x
i
est sparable sur k, alors K/k est sparable.
2) Si K/k et E/K sont des extensions de degr ni sparables, alors E/k
lest aussi.
Dmonstration. 1) Posons P
i
= Irr
k
(x
i
) et soit L un corps de dcompo-
sition sur K de P := P
1
P
n
. Daprs les thormes 26.1.5 et 26.1.4, L/k
est galoisienne donc sparable, et donc K/k est sparable. Ceci prouve 1).
Prouvons 2). Soit x E. Alors Q := Irr
K
(x) est sparable, et il sagit de
montrer que Irr
k
(x) lest aussi. On se ramne au cas o lextension K/k est
178 Algbre et thorie de Galois 2005-2006
galoisienne, de la faon suivante. Avec les notations de 1), soit E

un corps
de dcomposition sur K[x] de P. Alors, le sous-corps K

de E

engendr par
K et les racines de P est galoisien. Dautre part, le polynme minimal de x
sur K

divise Q, donc est sparable. Par consquent, remplaant E/K par


E

/K

, on se ramne au cas o E/K est galoisienne. Soit G son groupe de


Galois et soient Q
1
= Q, et Q
2
, . . . Q
r
les conjugus de Q sous laction de
G. Alors, chaque Q
i
est sparable, et il en est de mme du produit Q =
Q
1
Q
r
K[X]. Mais Q est invariant par G, donc appartient k[X].
Par consquent, x est annul par le polynme sparable Q k[X], et il
en rsulte que Irr
k
(x) est sparable. Le corollaire est dmontr.
Remarque 26.1.10 Le corollaire 26.1.7 apporte une rponse satisfaisante
la question 24.3 (), qui nous avait servi de point de dpart et motivation
pour ltude du groupe G = Aut(K/k).
Dans la section suivante, on dveloppera certains rsultats sur les groupes,
qui permettront dtablir que si k K est une extension galoisienne nie,
alors G = Aut(K/k) est un groupe ni de cardinal [K : k] et la correspon-
dance H K
H
tablit une bijection entre lensemble des sous-groupes de
G et les extensions intermdiaires k L K.
26.2 Indpendance des caractres
Dnition 26.2.1 (Lespace des fonctions X K) Soient K un corps
et X un ensemble arbitraire. On note T(X, K) lensemble de toutes les ap-
plications X K. Il est muni dune structure despace vectoriel : pour
, T(X, K) et a K, on dnit a+ par (a+)(g) = a(x) +(x),
pour tout x X.
Soit maintenant G un groupe arbitraire. Parmi toutes les fonctions :
G K, on distingue les suivantes.
Dnition 26.2.2 (Caractres) On dit quune fonction : G K est un
caractre de G valeurs dans K si cest un morphisme de G dans le groupe
multiplicatif de K, c.--d., si elle vrie (1
G
) = 1 et (gg

) = (g)(g

)
pour tout g, g

G. On note X
K
(G) lensemble de ces caractres.
Thorme 26.2.3 (Thorme dindpendance des caractres)
X
K
(G) est une partie libre de T(G, K), c.--d., si
1
, . . . ,
n
sont des
caractres distincts et si a
1
, . . . , a
n
K sont tels que a
1

1
+ +a
n

n
= 0,
alors a
i
= 0 pour tout i.
Patrick Polo 179
Dmonstration. Supposons le thorme en dfaut et soit n minimal tel
quil existe une relation
(1) a
1

1
+ +a
n

n
= 0,
avec les
i
deux deux distincts et chaque a
i
,= 0. Ncessairement, n 2.
Comme
1
,=
2
, il existe h G tel que
1
(h) ,=
2
(h). Soit g G arbitraire.
Appliquant (1) hg, on obtient
(2) a
1

1
(h)
1
(g) + +a
n

n
(h)
n
(g) = 0.
Dautre part, en appliquant (1) g puis en multipliant par
1
(h), on obtient :
(3) a
1

1
(h)
1
(g) + +a
n

1
(h)
n
(g) = 0.
Soustrayant (3) de (2), on obtient que la fonction
a
2
(
2
(h)
1
(h))
2
+ +a
n
(
n
(h)
1
(h))
n
est identiquement nulle. Comme le coecient de
2
est ,= 0, ceci est une
relation linaire non-triviale entre
2
, . . . ,
n
, et ceci contredit la minimalit
de n. Ceci dmontre le thorme.
Corollaire 26.2.4 Soient L et K deux corps. Lensemble des morphismes
de corps L K est une partie libre de T(L, K).
Dmonstration. Soient
1
, . . . ,
n
des morphismes de corps L K, deux
deux distincts, et soient a
1
, . . . , a
n
K. Supposons quon ait dans T(L, K)
lgalit
a
1

1
+ +a
n

n
= 0.
Or, la restriction de chaque
i
L

= L 0 est un caractre de L


valeurs dans K. Donc, le thorme prcdent entrane que a
i
= 0 pour tout
i. Ceci prouve le corollaire.
Proposition 26.2.5 Soit K un corps et soient
1
, . . . ,
n
des automor-
phismes de K, deux deux distincts. Soit
L = x K [ i = 1, . . . , n,
i
(x) = x.
Alors L est un sous-corps de K et [K : L] n. En particulier, si G est un
groupe ni dautomorphismes de K, alors [K : K
G
] [G[.
180 Algbre et thorie de Galois 2005-2006
Dmonstration. Il est immdiat que L est un sous-corps de K. Observons
que chaque
i
est un automorphisme L-linaire de K, puisque
i
(ab) =

i
(a)
i
(b) = a
i
(b), pour tout a L, b K.
Posons r = dim
L
K et supposons que r < n. Soit (
1
, . . . ,
r
) une base de
K sur L. Considrons le systme linaire suivant, dinconnues x
1
, . . . , x
n
:
_

1
(
1
)x
1
+
2
(
1
)x
2
+ +
n
(
1
)x
n
= 0

1
(
2
)x
1
+
2
(
2
)x
2
+ +
n
(
2
)x
n
= 0
.
.
.

1
(
r
)x
1
+
2
(
r
)x
2
+ +
n
(
r
)x
n
= 0.
Cest un systme coecients dans K, homogne, avec r < n quations. Il
admet donc au moins une solution non triviale (a
1
, . . . , a
n
) K
n
0. Alors
le systme ci-dessus montre que la fonction L-linaire
:= a
1

1
+a
2

2
+ +a
n

n
sannule sur la L-base (
1
, . . . ,
r
) de K, donc est identiquement nulle. Comme
(a
1
, . . . , a
n
) ,= 0, ceci contredit lindpendance de
1
, . . . ,
n
. Cette contra-
diction montre que r n. La proposition est dmontre.
26.3 Invariants dun groupe ni : thorme dArtin
On peut maintenant dmontrer le 3me thorme fondamental, d Emil
Artin.
Thorme 26.3.1 (Artin)
Soient K un corps, G un groupe ni dautomorphismes de K, et L = K
G
son corps des invariants.
1) On a [K : L] = [G[.
2) Par consquent, G = Aut
L
(K) et L K est une extension galoi-
sienne, de groupe de Galois Gal(K/L) = G.
Dmonstration. 1) Posons n = [G[. Daprs la proposition 26.2.5, on a
dim
L
K n. Supposons que dim
L
K > n. Alors, posant r = n + 1, il existe
des lments
1
, . . . ,
r
L linairement indpendants sur K. Choisissons
une numrotation
1
, . . . ,
n
des lments de G telle que
1
= id
K
. Consid-
rons, cette fois, le systme :
()
_

1
x
1
+ +
r
x
r
= 0

2
(
1
)x
1
+ +
2
(
r
)x
r
= 0
.
.
.

n
(
1
)x
1
+ +
n
(
r
)x
r
= 0.
Patrick Polo 181
Cest un systme homogne, coecients dans K, de n quations r = n+1
inconnues. Alors () admet des solutions non nulles.
Soit a = (a
1
, . . . , a
r
) K
r
une solution non nulle, ayant un nombre
minimum s de coordonnes a
i
non-nulles. Quitte changer la numrotation
des
i
, on peut supposer que
a = (a
1
, . . . , a
s
, 0, . . . , 0),
avec a
i
,= 0 pour i = 1, . . . , s. Divisant a par a
s
, on se ramne au cas o
a
s
= 1. On a alors les galits :
(1) (
1
)a
1
+ +(
s
) = 0, G.
Comme
1
, . . . ,
s
sont indpendants sur L, cette galit pour = id
K
en-
trane que a
1
, . . . , a
s1
ne sont pas tous dans L. On peut donc supposer
a
1
, L. Alors, il existe G tel que (a
1
) ,= a
1
.
Appliquons aux galits (1). Comme lapplication est une
bijection de G, on obtient les galits
(2) (
1
)(a
1
) + +(
s
) = 0, G.
Soustrayant (2) de (1), on obtient les galits :
(3) (
1
)(a
1
(a
1
)) + +(
s1
)(a
s1
(a
s1
)) = 0, G.
Ceci montre que le r-uplet
(a
1
(a
1
), . . . , a
s1
(a
s1
), 0, . . . , 0)
est solution du systme (). Il est non nul, car a
1
,= (a
1
), et a au plus s 1
coordonnes non nulles. Ceci contredit la minimalit de s. Cette contradiction
montre que lhypothse dim
K
L > n est impossible. On a donc dim
K
L = n,
ce qui prouve le point 1).
Montrons le point 2). Posons H = Aut(K/L). Alors, par dnition, L
K
H
. Dautre part, il est clair que G H, et donc K
H
est contenu dans K
G
=
L. Par consquent, on a K
H
= L, ce qui montre que K/L est galoisienne.
Enn, si lon avait G ,= H, alors H contiendrait un lment
n+1
, G et,
daprs la proposition 26.2.5, on aurait [K : K
H
] n+1, ce qui nest pas le
cas. On a donc G = H = Aut(K/L). Ceci achve la preuve du thorme.
Remarque 26.3.2 la n de la preuve, on ne peut pas immdiatement
appliquer le point 1) G et H pour obtenir que [G[ = [K : L] = [H[, car
on ne sait pas a priori que H est ni. Cest pour cette raison que lon fait
appel la proposition 26.2.5 : si linclusion G H tait stricte, on aurait
[K : K
H
] > n.
182 Algbre et thorie de Galois 2005-2006
26.4 Autre dmonstration du thorme dArtin
Thorme 26.4.1 (Artin) Soient K un corps, G un groupe ni dauto-
morphismes de K, et L = K
G
son corps des invariants.
1) On a [K : L] = [G[.
2) Par consquent, G = Aut
L
(K) et L K est une extension galoi-
sienne, de groupe de Galois Gal(K/L) = G.
Dmonstration. Soit x K arbitraire. Daprs la proposition 24.3.2, on
a
Irr
L
(x) =

Gx
(X ).
Donc x est sparable sur L et de degr [G[. Par consquent, daprs le
corollaire 25.4.4, on a
[K : L] [G[.
Dautre part, G est un sous-groupe de Aut(K/L) et, daprs le thorme
25.3.3 (ou la proposition 26.2.5) on a
[Aut(K/L)[ [K : L].
Il en rsulte que G = Aut(K/L) et que lextension K/L est galoisienne.
26.5 Un rappel sur les groupes
Dnition 26.5.1 Soit G un groupe. Un sous-groupe H est dit normal,
ou distingu, sil vrie gHg
1
= H, pour tout g G.
Exemple 26.5.2 Soit : G G

un morphisme de groupes. Son noyau


ker = h G [ (h) = 1 est un sous-groupe normal. En eet, pour tout
h ker et g G, on a
(ghg
1
) = (g)(h)(g)
1
= (g)(g)
1
= 1.
De plus, si H est un sous-groupe normal de G, on peut construire le
groupe quotient G/H et H est le noyau du morphisme : G G/H.
Rappelons la construction de G/H. Pour tout g G, on pose
gH := gh [ h H.
On lappelle la classe gauche de g modulo H (la classe droite tant
lensemble Hg dni de faon analogue). On note G/H lensemble de ces
classes gauche, et : G G/H lapplication g gH. On voit que
(g) = (g

) ssi g
1
g

H.
Patrick Polo 183
Proposition 26.5.3 Soit H un sous-groupe normal de G. Il existe sur G/H
une unique structure de groupe telle que : G G/H soit un morphisme
de groupes. Elle est dnie par
() (g
1
H)(g
2
H) = g
1
g
2
H.
Le noyau du morphisme G G/H gale H.
Dmonstration. Montrons que la formule () fait sens, c.--d., que ll-
ment (g
1
H)(g
2
H) est bien dni. Pour i = 1, 2, soit g

i
un autre lment de
g
i
H. Alors, g

i
= g
i
h
i
avec h
i
H et lon a
g

1
g

2
= g
1
h
1
g
2
h
2
= g
1
g
2
(g
1
2
h
1
g
2
)h
2
.
Or, par hypothse, g
1
2
h
1
g
2
H et il en rsulte que g

1
g

2
H = g
1
g
2
H. On
vrie alors facilement que la multiplication dnie par () est associative,
admet pour lment neutre la classe 1H = H, et que linverse de gH est
g
1
H. Donc, G/H est un groupe, et () montre que : G G/H est un
morphisme de groupes surjectif. Enn, ker = g G [ gH = H gale H.
La proposition est dmontre.
Thorme 26.5.4 (Proprit universelle du noyau et thorme fon-
damental disomorphisme)
Soit : G G

un morphisme de groupes et soit K un sous-groupe normal


de G contenu dans ker .
1) se factorise de faon unique travers G/K, c.--d., il existe un
unique morphisme de groupes : G/K G

tel que = , o dsigne


la projection G G/K.
2) Im() est un sous-groupe de G

et induit un isomorphisme de groupes


: G/ ker

=
Im().
Dmonstration. La dmonstration est analogue celle du thorme 9.2.5
et est laisse au lecteur.
26.6 Le couronnement : correspondance de Galois
Thorme 26.6.1 (Thorme principal de la thorie de Galois)
Soit k K une extension galoisienne nie, de groupe G. Pour toute exten-
sion intermdiaire k L K, on pose
Fix(L) = g G [ x L, g(x) = x = Aut
L
(K).
184 Algbre et thorie de Galois 2005-2006
1) Pour tout L, lextension L K est galoisienne, c.--d.,
L = K
Fix(L)
,
et lon a [K : L] = [Fix(L)[ et [L : k] = [G[/[Fix(L)[.
2) Lapplication H K
H
induit une bijection de lensemble des sous-
groupes de G sur lensemble des extensions intermdiaires k L K.
La bijection inverse est donne par L Fix(L). Ces deux bijections sont
dcroissantes, c.--d., H H

K
H
K
H

et L L

Fix(L)
Fix(L

).
3) Soit L un corps intermdiaire. Pour tout g G, on a
() Fix(g(L)) = gFix(L)g
1
.
Par consquent, lextension k L est galoisienne ssi Fix(L) est un sous-
groupe distingu de G. Dans ce cas, Aut
k
(L)

= G/Fix(L).
4) Soit L un corps intermdiaire et soit H = Fix(L). Alors les bijections
de 2) induisent une bijection entre lensemble des sous-extensions k L

L
et lensemble des sous-groupes H

de G contenant H. En particulier, il ny a
quun nombre ni de tels L

.
Dmonstration. 1) Daprs le thorme 26.1.4, K est un corps de d-
composition sur k dun polynme sparable P. Alors, K est aussi un corps
de dcomposition de P sur L, pour tout corps intermdiaire L. Par cons-
quent, daprs le second thorme fondamental (26.1.5), lextension L K
est galoisienne.
Posant H = Fix(L) = Aut
L
(K), on a donc K
H
= L et, daprs le
thorme dArtin 26.3.1, [K : L] = [H[ et [K : k] = [G[. Comme [K : k] =
[K : L][L : k], daprs la proposition 23.5.2, on obtient [L : k] = [G[/[H[.
Ceci prouve le point 1).
2) Rciproquement, soit H un sous-groupe de G. Daprs le thorme
dArtin 26.3.1, lon a Fix(K
H
) = H. Combin avec le point 1), ceci prouve
que les applications H K
H
et L Fix(L) sont des bijections rciproques.
De plus, il est clair que
H H

L
H

L
H
et L L

Fix(L

) Fix(L).
La dernire assertion de 2) en dcoule.
3) Il est clair que gFix(L)g
1
laisse xe tout lment de g(L). On a donc
gFix(L)g
1
Fix(g(L)), et, de mme, g
1
Fix(g(L))g Fix(L). Ceci prouve
(). Posons H = Fix(L).
Patrick Polo 185
Supposons k L galoisienne. Alors L est le corps de dcomposition
sur k dun polynme P k[X], c.--d., il existe
1
, . . . ,
n
L tels que
L = k[
1
, . . . ,
n
] et P =

n
i=1
(X
i
). Soit g G. Comme g(P) = P, il
existe une bijection f de 1, . . . , n telle que g(
i
) =
f(i)
pour i = 1, . . . , n.
Comme g(L) est le sous-corps de K engendr par les g(
i
), il en rsulte que
g(L) = L. Alors, () entrane que gHg
1
= H. Ceci montre que H est un
sous-groupe normal de G.
Rciproquement, supposons H normal. Alors, pour tout g G, on a
g(L) = K
gHg
1
= K
H
= L.
Par consquent, lapplication de restriction : g g[
L
induit un morphisme
de groupes G Aut
k
(L), dont le noyau gale Fix(L). Son image (G) est
un sous-groupe de Aut
k
(L). Il est clair que
k L
Aut
k
(L)
L
(G)
.
Or, un lment x de L est x par (G) ssi il est x par G, et ceci est le
cas ssi x K
G
= k. Par consquent, les deux inclusions ci-dessus sont des
galits. Donc k L est galoisienne et de plus, daprs le thorme dArtin,
lon a (G) = Aut
k
(L). Ceci montre que lapplication de restriction induit
un isomorphisme
G/Fix(L)

Gal(L/k).
Ceci prouve le point 3).
Enn, le point 4) est une consquence immdiate du point 2). Le thorme
est dmontr.
Remarque 26.6.2 Sous les hypothses du thorme, soit k L K une
extension intermdiaire. Puisque K est sparable sur k, alors L lest aussi.
Donc, daprs le corollaire 26.1.8, lextension k L est galoisienne ssi elle
est normale. Daprs le point 3) du thorme prcdent, on peut donc dire
que lextension k L est normale ssi Fix(L) est un sous-groupe normal de
G. Ceci explique la terminologie extension normale .
26.7 Clture normale ou galoisienne
On a vu les bonnes proprits des extensions galoisiennes nies et de leurs
sous-extensions. Pour cette raison, tant donn une extension nie arbitraire
K/k, il est parfois utile de la plonger, dans une extension nie plus grande
186 Algbre et thorie de Galois 2005-2006
L/k qui soit galoisienne, si cela est possible. Comme une extension galoi-
sienne est sparable, ainsi que toute sous-extension (cf. 25.1.4), une condi-
tion ncessaire est que K/k soit sparable. On va voir que cette condition
est galement susante.
En particulier, si car(k) = 0, toute extension nie de k est contenue dans
une extension galoisienne nie de k.
Thorme 26.7.1 (Clture normale ou galoisienne)
Soit k K une extension de corps, de degr ni. Alors K est contenu
dans une extension L, de degr ni et normale sur k, minimale pour cette
proprit, et unique K-isomorphisme prs. Un tel L sappelle une clture
normale de K sur k.
De plus, si k K est sparable, alors L est galoisienne sur k et lon
dit que cest une clture galoisienne de K sur k.
Dmonstration. Soit
1
, . . . ,
r
un systme de gnrateurs de K sur k et
soit P
i
le polynme minimal sur k de
i
. Posons P = P
1
P
r
et soit L un
corps de dcomposition de P sur K. Cest aussi un corps de dcomposition
de P sur k et donc lextension k L (de degr ni) est normale, daprs la
proposition 24.2.8.
Elle est de plus minimale, au sens suivant. Soit L

une extension inter-


mdiaire entre K et L, qui soit normale sur k. Alors L

contient
1
, . . . ,
r
,
et donc toutes les racines de chaque P
i
= Irr
k
(
i
). Par consquent, L

= L.
Ceci montre que L est une extension de K normale sur k et minimale pour
cette proprit.
De plus, L est unique K-isomorphisme prs. En eet, soit E une ex-
tension de K, normale sur k. Alors, E contient un corps de dcomposition
L

de P sur K. Daprs le thorme 24.2.5, il existe un K-isomorphisme


: L

L

. Si de plus, E est suppose minimale, alors E = L

et donc E est
K-isomorphe L.
Enn, si k K est sparable, alors P
1
, . . . , P
r
et P sont sparables.
Comme L est un corps de dcomposition de P sur k, lextension k L est
galoisienne, daprs le second thorme fondamental 26.1.5. Ceci prouve le
thorme.
Corollaire 26.7.2 Soit k K une extension sparable de degr ni. Le
nombre dextensions intermdiaires k L K est ni.
Dmonstration. Soit

K une clture galoisienne de K, et G son groupe de
Galois sur k. Cest un groupe ni, de cardinal [

K : k]. Daprs le thorme


principal 26.6.1, les extensions intermdiaires k L K sont en bijection
Patrick Polo 187
avec lensemble des sous-groupes de G contenant H = Fix(K), qui est ni.

On dduit de ce qui prcde une autre dmonstration du thorme de


llment primitif, qui nutilise pas les rsultats de 25.3.
Thorme 26.7.3 (Thorme de llment primitif ) Soit K/k une ex-
tension sparable de degr ni. Alors K admet un lment primitif sur k.
Dmonstration. Ceci rsulte du corollaire prcdent et de la proposition
25.4.5.
188 Algbre et thorie de Galois 2005-2006
Table des matires
1 Nombres entiers et rationnels . . . . . . . . . . . . . . . . . . 1
1.1 Notations et dnitions . . . . . . . . . . . . . . . . . 1
1.2 Division euclidienne et consquences . . . . . . . . . . 2
1.3 Solutions entires de x
2
+y
2
= z
2
. . . . . . . . . . . . 7
2 Entiers algbriques . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1 Somme de deux carrs et entiers de Gauss . . . . . . . 8
2.2 Les anneaux de nombres Z[

n] . . . . . . . . . . . . . 12
2.3 Les anneaux Z[
1+

3
2
] et Z[
1+

5
2
] . . . . . . . . . . . 15
2.4 Entiers algbriques . . . . . . . . . . . . . . . . . . . . 16
2.5 Anneaux noethriens . . . . . . . . . . . . . . . . . . . 19
2.6 lments irrductibles dans un anneau intgre
noethrien . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 C est algbriquement clos . . . . . . . . . . . . . . . . . . . . 23
3.1 Lnonc du thorme . . . . . . . . . . . . . . . . . . 23
3.2 La dmonstration dArgand . . . . . . . . . . . . . . . 24
3.3 La cas de plusieurs polynmes . . . . . . . . . . . . . . 25
4 Le thorme des zros . . . . . . . . . . . . . . . . . . . . . . 26
4.0 Courbes algbriques . . . . . . . . . . . . . . . . . . . 26
4.1 Varits algbriques . . . . . . . . . . . . . . . . . . . 27
4.2 Vers la suite du cours . . . . . . . . . . . . . . . . . . 28
5 Anneaux et idaux . . . . . . . . . . . . . . . . . . . . . . . . 29
5.1 Anneaux et corps . . . . . . . . . . . . . . . . . . . . . 29
5.2 Idaux . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
6 Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.1 Groupes abliens et Z-modules . . . . . . . . . . . . . 32
6.2 A-modules et sous-A-modules . . . . . . . . . . . . . . 32
6.3 Construction de modules (I) : sommes directes nies . 35
6.4 Morphismes et isomorphismes . . . . . . . . . . . . . . 35
6.5 Modules de type ni . . . . . . . . . . . . . . . . . . . 36
7 Modules et anneaux noethriens . . . . . . . . . . . . . . . . . 38
i
ii Algbre et thorie de Galois 2005-2006
7.1 Modules noethriens . . . . . . . . . . . . . . . . . . . 38
7.2 Anneaux et modules noethriens . . . . . . . . . . . . 39
8 Anneaux de polynmes et
thorme de transfert de Hilbert . . . . . . . . . . . . . . . . 40
8.1 Lanneau de polynmes A[X] . . . . . . . . . . . . . . 40
8.2 Le thorme de transfert de Hilbert . . . . . . . . . . . 42
8.3 Construction de modules (II) : modules libres . . . . . 43
8.4 Anneaux de polynmes en plusieurs variables . . . . . 46
8.5 Morphismes danneaux et A-algbres . . . . . . . . . . 48
8.6 A-algbres et proprit universelle
des algbres de polynmes . . . . . . . . . . . . . . . . 49
9 Modules et anneaux quotients,
thormes disomorphisme de Noether . . . . . . . . . . . . . 50
9.1 Dnition des modules quotients . . . . . . . . . . . . 50
9.2 Noyaux et images, thormes de Noether . . . . . . . . 52
9.3 Applications des modules quotients . . . . . . . . . . . 55
9.4 Anneaux quotients . . . . . . . . . . . . . . . . . . . . 57
9.5 Algbres de fonctions polynomiales . . . . . . . . . . . 59
9.6 Anneaux dendomorphismes et A/I-modules . . . . . . 61
10 Algbres de type ni et noethrianit . . . . . . . . . . . . . . 63
10.1 Algbres de type ni . . . . . . . . . . . . . . . . . . . 63
10.2 Rsultats de noethrianit . . . . . . . . . . . . . . . . 65
11 Idaux premiers et maximaux, Lemme de Zorn . . . . . . . . 67
11.1 Idaux premiers et maximaux . . . . . . . . . . . . . . 67
11.2 Sous-modules maximaux et lemme de Zorn . . . . . . 68
12 Anneaux de fractions, localisation . . . . . . . . . . . . . . . . 71
12.0 Motivation . . . . . . . . . . . . . . . . . . . . . . . . 72
12.1 Construction de lanneau S
1
A . . . . . . . . . . . . . 73
12.2 Le cas intgre . . . . . . . . . . . . . . . . . . . . . . . 77
12.3 Localisation de modules . . . . . . . . . . . . . . . . . 79
12.4 Idaux premiers de S
1
A, anneaux locaux . . . . . . . 83
12.5 Support et idaux premiers associs . . . . . . . . . . 84
13 Idaux irrductibles, radical dun idal et idaux premiers mi-
nimaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
13.1 Idaux irrductibles . . . . . . . . . . . . . . . . . . . 88
13.2 Racine dun idal et idaux premiers minimaux . . . . 90
14 Extensions entires et extensions de corps (I) . . . . . . . . . 91
14.1 Morphismes entiers . . . . . . . . . . . . . . . . . . . . 91
14.2 Extensions de corps, multiplicativit du degr . . . . . 93
14.3 Retour sur K[X] . . . . . . . . . . . . . . . . . . . . . 94
Patrick Polo iii
15 Un aperu de gomtrie algbrique, thorme des zros de
Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
15.1 Sous-varits algbriques de k
n
et topologie de Zariski 95
15.2 Le thorme des zros de Hilbert . . . . . . . . . . . . 97
16 Anneaux factoriels . . . . . . . . . . . . . . . . . . . . . . . . 101
16.1 lments irrductibles et lments associs . . . . . . . 101
16.2 Anneaux factoriels, lemmes dEuclide et Gauss . . . . 102
16.3 PPCM et PGCD dans un anneau factoriel . . . . . . . 105
16.4 Le thorme de transfert de Gauss . . . . . . . . . . . 107
17 Anneaux principaux et anneaux euclidiens . . . . . . . . . . . 111
17.1 Les anneaux euclidiens sont principaux . . . . . . . . . 111
17.2 Les anneaux principaux sont factoriels . . . . . . . . . 112
18 Idaux trangers et thorme chinois . . . . . . . . . . . . . . 113
18.1 Idaux trangers . . . . . . . . . . . . . . . . . . . . . 113
18.2 Thorme chinois des restes . . . . . . . . . . . . . . . 115
19 Modules de torsion sur un anneau principal . . . . . . . . . . 116
19.1 Annulateurs et modules de torsion . . . . . . . . . . . 116
19.2 Dcomposition primaire des modules de torsion sur un
anneau principal . . . . . . . . . . . . . . . . . . . . . 118
20 A-modules libres de type ni, invariance du rang . . . . . . . 125
20.1 Rang dun module libre de type ni . . . . . . . . . . 125
20.2 Modules dhomomorphismes et module dual . . . . . . 127
21 Modules de type ni sur un anneau principal . . . . . . . . . 128
21.1 Matrices chelonnes . . . . . . . . . . . . . . . . . . . 128
21.2 Les rsultats fondamentaux . . . . . . . . . . . . . . . 129
21.3 Existence dune base adapte . . . . . . . . . . . . . . 130
21.4 Dcomposition des modules de type ni . . . . . . . . 132
21.5 Unicit des facteurs invariants . . . . . . . . . . . . . . 134
22 Autre approche : rduction des matrices sur un anneau principal137
22.1 Une consquence de lexistence de bases adaptes . . . 137
22.2 Rduction des matrices . . . . . . . . . . . . . . . . . 137
23 Caractristique et extensions de corps . . . . . . . . . . . . . 145
23.1 Les corps fondamentaux Q et F
p
. . . . . . . . . . . . 145
23.2 Gnralits sur les extensions . . . . . . . . . . . . . . 147
23.3 Extensions entires danneaux . . . . . . . . . . . . . . 148
23.4 lments algbriques ou bien transcendants . . . . . . 153
23.5 Extensions algbriques de corps et degr dune extension154
23.6 Bases de transcendances et extensions de type ni . . 156
24 Corps de rupture et corps de dcomposition . . . . . . . . . . 160
24.1 Corps de rupture dun polynme . . . . . . . . . . . . 160
iv Algbre et thorie de Galois 2005-2006
24.2 Corps de dcomposition dun polynme . . . . . . . . 162
24.3 Le groupe des k-automorphismes dune extension . . . 165
25 Extensions sparables et thorme de llment primitif . . . . 167
25.1 Polynmes et extensions sparables . . . . . . . . . . . 167
25.2 Racines multiples et sparabilit . . . . . . . . . . . . 168
25.3 Caractrisation de la sparabilit en termes de mor-
phismes . . . . . . . . . . . . . . . . . . . . . . . . . . 170
25.4 Le thorme de llment primitif . . . . . . . . . . . . 172
26 Extensions galoisiennes et
correspondance de Galois . . . . . . . . . . . . . . . . . . . . 174
26.1 Extensions galoisiennes . . . . . . . . . . . . . . . . . . 174
26.2 Indpendance des caractres . . . . . . . . . . . . . . . 178
26.3 Invariants dun groupe ni : thorme dArtin . . . . . 180
26.4 Autre dmonstration du thorme dArtin . . . . . . . 182
26.5 Un rappel sur les groupes . . . . . . . . . . . . . . . . 182
26.6 Le couronnement : correspondance de Galois . . . . . 183
26.7 Clture normale ou galoisienne . . . . . . . . . . . . . 185
Bibliographie
[Art] E. Artin, Galois Theory, nouvelle dition, Dover, 1998.
[AM] M. Atiyah, I. G. Macdonald, Commutative algebra, Addison-Wesley,
1969.
[BAlg] N. Bourbaki, Algbre, Chapitres 4 7, Masson, 1981.
[BM] J. Brianon, Ph. Maisonobe, lments dalgbre commutative (ni-
veau M1), Ellipses, 2004.
[De] R. Dedekind, Sur la thorie des nombres entiers algbriques, Gau-
thier-Villars, 1877 ; traduit en anglais avec une introduction de J.
Stillwell dans : Theory of algebraic integers, Cambridge Univ. Press
1996.
[Die] J. Dieudonn, Cours de gomtrie algbrique, tome 2, P.U.F., 1974.
[Dou] A. Douady, R. Douady, Algbre et thories galoisiennes (2 tomes),
Cedic Fernand Nathan, 1977.
[Elk] R. Elkik, Cours dalgbre, Ellipses, 2002.
[Esc] J.-P. Escoer, Thorie de Galois, Dunod, 2000.
[Ja1] N. Jacobson, Basic algebra I, W. H. Freeman & Co., 1974.
[Kru] W. Krull, Idealtheorie, Springer Verlag, 1937 (2e dition 1968).
[La] S. Lang, Algebra, Addison-Wesley, 1965. Traduction franaise de la
3me dition : Algbre, Dunod, 2004.
[Ne04] J. Nekovr, Thorie de Galois, cours UPMC 2003/4, disponible
ladresse : www.math.jussieu.fr/nekovar/co/ln
[Pe1] D. Perrin, Cours dalgbre, E.N.S.J.F. 1981, et 3me dition, Ellipses,
1996.
[Pe2] D. Perrin, Gomtrie algbrique - Une introduction, Inter ditions/-
CNRS ditions, 1995.
[Sa] P. Samuel, Thorie algbrique des nombres, Hermann, 1967.
v
vi Algbre et thorie de Galois 2005-2006
[St] J. Stillwell, Chapitre dintroduction dans [De].
[vdW] B. L. van der Waerden, History of algebra from al-Khwarizmi to
Emmy Noether, Springer Verlag, 1985.