Vous êtes sur la page 1sur 50

La thorie de Galois

et son enseignement
Antoine Chambert-Loir
Institut de recherche mathmatique de Rennes, Universit de Rennes 1
Bicentenaire de la naissance dvariste Galois
24 octobre 2011
La thorie de Galois et son enseignement p. 1
Quest-ce que la thorie de Galois ?
Gilles Chtelet :
La physique mathmatique comme projet
Lenchantement du virtuel. Mathmatique, physique, philosophie
dit par C. Alluni et C. Paoletti, ditionsRuedUlm, 2010.
La thorie des quations de Galois constitue
probablement un des plus beaux exemples du principe de
dissymtrie cratrice en mathmatiques. Cette thorie des
quations (...) prend explicitement pour thme la symtrie
et la dissymtrie de lensemble des racines dune quation
irrductible coefcients entiers,

n
+
n1

n1
+ +
0
= 0 (E)
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 2
Quest-ce que la thorie de Galois ?
Gilles Chtelet :
La physique mathmatique comme projet
Lenchantement du virtuel. Mathmatique, physique, philosophie
dit par C. Alluni et C. Paoletti, ditionsRuedUlm, 2010.
Rappelons que les travaux de Cauchy avaient dj
montr lexistence dun domaine D(
1
, . . . ,
n
) tendant
les rationnels et sur lequel (E) se dcompose :
(
1
)(
2
) (
n
) = 0
Lindexation des racines sous la forme (

) est tout fait


arbitraire. Pour lalgbriste qui calcule sur les rationnels,
ces racines nexistent pas. Ce qui existe cest le domaine
D(
1
, . . . ,
n
) et la manire dont il sobtient partir de (E).
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 2
Quest-ce que la thorie de Galois ?
Gilles Chtelet :
La physique mathmatique comme projet
Lenchantement du virtuel. Mathmatique, physique, philosophie
dit par C. Alluni et C. Paoletti, ditionsRuedUlm, 2010.
proprement parler, ces racines ne sont pas
possibles . Elles crent du possible au sens o le
domaine D(
1
, . . . ,
n
) est dautant plus vaste que les
substitutions que peut effectuer un algbriste ne
connaissant que les rationnels sont plus nombreuses.
Ces substitutions peuvent tre toutes les permutations qui
changent les racines. Il peut exister aussi des relations
rationnelles particulires entre elles (quations
bicarres , quations rciproques ).
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 2
Quest-ce que la thorie de Galois ?
Gilles Chtelet :
La physique mathmatique comme projet
Lenchantement du virtuel. Mathmatique, physique, philosophie
dit par C. Alluni et C. Paoletti, ditionsRuedUlm, 2010.
Le groupe de symtrie de lquation (groupe de Galois)
est alors le plus grand groupe de substitutions qui respecte
les relations entre les racines. Il traduit notre manque de
discernement entre les (

) mais apprcie galement la


dimension du nouveau domaine de rationalit
D(
1
, . . . ,
n
) quil constitue. Il mesure bien lespace de
libert engendr par le problme. Ces racines nexistent
que virtuellement. Elles nagissent pas comme individus
mais par la potentialit de leurs changes.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 2
Corps commutatifs
La thorie de Galois vise expliquer, classier, dcrire
les corps et leurs extensions.
Corps : ensemble F muni dune addition +, dune
multiplication , commutatives et associatives, la
multiplication tant distributive par rapport la
multiplication. On suppose lexistence dun lment
neutre 0 pour laddition, dun lment neutre 1 pour la
multiplication (et 1 = 0), que tout lment a un oppos
(pour +) et que tout lment non nul a un inverse (pour ).
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 3
Corps commutatifs
La thorie de Galois vise expliquer, classier, dcrire
les corps et leurs extensions.
Corps : ensemble F muni dune addition +, dune
multiplication , commutatives et associatives, la
multiplication tant distributive par rapport la
multiplication. On suppose lexistence dun lment
neutre 0 pour laddition, dun lment neutre 1 pour la
multiplication (et 1 = 0), que tout lment a un oppos
(pour +) et que tout lment non nul a un inverse (pour ).
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 3
Corps commutatifs : exemples
Exemples : 1) le corps Q des nombres rationnels ;
2) ceux R et C des nombres rels ou des nombres
complexes ;
3) les corps de restes Z/ pZ (p nombre premier),
les corps nis F
q
(q puissance dun nombre premier) ;
4) le corps des fonctions mromorphes sur une surface
de Riemann connexe, celui des fonctions rationnelles sur
une varit algbrique irrductible...
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 4
Extensions de corps
Extension de corps : application F F

o F et F

sont
deux corps, envoyant 0 sur 0, 1 sur 1 et compatible
laddition et la multiplication.
Exemples : 1) si P est un polynme coefcients entiers,
linclusion de Q dans le sous-corps Q(
1
, . . . ,
n
) de C
engendr par les racines
1
, . . . ,
n
de P;
2) si q est une puissance dun nombre premier p,
linclusion de corps nis F
p
F
q
;
3) si : M

M est un morphisme non constant de


surfaces de Riemann connexes compactes, lextension

: C(M) C(M

) obtenue par composition par des


fonctions mromorphes sur M;
4) lextension analogue si : M

M est un morphisme
dominant de varits algbriques irrductibles.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 5
Extensions de corps
Extension de corps : application F F

o F et F

sont
deux corps, envoyant 0 sur 0, 1 sur 1 et compatible
laddition et la multiplication.
Exemples : 1) si P est un polynme coefcients entiers,
linclusion de Q dans le sous-corps Q(
1
, . . . ,
n
) de C
engendr par les racines
1
, . . . ,
n
de P;
2) si q est une puissance dun nombre premier p,
linclusion de corps nis F
p
F
q
;
3) si : M

M est un morphisme non constant de


surfaces de Riemann connexes compactes, lextension

: C(M) C(M

) obtenue par composition par des


fonctions mromorphes sur M;
4) lextension analogue si : M

M est un morphisme
dominant de varits algbriques irrductibles.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 5
Extensions de corps
Extension de corps : application F F

o F et F

sont
deux corps, envoyant 0 sur 0, 1 sur 1 et compatible
laddition et la multiplication.
Exemples : 1) si P est un polynme coefcients entiers,
linclusion de Q dans le sous-corps Q(
1
, . . . ,
n
) de C
engendr par les racines
1
, . . . ,
n
de P;
2) si q est une puissance dun nombre premier p,
linclusion de corps nis F
p
F
q
;
3) si : M

M est un morphisme non constant de


surfaces de Riemann connexes compactes, lextension

: C(M) C(M

) obtenue par composition par des


fonctions mromorphes sur M;
4) lextension analogue si : M

M est un morphisme
dominant de varits algbriques irrductibles.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 5
Extensions de corps
Extension de corps : application F F

o F et F

sont
deux corps, envoyant 0 sur 0, 1 sur 1 et compatible
laddition et la multiplication.
Exemples : 1) si P est un polynme coefcients entiers,
linclusion de Q dans le sous-corps Q(
1
, . . . ,
n
) de C
engendr par les racines
1
, . . . ,
n
de P;
2) si q est une puissance dun nombre premier p,
linclusion de corps nis F
p
F
q
;
3) si : M

M est un morphisme non constant de


surfaces de Riemann connexes compactes, lextension

: C(M) C(M

) obtenue par composition par des


fonctions mromorphes sur M;
4) lextension analogue si : M

M est un morphisme
dominant de varits algbriques irrductibles.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 5
lments algbriques
Considrons une extension de corps F F

.
Un lment de F

est algbrique sur F sil est solution


dans F

dune quation polynomiale (non idiote)


coefcients dans F.
Il est alors racine dun unique polynme unitaire de degr
minimal, irrductible, quon appelle son polynme
minimal.
Son degr est aussi appel degr de .
Exemples : 1)

2 est de degr 2 sur Q, son polynme
minimal est X
2
2.
2) exp(2i/ 17) est racine du polynme
(X
17
1)/ (X 1) = X
16
+X
15
+ +1
Comme ce polynme est irrductible, il est de degr 16.
3) e, ne sont pas algbriques sur Q.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 6
lments algbriques
Considrons une extension de corps F F

.
Un lment de F

est algbrique sur F sil est solution


dans F

dune quation polynomiale (non idiote)


coefcients dans F.
Il est alors racine dun unique polynme unitaire de degr
minimal, irrductible, quon appelle son polynme
minimal.
Son degr est aussi appel degr de .
Exemples : 1)

2 est de degr 2 sur Q, son polynme
minimal est X
2
2.
2) exp(2i/ 17) est racine du polynme
(X
17
1)/ (X 1) = X
16
+X
15
+ +1
Comme ce polynme est irrductible, il est de degr 16.
3) e, ne sont pas algbriques sur Q.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 6
Extensions algbriques
Une extension F F

est dite algbrique si tout lment


de F

est algbrique sur F.


Exemples : 1) extensions F F

telles que F

est engendr
par des lments algbriques sur F ;
concrtement : Q Q(
3

2), Q Q(
3

2, exp(2i/ 3)),...
2) extensions nies, cest--dire telles que F

soit un
F-espace vectoriel de dimension nie on note alors
[F

: F] = dim
F
(F

) le degr de lextension.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 7
Extensions algbriques
Une extension F F

est dite algbrique si tout lment


de F

est algbrique sur F.


Exemples : 1) extensions F F

telles que F

est engendr
par des lments algbriques sur F ;
concrtement : Q Q(
3

2), Q Q(
3

2, exp(2i/ 3)),...
2) extensions nies, cest--dire telles que F

soit un
F-espace vectoriel de dimension nie on note alors
[F

: F] = dim
F
(F

) le degr de lextension.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 7
Extensions algbriques
Une extension F F

est dite algbrique si tout lment


de F

est algbrique sur F.


Exemples : 1) extensions F F

telles que F

est engendr
par des lments algbriques sur F ;
concrtement : Q Q(
3

2), Q Q(
3

2, exp(2i/ 3)),...
2) extensions nies, cest--dire telles que F

soit un
F-espace vectoriel de dimension nie on note alors
[F

: F] = dim
F
(F

) le degr de lextension.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 7
Construction dextensions algbriques
Soit F un corps et soit P un polynme coefcients dans F.
On peut construire une extension de dcomposition,
une extension algbrique F F
P
telle que :
1) le polynme P est scind dans F
P
;
2) le corps F
P
est engendr sur F par les racines de P
dans F
P
.
Une telle extension est unique ,
au sens o toute extension F F

P
vriant ces proprits
est isomorphe lextension donne F F
P
.
La thorie de Galois semble tre une espce de version
statique de la thorie de Galois dans laquelle les racines
ne vivent que pour tre permutes.
Cest la multiplicit des isomorphismes entre les
extensions F
P
et F

P
qui restaure, au sein de la thorie de
Galois la dynamique inhrente la thorie de Galois.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 8
Construction dextensions algbriques
Soit F un corps et soit P un polynme coefcients dans F.
On peut construire une extension de dcomposition,
une extension algbrique F F
P
telle que :
1) le polynme P est scind dans F
P
;
2) le corps F
P
est engendr sur F par les racines de P
dans F
P
.
Une telle extension est unique ,
au sens o toute extension F F

P
vriant ces proprits
est isomorphe lextension donne F F
P
.
La thorie de Galois semble tre une espce de version
statique de la thorie de Galois dans laquelle les racines
ne vivent que pour tre permutes.
Cest la multiplicit des isomorphismes entre les
extensions F
P
et F

P
qui restaure, au sein de la thorie de
Galois la dynamique inhrente la thorie de Galois.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 8
Construction dextensions algbriques
Soit F un corps et soit P un polynme coefcients dans F.
On peut construire une extension de dcomposition,
une extension algbrique F F
P
telle que :
1) le polynme P est scind dans F
P
;
2) le corps F
P
est engendr sur F par les racines de P
dans F
P
.
Une telle extension est unique ,
au sens o toute extension F F

P
vriant ces proprits
est isomorphe lextension donne F F
P
.
La thorie de Galois semble tre une espce de version
statique de la thorie de Galois dans laquelle les racines
ne vivent que pour tre permutes.
Cest la multiplicit des isomorphismes entre les
extensions F
P
et F

P
qui restaure, au sein de la thorie de
Galois la dynamique inhrente la thorie de Galois.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 8
Le groupe de Galois dune extension algbrique
Considrons une extension de corps F F

, algbrique.
Son groupe de Galois, not Gl(F

/ F), est lensemble des


automorphismes de corps de F

qui xent tout lment


de F.
Autrement dit, un lement de Gl(F

/ F) est une bijection


de F

qui xe tout lment de F et qui est compatible avec


laddition et la multiplication.
La composition des bijections fait de Gl(F

/ F) un groupe.
Exemples : 1) le corps C a exactement deux
automorphismes qui xent R, lidentit et la conjugaison
complexe c. Ainsi, Gl(C/ R) = {d, c} est le groupe deux
lments ;
2) le corps Q(
3

2) na aucun automorphisme autre que


lidentit, et Gl(Q(
3

2/ Q) = {d}.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 9
Le groupe de Galois dune extension algbrique
Considrons une extension de corps F F

, algbrique.
Son groupe de Galois, not Gl(F

/ F), est lensemble des


automorphismes de corps de F

qui xent tout lment


de F.
Autrement dit, un lement de Gl(F

/ F) est une bijection


de F

qui xe tout lment de F et qui est compatible avec


laddition et la multiplication.
La composition des bijections fait de Gl(F

/ F) un groupe.
Exemples : 1) le corps C a exactement deux
automorphismes qui xent R, lidentit et la conjugaison
complexe c. Ainsi, Gl(C/ R) = {d, c} est le groupe deux
lments ;
2) le corps Q(
3

2) na aucun automorphisme autre que


lidentit, et Gl(Q(
3

2/ Q) = {d}.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 9
Le groupe de Galois dune extension algbrique
Considrons une extension de corps F F

, algbrique.
Son groupe de Galois, not Gl(F

/ F), est lensemble des


automorphismes de corps de F

qui xent tout lment


de F.
Autrement dit, un lement de Gl(F

/ F) est une bijection


de F

qui xe tout lment de F et qui est compatible avec


laddition et la multiplication.
La composition des bijections fait de Gl(F

/ F) un groupe.
Exemples : 1) le corps C a exactement deux
automorphismes qui xent R, lidentit et la conjugaison
complexe c. Ainsi, Gl(C/ R) = {d, c} est le groupe deux
lments ;
2) le corps Q(
3

2) na aucun automorphisme autre que


lidentit, et Gl(Q(
3

2/ Q) = {d}.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 9
Le groupe de Galois dune extension algbrique
Considrons une extension de corps F F

, algbrique.
Son groupe de Galois, not Gl(F

/ F), est lensemble des


automorphismes de corps de F

qui xent tout lment


de F.
Autrement dit, un lement de Gl(F

/ F) est une bijection


de F

qui xe tout lment de F et qui est compatible avec


laddition et la multiplication.
La composition des bijections fait de Gl(F

/ F) un groupe.
Exemples : 1) le corps C a exactement deux
automorphismes qui xent R, lidentit et la conjugaison
complexe c. Ainsi, Gl(C/ R) = {d, c} est le groupe deux
lments ;
2) le corps Q(
3

2) na aucun automorphisme autre que


lidentit, et Gl(Q(
3

2/ Q) = {d}.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 9
Extensions galoisiennes
Ce sont celles qui possdent toute la dynamique de la
thorie de Galois .
On dit quune extension (algbrique, nie) F F

est
galoisienne si elle vrie lune des proprits
quivalentes suivantes :
1) pour tout lment F

\ F, il existe g Gl(F

/ F) tel
que g() = ;
2) le degr [F

: F] de lextension est gal au cardinal du


groupe Gl(F

/ F) ;
3) le polynme minimal de tout lment de F

est scind
racines simples dans F

;
4) le corps F

est engendr sur F par les racines dun


polynme P F[X] qui est scind racines simples
dans F

.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 10
Extensions galoisiennes
Ce sont celles qui possdent toute la dynamique de la
thorie de Galois .
On dit quune extension (algbrique, nie) F F

est
galoisienne si elle vrie lune des proprits
quivalentes suivantes :
1) pour tout lment F

\ F, il existe g Gl(F

/ F) tel
que g() = ;
2) le degr [F

: F] de lextension est gal au cardinal du


groupe Gl(F

/ F) ;
3) le polynme minimal de tout lment de F

est scind
racines simples dans F

;
4) le corps F

est engendr sur F par les racines dun


polynme P F[X] qui est scind racines simples
dans F

.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 10
Extensions galoisiennes (commentaire)
Des quatre conditions quivalentes prcdentes, les deux
premires sont deux faons de mesurer le dynamisme
de lextension F F

: la premire dit que le groupe


Gl(F

/ F) bouge assez F

, la seconde quil est aussi gros


que possible.
La troisime explique la seule cause possible de lasthnie
dune extension F F

: labsence dans F

dassez de
conjugus des lments de F

.
La quatrime fournit un moyen concret de construire une
extension galoisienne : cest une extension de
dcomposition F F
P
dun polynme P dont toutes les
racines seront simples. Cette dernire condition, de
sparabilit, est automatique en caractristique zro ou
sur les corps nis, mais son dveloppement est un peu
dlicat.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 11
Extensions galoisiennes (commentaire)
Des quatre conditions quivalentes prcdentes, les deux
premires sont deux faons de mesurer le dynamisme
de lextension F F

: la premire dit que le groupe


Gl(F

/ F) bouge assez F

, la seconde quil est aussi gros


que possible.
La troisime explique la seule cause possible de lasthnie
dune extension F F

: labsence dans F

dassez de
conjugus des lments de F

.
La quatrime fournit un moyen concret de construire une
extension galoisienne : cest une extension de
dcomposition F F
P
dun polynme P dont toutes les
racines seront simples. Cette dernire condition, de
sparabilit, est automatique en caractristique zro ou
sur les corps nis, mais son dveloppement est un peu
dlicat.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 11
Extensions galoisiennes (commentaire)
Des quatre conditions quivalentes prcdentes, les deux
premires sont deux faons de mesurer le dynamisme
de lextension F F

: la premire dit que le groupe


Gl(F

/ F) bouge assez F

, la seconde quil est aussi gros


que possible.
La troisime explique la seule cause possible de lasthnie
dune extension F F

: labsence dans F

dassez de
conjugus des lments de F

.
La quatrime fournit un moyen concret de construire une
extension galoisienne : cest une extension de
dcomposition F F
P
dun polynme P dont toutes les
racines seront simples. Cette dernire condition, de
sparabilit, est automatique en caractristique zro ou
sur les corps nis, mais son dveloppement est un peu
dlicat.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 11
La thorie de Galois
Il sagit dune correspondance, dun dictionnaire,
entre sous-extensions dune extension galoisienne
et sous-groupes de son groupe de Galois.
Soit F F

une extension galoisienne, soit G = Gl(F

/ F).
tout sous-groupe H de G, on associe le corps (F

)
H
form des lments de F

xs par tout lment de H;


il contient F.
tout sous-corps E de F

contenant F, on associe le
sous-groupe Gl(F

/ E) de G.
Ces oprations H (F

)
H
et E Gl(F

/ E) sont des
bijections rciproques lune de lautre.
De plus, lextension E/ F est galoisienne si et seulement si
le sous-groupe H est distingu dans G.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 12
La thorie de Galois
Il sagit dune correspondance, dun dictionnaire,
entre sous-extensions dune extension galoisienne
et sous-groupes de son groupe de Galois.
Soit F F

une extension galoisienne, soit G = Gl(F

/ F).
tout sous-groupe H de G, on associe le corps (F

)
H
form des lments de F

xs par tout lment de H;


il contient F.
tout sous-corps E de F

contenant F, on associe le
sous-groupe Gl(F

/ E) de G.
Ces oprations H (F

)
H
et E Gl(F

/ E) sont des
bijections rciproques lune de lautre.
De plus, lextension E/ F est galoisienne si et seulement si
le sous-groupe H est distingu dans G.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 12
La thorie de Galois
Il sagit dune correspondance, dun dictionnaire,
entre sous-extensions dune extension galoisienne
et sous-groupes de son groupe de Galois.
Soit F F

une extension galoisienne, soit G = Gl(F

/ F).
tout sous-groupe H de G, on associe le corps (F

)
H
form des lments de F

xs par tout lment de H;


il contient F.
tout sous-corps E de F

contenant F, on associe le
sous-groupe Gl(F

/ E) de G.
Ces oprations H (F

)
H
et E Gl(F

/ E) sont des
bijections rciproques lune de lautre.
De plus, lextension E/ F est galoisienne si et seulement si
le sous-groupe H est distingu dans G.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 12
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
1) Le groupe G est naturellement un sous-groupe du
groupe des permutations des racines de P dans F
P
. Cest
un sous-groupe transitif si et seulement si P est
irrductible.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
1) Le groupe G est naturellement un sous-groupe du
groupe des permutations des racines de P dans F
P
. Cest
un sous-groupe transitif si et seulement si P est
irrductible.
2) En degr 3, on trouve G = A
3
si le discriminant de P est
un carr, S
3
sinon.
NB. Le discriminant de P = X
3
+pX +q est 4p
3
27q
2
.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
1) Le groupe G est naturellement un sous-groupe du
groupe des permutations des racines de P dans F
P
. Cest
un sous-groupe transitif si et seulement si P est
irrductible.
2) En degr 3, on trouve G = A
3
si le discriminant de P est
un carr, S
3
sinon.
NB. Le discriminant de P = X
3
+pX +q est 4p
3
27q
2
.
3) Si F = k(
1
, . . . ,
n
) et P = X
n
+
n1
X
n1
+ +
0
est
lquation gnrale, on a G = S
n
.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
4) Si P = X
n
1 et F = Q, on a G = (Z/ nZ)

irrductibilit
du polynme cyclotomique.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Exemples de groupes de Galois
Le calcul du groupe de Galois est un problme ardu.
Considrons un polynme sparable P F[X], une
extension de dcomposition F F
P
et son groupe de
Galois G = Gl(F
P
/ F).
4) Si P = X
n
1 et F = Q, on a G = (Z/ nZ)

irrductibilit
du polynme cyclotomique.
5) Si P = X
n
2 et F = Q, la suite dextensions
Q F
X
n
1
F
X
n
2
fournit un sous-groupe distingu H G
isomorphe Z/ nZ et G/ H est isomorphe (Z/ nZ)

.
La thorie de Galois et son enseignement Quest-ce que la thorie de Galois ? p. 13
Apprendre la thorie de Galois ?
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 14
Approches de la thorie de Galois
1) Utilisation dun lment primitif
Si F F

est une extension nie sparable, on dmontre


quil existe un lment primitif F

tel que F

= F[].
Alors, les automorphismes de F

correspondent aux
conjugus de dans F

. Si le polynme minimal P de est


scind dans F

, on voit donc que


Crd(Gl(F

/ F)) = deg(P) = [F

: F].
Si F
1
= (F

)
Gl(F

/ F)
, on a encore Gl(F

/ F
1
) = Gl(F

/ F), et
comme ce qui prcde sapplique aussi lextension
F
1
F

, on a [F

: F] = [F

: F
1
], do F = F
1
.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 15
Approches de la thorie de Galois
1) Utilisation dun lment primitif
2) Lemme dArtin
On vite le recours un lment primitif par un dvissage.
Il faut prouver directement le lemme dArtin : si G est un
groupe ni dautomorphismes dun corps F

et si F = (F

)
G
,
alors lextension F F

est nie de degr Crd(G).


La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 15
Approches de la thorie de Galois
1) Utilisation dun lment primitif
2) Lemme dArtin
3) Lemme de Dedekind et descente galoisienne
Cette approche tire prot de ce que la thorie de Galois
est trivialise par descente galoisienne . Cest celle de
Bourbaki (2
de
dition) qui introduit au passage la notion
dalgbre tale :
une extension nie F F

est galoisienne si et seulement


si le produit tensoriel F

F
F

est isomorphe une algbre


(F

)
n
, o n = [F

: F].
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 15
Approches de la thorie de Galois
1) Utilisation dun lment primitif
2) Lemme dArtin
3) Lemme de Dedekind et descente galoisienne
Depuis le livre dArtin, la seconde approche est la plus
frquente. La troisime ne gure apparemment que dans
Bourbaki et Douady et na donc pas vraiment t suivie
dans des ouvrages denseignement.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 15
Applications de la thorie de Galois
Presque tous les cours ou ouvrages de thorie de Galois
tudient les deux problmes classiques suivants.
constructions la rgle et au compas et cyclotomie
rsolution par radicaux mais le thorme de Galois
sur les quations rsolubles de degr premier nest
que rarement trait;
Exception notable : Bourbaki, ainsi que la premire dition
de livre dArtin!
Certains discutent aussi
le thorme fondamental de lalgbre;
des notions de calcul des groupes de Galois, soit par la
discussion de rsolvantes, soit par lnonc du
thorme de Tchebotareff.
Apparemment, seuls Bourbaki et Douady utilisent
la notion dalgbre tale.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 16
Applications de la thorie de Galois
Presque tous les cours ou ouvrages de thorie de Galois
tudient les deux problmes classiques suivants.
constructions la rgle et au compas et cyclotomie
rsolution par radicaux mais le thorme de Galois
sur les quations rsolubles de degr premier nest
que rarement trait;
Exception notable : Bourbaki, ainsi que la premire dition
de livre dArtin!
Certains discutent aussi
le thorme fondamental de lalgbre;
des notions de calcul des groupes de Galois, soit par la
discussion de rsolvantes, soit par lnonc du
thorme de Tchebotareff.
Apparemment, seuls Bourbaki et Douady utilisent
la notion dalgbre tale.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 16
Applications de la thorie de Galois
Presque tous les cours ou ouvrages de thorie de Galois
tudient les deux problmes classiques suivants.
constructions la rgle et au compas et cyclotomie
rsolution par radicaux mais le thorme de Galois
sur les quations rsolubles de degr premier nest
que rarement trait;
Exception notable : Bourbaki, ainsi que la premire dition
de livre dArtin!
Certains discutent aussi
le thorme fondamental de lalgbre;
des notions de calcul des groupes de Galois, soit par la
discussion de rsolvantes, soit par lnonc du
thorme de Tchebotareff.
Apparemment, seuls Bourbaki et Douady utilisent
la notion dalgbre tale.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 16
Difcults de lenseignement de la thorie de
Galois
1) Construction des extensions de dcomposition;
lexistence et l unicit de la clture algbrique dun
corps sont souvent voques mais le recours ncessaire
laxiome du choix justie souvent lomission de la preuve.
Noter que les cours dun niveau similaire de topologie
construisent le revtement universel dun espace
topologique raisonnable.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 17
Difcults de lenseignement de la thorie de
Galois
1) Construction des extensions de dcomposition,
clture algbrique
2) Mconnaissance de la thorie des groupes : pour
beaucoup dtudiants, la correspondance de Galois est une
bijection entre deux mondes tout aussi mystrieux lun
que lautre. Les notions de rsolubilit (voire de simplicit)
ne sont pas acquises. Labsence de familiarit avec les
quotients ne facilite pas les invitables dvissages.
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 17
Difcults de lenseignement de la thorie de
Galois
1) Construction des extensions de dcomposition,
clture algbrique
2) Thorie des groupes
3) Difcult des exemples concrets. Presque par
dnition, la nature du groupe de Galois dpend de
lexistence de solutions dans le corps de base de certaines
quations auxiliaires ; en ce sens, cest une thorie
arithmtique et non algbrique.
Pour faire le moindre calcul, il faut savoir dcider de
lirrductibilit, de lexistence de racines, etc. dans le
corps de base.
Cela pose des problmes calculatoires, et des problmes
thoriques (critres dirrductibilit; notion danneau
factoriel, ...).
La thorie de Galois et son enseignement Enseigner la thorie de Galois p. 17
La thorie de Galois : un apprentissage
Gilles Chtelet, De la victoire de Platon ,
Gazette des mathmaticiens 74, p. 1317, octobre 1997.
On peut comprendre la thorie de Galois comme
apprentissage, celui du discernement progressif des
racines, les conditions formelles dun tel discernement
portant sur des squences de rduction, et les formules
explicites de rsolution devenant subsidiaires. Porter tout
leffort de recherche sur les squences de groupes, de
brs, de faisceaux, etc., capables de saisir au vol le
geste mme de lapprendre. . . telle serait selon
Grothendieck, linoubliable leon de Galois.
La thorie de Galois et son enseignement La thorie de Galois : un apprentissage p. 18