ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 11 — Structures algébriques usuelles · Anneaux et corps

Exercice 40

Démonstration

Anneaux de Boole. Un anneau AA est dit de Boole si x2=xx^{2} = x pour tout x∈Ax \in A.

1. Montrer que, pour tout ensemble EE, l'anneau (𝒫(E),Δ,∩)(\mathcal{P}(E), \Delta, \cap) du cours est de Boole.

2. Soit AA un anneau de Boole. En développant (x+x)2(x + x)^{2}, montrer que x+x=0x + x = 0 pour tout x∈Ax \in A. En développant (x+y)2(x + y)^{2}, montrer que AA est commutatif.

3. Montrer qu'un anneau de Boole intègre a exactement deux éléments. Pour quels ensembles EE l'anneau 𝒫(E)\mathcal{P}(E) est-il intègre ?

4. Soit XX une partie de EE, distincte de ∅\varnothing et de EE. Montrer que {∅,X,E∖X,E}\{\varnothing, X, E \setminus X, E\} est le plus petit sous-anneau de 𝒫(E)\mathcal{P}(E) contenant XX.

Corrigé

1. Pour toute partie AA, on a A∩A=AA \cap A = A.

2. On a x+x=(x+x)2=x2+x2+x2+x2=4xx + x = (x + x)^{2} = x^{2} + x^{2} + x^{2} + x^{2} = 4x, d'où x+x=0x + x = 0. Ensuite x+y=(x+y)2=x2+xy+yx+y2=x+y+xy+yx,x + y = (x + y)^{2} = x^{2} + xy + yx + y^{2} = x + y + xy + yx, donc xy+yx=0xy + yx = 0, soit xy=−yx=yxxy = -yx = yx, puisque tout élément est son propre opposé. x=−x,xy=yx\boxed{x = -x, \qquad xy = yx}

3. Si AA est intègre, x2=xx^{2} = x s'écrit x(x−1)=0x(x - 1) = 0, donc x=0x = 0 ou x=1x = 1 ; comme AA est non nul, 0≠10 \neq 1. un anneau de Boole inteˋgre a exactement deux eˊleˊments\boxed{\text{un anneau de Boole intègre a exactement deux éléments}} L'anneau 𝒫(E)\mathcal{P}(E) est donc intègre si et seulement si EE a un seul élément : pour E=∅E = \varnothing, c'est l'anneau nul, et si EE a deux éléments distincts aa et bb, {a}∩{b}=∅\{a\} \cap \{b\} = \varnothing (cours).

4. Un sous-anneau contenant XX contient l'unité EE, le zéro ∅\varnothing, et E Δ X=E∖XE \,\Delta\, X = E \setminus X. Réciproquement, S={∅,X,E∖X,E}S = \{\varnothing, X, E \setminus X, E\} contient EE, et il est stable par Δ\Delta et par ∩\cap, comme on le vérifie sur les couples d'éléments de SS : par exemple X Δ (E∖X)=EX \,\Delta\, (E \setminus X) = E et X∩(E∖X)=∅X \cap (E \setminus X) = \varnothing. Dans cet anneau, la différence est Δ\Delta, puisque tout élément est son propre opposé. {∅,X,E∖X,E} est le plus petit sous-anneau contenant X\boxed{\{\varnothing, X, E \setminus X, E\} \text{ est le plus petit sous-anneau contenant } X}

Dans l'édifice

Thèmes

anneaux et corps, groupes abéliens, anneaux, anneaux intègres, sous-anneaux

Notions

anneau, groupe abélien, anneau intègre, sous-anneau

Ouvrir dans l'atlas interactif →