Chapitre 7
S´eparabilit´e
7.1 Polynˆomes et extensions s´eparables
D´efinition 7.1.1. a) Soit Kun corps commutatif. Un polynˆome irr´eductible
PK[X]est s´eparable sur Ksi et seulements’il n’a pas de racine multiple
dans son corps de d´ecomposition.
b) Un polynˆome PK[X]est s´eparable sur Ksi et seulementsi ses fac-
teurs irr´eductibles sonts´eparables. Dans le cas contraire, on dit que Pest
ins´eparable.
Proposition 7.1.2. a) Si Kest de caract´eristique nulle, un polynˆome
irr´eductible de K[X]est toujours s´eparable.
b) Si Kest de caract´eristique p>0,un polynˆome irr´eductible de K[X]est
ins´eparable si et seulement s’il appartient `a K[Xp].
D´efinition 7.1.3. Soit f:KLune extension alg´ebrique (tout ´el´ement
de Lest alg´ebrique sur K).
a) Un ´el´ementαLest s´eparable si et seulementsi son polynˆome minimal
est s´eparable.
b) L’extension ests´eparable si et seulementsi tous les ´el´ements de Lsont
s´eparables.
Proposition 7.1.4. Soit kKLune tour d’extension. Si kLest
s´eparable, alors kKet KLsont s´eparables.
D´efinition 7.1.5. Un corps Kest parfait si et seulementsi toute extension
alg´ebrique est s´eparable.
Remarque 7.1.6.Tout corps de caract´eristique z´ero est parfait.
46
7.2 Corps parfaits de caract´eristique non
nulle
On rappelle que sur un corps Kde caract´eristique p>0, l’application :
KK
x7→ xp
est un homomorphisme, appel´ehomomorphisme de Frobenius. Comme ho-
momorphisme de corps, il est toujours injectif. Pour un corps fini, cet homo-
morphisme est surjectif.
Th´eor`eme 7.2.1. Un corps de caract´eristique non nulle est parfait si et
seulement si son homomorphisme de Frobenius est surjectif.
Exercice7.2.2.Soit Kun corps de caract´eristique non nulle p.
1. Montrer que si bn’a pas de racine p-i`eme dans K,alors Xpbest
irr´eductible sur K.
2. Montrer que si bn’a pas de racine p-i`eme dans K,alors pour tout k>0
Xpkbest irr´eductible sur K.
7.3 S´eparabilit´eet morphismes
Etantdonn´edeux extensions kKet kL,on s’int´eresse au cardinal de
l’ensemble Homkalg(K,L)des k-morphismes (morphismes de k-alg`ebre) de
Kdans L.
Proposition 7.3.1. Soient Ket Ldeux extensions de k.Si Kest une ex-
tension simple :K=k(α),alors l’ensemble Homkalg(K,L)est en bijection
avecles racines du polynˆome minimal Pαdans L.
En particulier :♯Homkalg(K,L)[K:k].
Th´eor`eme 7.3.2. Soit kKune extension de degr´efini.
a) Pour tout extension kL,♯Homkalg(K,L)[K:k].
b) Si l’extension kKest s´eparable et si Lest une extension de k
alg´ebriquement close, alors ♯Homk(K,L)=[K:k].
c) S’il existe une extension Lde ktelle que :♯Homkalg(K,L)=[K:k],
alors kKest s´eparable.
Lemme 7.3.3 (Transitivit´e).Si les extensions kKet KLsont
s´eparables, alors kLest s´eparable.
Th´eor`eme 7.3.4. Une extension de degr´efini kKest s´eparable si et
seulement si elle est engendr´ee par des ´el´ements s´eparables.
47
7.4 El´ementprimitif
Th´eor`eme 7.4.1. Toute extension kKqui est s´eparable de degr´efini est
simple (i.e. admet un ´el´ement primitif).
Exercice7.4.2.Montrer que si le corps de base kest infini, un k-espace
vectoriel En’est pas r´eunion finie de sous-espaces propres.
48
Chapitre 8
Th´eorie de Galois
Notation :On note (F:K)l’extension KF.
8.1 Extensions normales
D´efinition 8.1.1. Une extension f:KLest normale si et seulementsi
tout polynˆome irr´eductible de K[X]qui admet une racine dans Lest scind´e
dans L.
Th´eor`eme 8.1.2. Soit f:KLune extension. Il ya ´equivalenceentre:
a) l’extension est normale et de degr´efini ;
b) Lest corps de d´ecomposition d’un polynˆome unitairede K[X].
D´efinition 8.1.3. Une clˆoture normale d’une extension de degr´efini :
f:KLest une extension g:LLtelle que
a) l’extension gf:KLest normale, et
b) l’extension g:LLest minimale pour la propri´et´ea).
Proposition 8.1.4. Toute extension admet une clˆoturenormale, unique `a
isomorphisme pr`es.
8.2 Automorphismes de corps
D´efinition 8.2.1. a) Un automorphisme du corps Kest un homomorphisme
bijectif de Kdans lui-mˆeme.
b) Un automorphisme d’une extension (F:K)est un automorphisme de F
qui fixe les ´el´ements de K(dontla restriction `a Kest l’identit´e).
49
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !