ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 5 — Structures algébriques · Anneaux : définition et calculs

Exercice 3

Démonstration

On rappelle qu'un élément xx non nul d'un anneau AA est un diviseur de zéro lorsqu'il existe yy non nul dans AA tel que xy=0Axy=0_{A}.

1. Exhiber deux diviseurs de zéro dans (ℝ2 ;+ ;×)\big(\mathbb{R}^{2} \,;+\,;\times\big).

2. Vérifier que les fonctions f:x↦∣x∣+xf : x \mapsto |x|+x et g:x↦∣x∣−xg : x \mapsto |x|-x sont des diviseurs de zéro de (ℝℝ ;+ ;×)\big(\mathbb{R}^{\mathbb{R}} \,;+\,;\times\big).

3. Exhiber deux diviseurs de zéro dans ℤ/6ℤ\mathbb{Z}/6\mathbb{Z}.

4. Démontrer qu'un élément inversible d'un anneau n'est jamais un diviseur de zéro.

5. En déduire qu'un corps ne possède aucun diviseur de zéro.

Corrigé

1. Les deux éléments (1 ;0)(1\,;0) et (0 ;1)(0\,;1) sont non nuls, et : (1 ;0)×(0 ;1)=(1×0 ; 0×1)=(0 ;0)(1\,;0) \times (0\,;1) = (1 \times 0 \,;\, 0 \times 1) = (0\,;0)

(1 ;0) et (0 ;1) sont des diviseurs de zeˊro de ℝ2.\boxed{(1\,;0) \text{ et } (0\,;1) \text{ sont des diviseurs de zéro de } \mathbb{R}^{2}.}

2. Les fonctions ff et gg ne sont pas nulles, puisque f(1)=2f(1)=2 et g(−1)=2g(-1)=2. Pourtant, pour tout réel xx : f(x)g(x)=(∣x∣+x)(∣x∣−x)=∣x∣2−x2=x2−x2=0f(x)g(x)=\big(|x|+x\big)\big(|x|-x\big)=|x|^{2}-x^{2}=x^{2}-x^{2}=0

f et g sont des diviseurs de zeˊro de ℝℝ.\boxed{f \text{ et } g \text{ sont des diviseurs de zéro de } \mathbb{R}^{\mathbb{R}}.}

3. Dans ℤ/6ℤ\mathbb{Z}/6\mathbb{Z}, les classes 2‾\overline{2} et 3‾\overline{3} sont non nulles et 2‾×3‾=6‾=0‾\overline{2} \times \overline{3} = \overline{6} = \overline{0}. 2‾ et 3‾ sont des diviseurs de zeˊro de ℤ/6ℤ.\boxed{\overline{2} \text{ et } \overline{3} \text{ sont des diviseurs de zéro de } \mathbb{Z}/6\mathbb{Z}.}

4. Soit xx inversible, et supposons xy=0Axy=0_{A}. En multipliant à gauche par x−1x^{-1} : y=1A×y=(x−1x)y=x−1(xy)=x−1×0A=0Ay = 1_{A} \times y = \big(x^{-1}x\big)y = x^{-1}\big(xy\big) = x^{-1} \times 0_{A} = 0_{A}

Un eˊleˊment inversible n’est jamais un diviseur de zeˊro.\boxed{\text{Un élément inversible n'est jamais un diviseur de zéro.}}

5. Dans un corps, tout élément non nul est inversible, donc n'est pas un diviseur de zéro d'après la question 4. Un corps ne posseˋde aucun diviseur de zeˊro.\boxed{\text{Un corps ne possède aucun diviseur de zéro.}}

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 →