ATLAS Ouvrir dans l'atlas →

ExerciceMaster — Théorie de Galois · Chapitre 4 - Extensions de corps

Exercice 23

Calcul

1. Déterminer le polynôme minimal sur ℚ\mathbb{Q} de chacun des nombres ci-dessous, en justifiant à chaque fois l'irréductibilité.

(a) 53\sqrt[3]{5}

(b) i3\mathrm{i}\sqrt{3}

(c) ζ5=e2iπ/5\zeta_{5}=\mathrm{e}^{2\mathrm{i}\pi/5}

(d) 1+21+\sqrt{2}

2. Déterminer le polynôme minimal de 2\sqrt{2} sur ℚ(3)\mathbb{Q}\big(\sqrt{3}\big), puis sur ℚ(2)\mathbb{Q}\big(\sqrt{2}\big).

Corrigé

1. On identifie le polynôme minimal puis on justifie son irréductibilité :

α\alphaμα\mu_{\alpha}irréductibilité
53\sqrt[3]{5}X3−5X^{3}-5Eisenstein en 55
i3\mathrm{i}\sqrt{3}X2+3X^{2}+3pas de racine réelle
ζ5\zeta_{5}X4+X3+X2+X+1X^{4}+X^{3}+X^{2}+X+1c'est Φ5\Phi_{5} (Eisenstein après X↦X+1X \mapsto X+1)
1+21+\sqrt{2}X2−2X−1X^{2}-2X-1discriminant 88, non carré dans ℚ\mathbb{Q}

2. Sur ℚ(3)\mathbb{Q}\big(\sqrt{3}\big), le polynôme X2−2X^{2}-2 reste sans racine, car 2∉ℚ(3)\sqrt{2} \notin \mathbb{Q}\big(\sqrt{3}\big) : l'égalité 2=a+b3\sqrt{2}=a+b\sqrt{3} donnerait 2=a2+3b2+2ab32=a^{2}+3b^{2}+2ab\sqrt{3}, donc ab=0ab=0, puis 2=a22=a^{2} ou 2=3b22=3b^{2}, ce qui est impossible dans ℚ\mathbb{Q} : μ2/ℚ(3)=X2−2μ2/ℚ(2)=X−2\boxed{\mu_{\sqrt{2}/\mathbb{Q}(\sqrt{3})}=X^{2}-2 \qquad \mu_{\sqrt{2}/\mathbb{Q}(\sqrt{2})}=X-\sqrt{2}}

Ouvrir dans l'atlas interactif →