I.

El Hage

www.les-mathematiques.net

Extensions sparables
1 Degr de Galois dune extension
Toutes les extensions considres dans ce chapitre seront finies. Soit E une extension de K, N et N deux cltures normales de E, I lensemble des K-isomorphismes de
E dans N et I celui des K-isomorphismes de E dans N .

Thorme Card I  Card I  .

Dmonstration N et N sont deux cltures normales
de E. Il existe un K-isomorphisme
de N sur N . Soit ; I  I lapplication dfinie
par u 
u. Il est facile de prouver que lapplication est bijective. Donc Card I 
 Card I  .
Dfinition On appelle degr galoisien dune extension E de K, le cardinal de
lensemble des K-isomorphismes de E dans une clture normale de E.
La dfinition du degr galoisien ne dpend pas du choix de la clture normale de E
daprs
le thorme prcdent. Le degr galoisien de lextension E de K sera not

E : K .
Exemple

:  2.

Thorme Soit L une extension normale de K contenant une clture normale de

E. Le degr galoisien E : K  est gal au cardinal de lensemble des K-isomorphismes
de E dans L.
Dmonstration Soit J lensemble des K-isomorphismes de E dans L. Nous avons
I 
J. Rciproquement, tout  J peut tre prolong en un
K-automorphisme de L, car L est une extension normale de K. La restriction de

N est un
de N car N est une extension normale de K. Nous avons

K-automorphisme


E  E  N  N. Il en rsulte que, est, en ralit, un K-isomorphisme de
E dans N c..d.  I. Do I  J.
Thorme Soit E une extension de K . Si est un isomorphisme
de E sur E tel

que sa restriction K est un isomorphisme de K sur K , alors E : K  E : K  .
Dmonstration Soit N une clture normale de E et N une clture normale de
E . Lisomorphisme peut tre prolong en un isomorphisme de N sur N . Lapplication qui associe chaque K-isomorphisme u de E dans N, le K -isomorphisme
u  u  1 de E dans N est bijective. Il en rsulte E : K  E : K  .
Thorme Si nous avons K

 L  E, alors E : K  E : L L : K  .

Dmonstration Soit N une clture normale de E. Pour tout K-isomorphisme

I. El Hage

www.les-mathematiques.net

de L dans N, on note J lensemble

de tous les K-isomorphismes de E
dans N qui


prolongent . Si  J , alors

E
est
un corps intermdiaire
entre L  et N. Soit





I lensemble des tous les L  -isomorphismes de E  dans N. Nous allons prouver
que

I et J ont le mme cardinal. Considrons lapplication f ; I  J dfinie par
f u  u . Il est facile de voir que f est injective. Elle est aussi surjective; car si
u  J , u peut scrire sous la forme u  f  u  1  , car peut tre regard comme








un isomorphisme de E sur

E  .
Or, nous
avons Card I 
 E  : L et, daprs
le thorme prcdent, E  : L 
 E : L . Do Card I  E : L . Pour terminer
la dmonstration, remarquons que J  est une partition de lensemble J des tous les
K-isomorphismes de E dans N. Ainsi, nous avons

E : K  Card J 


Card

J 

Card I 

 E : L E : L L : K 

Thorme Si E  K a  , alors E : K  est le nombre des racines distinctes de
Irr a K  .
Dmonstration Soit N une clture normale de E, I lensemble des

tous les Kisomorphismes de E dans N et A lensemble
des racines distinctes de Irr a K  dans

N.

!


Lapplication
de
I
dans
A
qui
associe

a
est
bijective.
Do
E
:
K
Card
I 



Card A  .
Corollaire Si E

 K a  , alors E : K " E : K  .

Thorme Si E est une extension finie de K, alors E : K "

E : K .

Dmonstration
Comme



E est une extension

finie de K, elle scrit
E  K a1 $#%#$#$ an  . Si Ki  K a1 $#%#$#$ ai  , alors Ki  Ki 1 ai  . Dmontrons par rcurrence

sur i que Ki : K " Ki : K  . Pour i  1, la proprit est vraie car nous avons

K1 : K !

K a1  : K "

K a1  : K !

K1 : K 

Supposons le proprit vraie pour i et dmontrons-la pour i & 1. Nous avons

Ki'

: K 

Ki '

: Ki 

Ki : K "

Ki'

: Ki 

Ki : K 

Par rcurrence, nous obtenons

E : K !

Kn : K "

Kn : K !

E : K

Ki '

: K

I. El Hage

www.les-mathematiques.net

2 Extensions Sparables
Soit E une extension of K.

Dfinition Lextension E de K sera dite sparable si, et seulement si, E : K 

E : K .
Exemple

est une extension sparable de  .

Dfinition Un lment a dune extension

E de K sera dit sparable sur K si, et


seulement si, toutes les racines de Irr a K  sont simples.
Exemple i est sparable sur  .

( 2 sparable sur ) .


Thorme Une extension simple E  K a  est sparable si, et seulement si, a est

sparable sur K.

Dmonstration Soit E : K ! n  deg Irr a k * . Nous avons

E est sparable sur K !+-,/. E : K 

+-,
+-,
+-,

E : K $0

Irr a K  possde n racines distinctes

toute racine de Irr a K  est simple
a est sparable sur K 

Thorme Une extension finie E de K est sparable si, et seulement si, tout lment a de E est sparable sur K.
Dmonstration Si E est sparable sur K, Alors nous avons

Or

E : K a 1

K a  : K 

E : K  E : K 





E : K a 2 K a  : K 

E : K a 2 et K a  : K "

K a : K 

K a : K 


et a est sparable sur K. Rciproquement,
E scrit E  K a1 $#$#%#$ an
 car elle
est une


extension finie
de K. Posons Ki  K a1 $#%#$#% ai  . Nous avons Ki  Ki 1 ai  , Irr ai Ki 1 




divise
Irr
a
K
i

 et ai est sparable sur K. Il en rsulte que ai est sparable sur Ki  1 et
Ki : Ki 1  Ki : Ki 1  pour i  1 2 %#$#%#$ n. Il en rsulte


i3 n


E : K  Ki : Ki 1  E : K 

i3 1
Do

E : K a 1"

E : K a 1

E : K a 2 et K a  : K 

I. El Hage

www.les-mathematiques.net

ce qui prouve que E est sparable sur K.

Thorme de llment primitif. Toute extension sparable finie E de K est simple.
Dmonstration Il suffit de prouver que lensemble des corps intermdiaires entre
K et E est fini. Soit 4 cet ensemble et I lensemble

des tous les K-isomorphismes de
E dans une clture normale N. Soit h : 45 P I  lapplication qui associe L 64
le sous-ensemble de I dfini par

 I

a 
 a pour tout a  L 9#

Cette application est injective; car si L  : L , et si a

K, ce qui prouve que a est sparable sur L . Do

L a  : L !<; L a  : L

 L  L , alors a est sparable sur

>=@?

1#

Ce
qui prcde montre quil existe un L -isomorphisme de L a  dans N tel que
a A : a. Or peut tre prolong en un K-automorphisme de N car N est une
clture normale.
La
B de E est un K-isomorphisme
de
E dans N qui



restriction




B
B
B
vrifie

a




a




a
C


:
a.
Il
en
rsulte


h
L

et


8





h L qui prouve
h L D : h L  . Pour finir la dmonstration, notons que lensemble P I  des parties de I
est fini car I est fini.