ATLAS Ouvrir dans l'atlas →

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

Exercice 21

Calcul

1. Construire explicitement 𝔽4\mathbb{F}_{4} comme 𝔽2[X]/(X2+X+1)\mathbb{F}_{2}[X]/\big(X^{2}+X+1\big) : dresser les tables d'addition et de multiplication.

2. Vérifier que le groupe multiplicatif 𝔽4∗\mathbb{F}_{4}^{*} est cyclique et en exhiber un générateur.

3. Construire 𝔽8\mathbb{F}_{8} comme 𝔽2[X]/(X3+X+1)\mathbb{F}_{2}[X]/\big(X^{3}+X+1\big). Combien d'éléments ? Quel est l'ordre de la classe de XX ?

4. Construire 𝔽9\mathbb{F}_{9} comme 𝔽3[X]/(X2+1)\mathbb{F}_{3}[X]/\big(X^{2}+1\big), après avoir vérifié l'irréductibilité.

Corrigé

1. Le polynôme X2+X+1X^{2}+X+1 n'a pas de racine dans 𝔽2\mathbb{F}_{2}, donc est irréductible. En notant α\alpha la classe de XX, on a 𝔽4={0 ;1 ;α ;α+1}\mathbb{F}_{4}=\{0\,;1\,;\alpha\,;\alpha+1\} avec α2=α+1\alpha^{2}=\alpha+1.

+01αα+1001αα+1110α+1αααα+101α+1α+1α10\begin{array}{|c||c|c|c|c|} \hline + & 0 & 1 & \alpha & \alpha+1 \\ \hline 0 & 0 & 1 & \alpha & \alpha+1 \\ \hline 1 & 1 & 0 & \alpha+1 & \alpha \\ \hline \alpha & \alpha & \alpha+1 & 0 & 1 \\ \hline \alpha+1 & \alpha+1 & \alpha & 1 & 0 \\ \hline \end{array}
×1αα+111αα+1ααα+11α+1α+11α\begin{array}{|c||c|c|c|} \hline \times & 1 & \alpha & \alpha+1 \\ \hline 1 & 1 & \alpha & \alpha+1 \\ \hline \alpha & \alpha & \alpha+1 & 1 \\ \hline \alpha+1 & \alpha+1 & 1 & \alpha \\ \hline \end{array}

2. 𝔽4∗\mathbb{F}_{4}^{*} est d'ordre 33, donc cyclique, et tout élément ≠1\neq 1 l'engendre : α est un geˊneˊrateur, avec α2=α+1 et α3=1.\boxed{\alpha \text{ est un générateur, avec } \alpha^{2}=\alpha+1 \text{ et } \alpha^{3}=1.}

3. X3+X+1X^{3}+X+1 est irréductible sur 𝔽2\mathbb{F}_{2} (exercice 19), donc le quotient est un corps à 23=82^{3}=8 éléments. La classe β\beta de XX vérifie β3=β+1\beta^{3}=\beta+1, et 𝔽8∗\mathbb{F}_{8}^{*} est d'ordre 77 premier : ∣𝔽8∣=8, et β est d’ordre 7.\boxed{\big|\mathbb{F}_{8}\big|=8, \text{ et } \beta \text{ est d'ordre } 7.}

4. Le polynôme X2+1X^{2}+1 n'a pas de racine dans 𝔽3\mathbb{F}_{3}, puisque 02+1=10^{2}+1=1, 12+1=21^{2}+1=2 et 22+1=22^{2}+1=2 : 𝔽9=𝔽3[X]/(X2+1)={a+bi  ∣  a,b∈𝔽3}\boxed{\mathbb{F}_{9}=\mathbb{F}_{3}[X]/\big(X^{2}+1\big)=\big\{a+b\mathrm{i} \;\big|\; a,b \in \mathbb{F}_{3}\big\}}

Dans l'édifice

Thèmes

groupes

Ouvrir dans l'atlas interactif →