Algèbre Année 2010–2011 ENS Cachan
Vincent Beck
Extension séparable
Exercice 1 Extension de degré 2.Soient kun corps et Kune extension de kde degré 2. L’extension (K : k)
est-elle séparable ?
Exercice 2 Extension séparable et points fixes. Soient kun corps, j:k ֒→Kune extension séparable et
x∈K. Montrer que x∈ksi et seulement si σ(x) = xpour tout k-morphisme de Kdans K.
Exercice 3 Extension monogène. Déterminer [Q(√2, i, j) : Q]. Montrer que l’extension est monogène et
déterminer un générateur de Q(√2, i, j)sur Q.
Exercice 4 Extension séparable. Soit kun corps de caractéristique pet Kune extension de kdont le degré
est premier à p. Montrer que Kest séparable sur k.
Exercice 5 Élément primitif.
a) Soient kun corps de caractéristique nulle et Kune extension finie de ket n∈N. Montrer que [K : k]6nsi
et seulement si il existe n∈Ntel que [k(x) : k]6npour tout x∈K. En particulier, si le degré des éléments
de Kest borné, celui de Kl’est aussi.
b) Montrer que, dans la question a, on peut remplacer l’hypothèse kest de caractéristique nulle par Kest une
extension séparable de k.
c) Montrer que dans les question aet b, on peut retirer l’hypothèse [K : k]est fini c’est-à-dire montrer que
si Kest une extension séparable de ktelle qu’il existe n∈Ntel que [k(x) : k]6npour tout x∈Kalors
[K : k]6n.
d) Soit Kune extension d’un corps k. A-t-on l’équivalence : [k(x) : k]<+∞pour tout x∈Ksi et seulement si
[K : k]<+∞?
e) Soient pun nombre premier, kun corps de caractéristique pet X,Ydeux indéterminées sur k. On considère
K=k(X,Y) et L = k(Xp,Yp)⊂K. Déterminer [K : L]. Pour x∈K, déterminer [L(x) : L]. En déduire que
l’extension L⊂Kn’est pas monogène ni séparable.
f) Montrer que le résultat des questions aet best faux si on ne suppose pas l’extension k⊂Kséparable.
g) A-t-on l’équivalence, il existe n∈Ntel que [k(x) : k]6npour tout x∈Ksi et seulement si [K : k]<+∞
(on pourra adapter l’exemple de la question eavec une infinité d’indéterminée).
Exercice 6 Un exemple d’extension non monogène. Soient pun nombre premier, kun corps de caracté-
ristique pet X,Ydeux indéterminées sur k. On considère K=k(X,Y) et L = k(Xp,Yp)⊂K.
a) Déterminer [K : L].
b) Pour x∈K, déterminer [L(x) : L]. En déduire que l’extension L⊂Kn’est pas monogène ni séparable.
c) Déterminer l’ensemble des éléments de Kqui sont séparables sur L.
d) Montrer que l’extension L⊂Kest normale. Déterminer AutL(K) = Gal(K |L).
Exercice 7 Ensemble totalement ordonné. Soit Kune extension de ktelle que l’ensemble des sous-extensions
de Ksoit totalement ordonné (c’est-à-dire si Met Nsont des sous-extensions de Kalors M⊂Nou N⊂M).
a) Montrer que Kest algébrique sur k.
b) On suppose que le degré des éléments de Kest borné. Montrer que Kest monogène sur k.
c) Montrer que le résultat de la question best faux si on ne suppose pas le degré des éléments de Kborné
(on pourra considérer Q(2n
√2, n ∈N)). Pour montrer que les sous-corps de Q(2n
√2) sont les Q(2k
√2) avec
k6n, on pourra considérer le polynôme minimal de 2n
√2sur ce corps intermédiaire, le factoriser dans Ret
en déduire le résultat.
Exercice 8 Degré séparable. Soient Kune extension finie de k,L,Mdes sous-extensions de Ket N = LM
la sous-extension de Kengendrée par Let M. Vérifier que [N : L]s6[M : k]spuis que [N : k]s6[L : k]s[M : k]s.