Exercice S16

Exercice Publié par admin le 8 novembre 2025
Bac Sciences MathĂ©matiques & LycĂ©e Structures algĂ©briques ÉnoncĂ© avec corrigĂ© dĂ©taillĂ©

Conseil méthodologique : Cherchez attentivement cet exercice au brouillon pendant 15 à 30 minutes avant de consulter la solution détaillée ci-dessous.

ÉnoncĂ© de l'exercice :

Anneau de Boole
Soit $~A~$ un anneau unitaire tel que: $$\quad x^2=x\qquad (\forall x\in A)$$
  1. Montrer que: $\quad x+x=0\quad (\forall x\in A)$
  2. Montrer que $~~A~~$ est un anneaux commutatif
  3. Montrer que: $\quad \forall x,y \in A:\qquad xy(x+y)=0$
Solution Détaillée & Corrigé Pas à Pas Corrigé complet
1. Preuve de $x + x = 0$
  • Soit $x \in A$. Par hypothĂšse, tout Ă©lĂ©ment est Ă©gal Ă  son carrĂ©.
  • Appliquons cette propriĂ©tĂ© Ă  l'Ă©lĂ©ment $(x + x)$ : \[ \begin{align*} x + x &= (x + x)^2 \\ x + x &= (x + x)(x + x) \\ x + x &= x^2 + x^2 + x^2 + x^2 \quad \text{(par distributivitĂ©)} \\ x + x &= x + x + x + x \quad \text{(car } x^2 = x) \end{align*} \]
  • En simplifiant par $(x + x)$ Ă  gauche (ou en ajoutant l'opposĂ©), on obtient : \[ 0 = x + x \]
  • Note : Ceci montre que tout Ă©lĂ©ment est son propre opposĂ© ($x = -x$).

2. Commutativité de l'anneau
  • Soient $x, y \in A$. Appliquons la propriĂ©tĂ© du carrĂ© Ă  leur somme : \[ \begin{align*} x + y &= (x + y)^2 \\ x + y &= x^2 + xy + yx + y^2 \\ x + y &= x + xy + yx + y \quad \text{(car } x^2=x \text{ et } y^2=y) \end{align*} \]
  • En simplifiant par $x$ et $y$, il reste : \[ xy + yx = 0 \]
  • D'aprĂšs la question 1, nous savons que $yx + yx = 0$, donc $yx = -yx$.
  • L'Ă©galitĂ© $xy + yx = 0$ implique $xy = -yx$. Par consĂ©quent : \[ xy = yx \]
  • Conclusion : L'anneau $A$ est commutatif.

3. Preuve de $xy(x + y) = 0$
  • DĂ©veloppons l'expression en utilisant la commutativitĂ© et la distributivitĂ© : \[ \begin{align*} xy(x + y) &= x^2y + xy^2 \\ &= xy + xy \quad \text{(car } y^2=y \text{ et } x^2=x) \end{align*} \]
  • D'aprĂšs la question 1, pour tout Ă©lĂ©ment $z \in A$, on a $z + z = 0$.
  • En posant $z = xy$, on obtient immĂ©diatement : \[ xy + xy = 0 \]
  • Conclusion : $\forall x, y \in A, xy(x + y) = 0$.