ATLAS Ouvrir dans l'atlas →

ExerciceMaster — Théorie de Galois · Chapitre 5 - Séparabilité, normalité, corps finis

Exercice 28

Démonstration

1. Démontrer que toute extension de degré 22 est normale.

2. Donner un exemple de tour K⊆M⊆LK \subseteq M \subseteq L où L/ML/M et M/KM/K sont normales sans que L/KL/K le soit. On pourra prendre K=ℚK=\mathbb{Q}, M=ℚ(2)M=\mathbb{Q}\big(\sqrt{2}\big), L=ℚ(24)L=\mathbb{Q}\big(\sqrt[4]{2}\big).

Corrigé

1. Soit [L:K]=2[L:K]=2 et PP irréductible sur KK ayant une racine α∈L\alpha \in L. Alors deg⁡P∣2\deg P \mid 2 ; si deg⁡P=1\deg P=1 c'est fini, si deg⁡P=2\deg P=2 alors L=K(α)L=K(\alpha) et P=(X−α)(X−β)P=(X-\alpha)(X-\beta) avec β=−α−a1a2∈L\beta=-\alpha-\dfrac{a_{1}}{a_{2}} \in L. Toute extension de degreˊ 2 est normale.\boxed{\text{Toute extension de degré } 2 \text{ est normale.}}

2. Avec K=ℚK=\mathbb{Q}, M=ℚ(2)M=\mathbb{Q}\big(\sqrt{2}\big), L=ℚ(24)L=\mathbb{Q}\big(\sqrt[4]{2}\big) : les deux étages sont de degré 22, donc normaux. Mais X4−2X^{4}-2 est irréductible sur ℚ\mathbb{Q}, possède la racine 24∈L\sqrt[4]{2} \in L, et ses racines ±i24\pm\mathrm{i}\sqrt[4]{2} ne sont pas réelles. L/ℚ n’est pas normale : la normaliteˊ n’est pas transitive.\boxed{L/\mathbb{Q} \text{ n'est pas normale : la normalité n'est pas transitive.}}

Dans l'édifice

Thèmes

extensions de corps, extensions normales

Notions

extension de corps

Ouvrir dans l'atlas interactif →