I. El Hage www.les-mathematiques.net 3
En d’autre termes, la clôture normale de Eest une extension normale minimale de
Kcontenant E.
Exemple est une clôture normale de l’extension de .
Théorème Toute extension finie Ede Kpossède une clôture normale.
Démonstration E, étant une extension finie K, elle est algébrique et elle s’écrit
E K a1an. Les éléments aisont tous algébrique sur K. Soit
PiX Irr aiKet P P1Pn
Soit Nun corps des racines pour Psur K.Nest une extension normale de Kcontenant
E. D’un autre côté, si Mest une extension normale de Kvérifiant K E M N, alors
Mest un corps de décomposition pour chaque Picar elle contient une racine pour ce
polynôme irréductible. Ainsi, Mest un corps de décomposition pour Psur Kcontenu
dans N. Or Nest un corps de racines pour Psur K, d’où M N.
Théorème Deux clôtures normales d’une extension finie Ede Ksont K-isomorphes.
Démonstration D’après ce qui précède, ces deux extensions de Ksont deux corps
de racines pour le polynôme Pi n
∏
i1Irr a K sur K. Elles sont K-isomorphes.
Théorème Soit Eune extension normale finie de Ket Fune extension algébrique
de Kcontenant E. Tout K-isomorphisme σde Edans Fest un K-automorphisme de E.
Démonstration E, étant une extension normale finie de K, elle est le corps des
racines d’un polynôme P K X et elle s’écrit E K a1anoù a1ansont les
racines du polynôme P. Il suffit de prouver σE E, car Eest un K-espace vectoriel
de dimension finie et σest un endomorphisme injectif de cet espace vectoriel. Or σai
est une racine de Ppour i1 2 n. Il en résulte σaiEpour i1 2 n. et par
suite σE E.
Théorème Soit Eune extension normale finie de Ket Fun corps intermédiaire
entreKet E. Tout K-isomorphisme σde Fdans Epeut être prolongé en un K-automorphisme
de E.
Démonstration Eest le corps des racines d’un polynôme P K X sur K. Il est
aussi le corps des racines pour Psur Fet sur σF. Ainsi, le K-isomorphisme σde F
sur σFpeut être prolongé en un K-isomorphisme de Edans E. Ce prolongement de σ
est, en réalité, un K-automorphisme, car Eest un K-espace vectoriel de dimension finie.