ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 5 — Structures algébriques · L'anneau ℤ/nℤ\mathbb{Z}/n\mathbb{Z}

Exercice 11

Calcul

1. Dresser la table de multiplication de ℤ/8ℤ\mathbb{Z}/8\mathbb{Z}.

2. En déduire la liste des éléments inversibles de ℤ/8ℤ\mathbb{Z}/8\mathbb{Z}, ainsi que l'inverse de chacun. Que remarque-t-on ?

3. En déduire la liste des diviseurs de zéro de ℤ/8ℤ\mathbb{Z}/8\mathbb{Z}.

4. L'anneau ℤ/8ℤ\mathbb{Z}/8\mathbb{Z} est-il un corps ? Le théorème 1 permettait-il de le prévoir ?

Corrigé

1. On calcule chaque produit ijij puis son reste modulo 88.

×0‾1‾2‾3‾4‾5‾6‾7‾0‾0‾0‾0‾0‾0‾0‾0‾0‾1‾0‾1‾2‾3‾4‾5‾6‾7‾2‾0‾2‾4‾6‾0‾2‾4‾6‾3‾0‾3‾6‾1‾4‾7‾2‾5‾4‾0‾4‾0‾4‾0‾4‾0‾4‾5‾0‾5‾2‾7‾4‾1‾6‾3‾6‾0‾6‾4‾2‾0‾6‾4‾2‾7‾0‾7‾6‾5‾4‾3‾2‾1‾\begin{array}{|c||c|c|c|c|c|c|c|c|} \hline \times & \overline{0} & \overline{1} & \overline{2} & \overline{3} & \overline{4} & \overline{5} & \overline{6} & \overline{7} \\ \hline \overline{0} & \overline{0} & \overline{0} & \overline{0} & \overline{0} & \overline{0} & \overline{0} & \overline{0} & \overline{0} \\ \hline \overline{1} & \overline{0} & \overline{1} & \overline{2} & \overline{3} & \overline{4} & \overline{5} & \overline{6} & \overline{7} \\ \hline \overline{2} & \overline{0} & \overline{2} & \overline{4} & \overline{6} & \overline{0} & \overline{2} & \overline{4} & \overline{6} \\ \hline \overline{3} & \overline{0} & \overline{3} & \overline{6} & \overline{1} & \overline{4} & \overline{7} & \overline{2} & \overline{5} \\ \hline \overline{4} & \overline{0} & \overline{4} & \overline{0} & \overline{4} & \overline{0} & \overline{4} & \overline{0} & \overline{4} \\ \hline \overline{5} & \overline{0} & \overline{5} & \overline{2} & \overline{7} & \overline{4} & \overline{1} & \overline{6} & \overline{3} \\ \hline \overline{6} & \overline{0} & \overline{6} & \overline{4} & \overline{2} & \overline{0} & \overline{6} & \overline{4} & \overline{2} \\ \hline \overline{7} & \overline{0} & \overline{7} & \overline{6} & \overline{5} & \overline{4} & \overline{3} & \overline{2} & \overline{1} \\ \hline \end{array}

2. Les lignes contenant le neutre 1‾\overline{1}, signalé en ocre, sont celles de 1‾\overline{1}, 3‾\overline{3}, 5‾\overline{5} et 7‾\overline{7}. Dans chacune, le 1‾\overline{1} se trouve sur la diagonale. Les inversibles sont 1‾, 3‾, 5‾, 7‾, et chacun est son propre inverse.\boxed{\text{Les inversibles sont } \overline{1}, \, \overline{3}, \, \overline{5}, \, \overline{7}, \text{ et chacun est son propre inverse.}} Ce sont exactement les classes des entiers impairs, c'est-à-dire des entiers premiers avec 88.

3. Les zéros situés hors de la première ligne et de la première colonne, en bleu pétrole, signalent les diviseurs de zéro. Les diviseurs de zeˊro sont 2‾, 4‾ et 6‾.\boxed{\text{Les diviseurs de zéro sont } \overline{2}, \, \overline{4} \text{ et } \overline{6}.}

4. Les classes 2‾\overline{2}, 4‾\overline{4} et 6‾\overline{6} sont non nulles et non inversibles. ℤ/8ℤ n’est pas un corps, ce que le theˊoreˋme 1 preˊvoyait puisque 8=23 n’est pas premier.\boxed{\mathbb{Z}/8\mathbb{Z} \text{ n'est pas un corps, ce que le théorème 1 prévoyait puisque } 8=2^{3} \text{ n'est pas premier.}} On observe de plus que chaque classe non nulle est soit inversible, soit diviseur de zéro : c'est le résultat général de l'exercice 16.

Dans l'édifice

Thèmes

anneaux, diviseurs de zéro et nilpotents, éléments inversibles, corps

Notions

anneau, anneau intègre, inversible, corps

Ouvrir dans l'atlas interactif →