7.2 Corps parfaits de caract´eristique non
nulle
On rappelle que sur un corps Kde caract´eristique p>0, l’application :
K→K
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 Xp−best
irr´eductible sur K.
2. Montrer que si bn’a pas de racine p-i`eme dans K,alors pour tout k>0
Xpk−best irr´eductible sur K.
7.3 S´eparabilit´eet morphismes
Etantdonn´edeux extensions k→Ket k→L,on s’int´eresse au cardinal de
l’ensemble Homk−alg(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 Homk−alg(K,L)est en bijection
avecles racines du polynˆome minimal Pαdans L.
En particulier :♯Homk−alg(K,L)≤[K:k].
Th´eor`eme 7.3.2. Soit k→Kune extension de degr´efini.
a) Pour tout extension k→L,♯Homk−alg(K,L)≤[K:k].
b) Si l’extension k→Kest 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 :♯Homk−alg(K,L)=[K:k],
alors k→Kest s´eparable.
Lemme 7.3.3 (Transitivit´e).Si les extensions k→Ket K→Lsont
s´eparables, alors k→Lest s´eparable.
Th´eor`eme 7.3.4. Une extension de degr´efini k→Kest s´eparable si et
seulement si elle est engendr´ee par des ´el´ements s´eparables.
47