ATLAS Ouvrir dans l'atlas →

ExerciceMaster — Théorie de Galois · Chapitre 3 - Anneaux, corps et polynômes

Exercice 20

DémonstrationCalcul

Soit α\alpha la classe de XX dans ℚ[X]/(X3−X2+X+2)\mathbb{Q}[X]/\big(X^{3}-X^{2}+X+2\big). Justifier que ce quotient est un corps, puis exprimer (α2+α+1)(α2−α)\big(\alpha^{2}+\alpha+1\big)\big(\alpha^{2}-\alpha\big) et (α−1)−1(\alpha-1)^{-1} sous la forme aα2+bα+ca\alpha^{2}+b\alpha+c, avec a,b,c∈ℚa,b,c \in \mathbb{Q}.

Source : J. S. Milne, Fields and Galois Theory, exercice 1-1

Corrigé

Le polynôme P=X3−X2+X+2P=X^{3}-X^{2}+X+2 est de degré 33, et ses seules racines rationnelles possibles sont ±1\pm 1 et ±2\pm 2 ; or P(1)=3P(1)=3, P(−1)=−1P(-1)=-1, P(2)=8P(2)=8 et P(−2)=−12P(-2)=-12. Il est donc irréductible sur ℚ\mathbb{Q}, et le quotient est un corps d'après la proposition 3.7 et le théorème 3.2.

Le produit. On réduit à l'aide de α3=α2−α−2\alpha^{3}=\alpha^{2}-\alpha-2, d'où α4=α3−α2−2α=−3α−2\alpha^{4}=\alpha^{3}-\alpha^{2}-2\alpha=-3\alpha-2 : (α2+α+1)(α2−α)=α4−αd’ouˋ(α2+α+1)(α2−α)=−4α−2\big(\alpha^{2}+\alpha+1\big)\big(\alpha^{2}-\alpha\big)=\alpha^{4}-\alpha \qquad\text{d'où}\qquad \boxed{\big(\alpha^{2}+\alpha+1\big)\big(\alpha^{2}-\alpha\big)=-4\alpha-2}

L'inverse. La division de PP par X−1X-1 donne P=(X−1)(X2+1)+3P=(X-1)\big(X^{2}+1\big)+3, puisque P(1)=3P(1)=3. En évaluant en α\alpha, il vient (α−1)(α2+1)=−3(\alpha-1)\big(\alpha^{2}+1\big)=-3 : (α−1)−1=−13α2−13\boxed{(\alpha-1)^{-1}=-\frac{1}{3}\alpha^{2}-\frac{1}{3}} Cette astuce n'est qu'un cas particulier de la relation de Bézout entre PP et X−1X-1, qui fournit l'inverse de tout élément non nul.

Ouvrir dans l'atlas interactif →