E - PanaMaths

PanaMaths [1 - 4] Décembre 2008
Soit
(
)
,,A+× un anneau. On dit que A est « booléen » (ou que « A est
un anneau de Boole ») si pour tout a de A, on a : aa a
×
=.
Soit E un ensemble et
()
E
P l’ensemble de ses parties.
Montrer que
()
()
,,E∩Δ P est un anneau booléen.
(on rappelle que la loi Δ, appelée « différence symétrique », est
définie par :
() ()
(
)
()()
2
,, XY E X Y X Y Y X∀∈ =− −∪Δ P )
Analyse
Un exercice classique faisant essentiellement appel aux définitions fondamentales des
structures de groupes et d’anneaux et nécessitant un peu de manipulations (union,
intersection, complémentaire) sur les parties d’un ensemble.
Résolution
On a immédiatement :
(
)
,
A
EAAA∀∈ =∩ P .
Il suffit donc d’établir que
(
)
(
)
,,E∩Δ P est un anneau.
Commençons par établir que
(
)
(
)
,E
Δ
P est un groupe (commutatif …).
•
(
)
E≠∅ P puisque
(
)
E∅∈ P .
• La loi Δ est clairement commutative :
() ()
()
()()()()
2
,, XY E X Y X Y Y X Y X X Y Y X=∀∈ =− − − −=∪∪
Δ
Δ P
• La loi Δ est-elle associative ?
Pour toutes parties X, Y et Z de E, il nous faut comparer :
(
)
XY Z
Δ
Δ et
(
)
XYZΔΔ.
(
)
(
)
(
)
(
)
(
)
XY Z XY Z Z XY=−−∪ΔΔ Δ Δ

PanaMaths [2 - 4] Décembre 2008
Pour pouvoir simplifier cette écriture, nous allons considérer une autre expression de
la différence symétrique. En notant X le complémentaire de X dans E, on a (en
utilisant les propriétés classiques de l’intersection et de la réunion) :
(
)
(
)
(
)
(
)
(
)
(
)
XY XY YX XY YX XY XY=− −= =∪∩∪∩∪∩∪Δ
On en déduit :
(
)
(
)
(
)
(
)
(
)
()
()
()
()
()
()
()
()
()
()
()
()
()
()()
()
()
()()()()()
()
()
()()()
()
()
()
()()
XY Z XY Z Z XY
XY Z XY Z
XY XY Z XY XY Z
XYZ XYZ XYXY Z
XYZ XYZ XY XY Z
XYZ XYZ XX XY YX YY Z
XYZ XYZ XY YX Z
XYZ XYZ XYZ XYZ
=−−
=
⎡⎤
⎡⎤
=⎣⎦
⎢⎥
⎣⎦
⎡⎤
=⎣⎦
⎡⎤
=⎣⎦
⎡
⎤
=
⎣
⎦
⎡⎤
=⎣⎦
=
∪
∪∩ ∪
∪∩ ∪ ∪ ∩ ∪∩ ∪ ∪
∪∪ ∩ ∪∪ ∩ ∪∪ ∪ ∪
∪∪ ∩ ∪∪ ∩ ∩ ∪ ∩ ∪
∪∪∩∪∪∩ ∪∩∪∩∪∩∪ ∪
∪∪ ∩ ∪∪ ∩ ∪ ∩ ∪ ∪
∪∪ ∩ ∪∪ ∩ ∪∪ ∩ ∪∪
ΔΔ Δ Δ
ΔΔ
Il convient désormais d’évaluer :
(
)
XYZ
Δ
Δ, soit, la loi
Δ
étant commutative :
(
)
YZ XΔΔ.
On peut utiliser le résultat obtenu précédemment : il suffit de remplacer X par Y, Y par
Z et Z par X. Nous n’avons en fait pas besoin d’écrire le résultat pour affirmer qu’il y
aura égalité.
En effet, l’expression obtenue ci-dessus :
()
(
)
(
)
(
)
XYZ XYZ XYZ XYZ∪∪ ∩ ∪∪ ∩ ∪∪ ∩ ∪∪
est invariante pour toute permutation de l’ensemble
{
}
,,XYZ (i.e. toute bijection de
cet ensemble dans lui-même).
On a bien :
()()
()
() ()
7
,, , XYZ E X Y Z X Y Z
Δ
ΔΔΔ∀∈ = P
• ∅ est neutre pour Δ.
En effet :
(
)
, XEX X∀∈ −∅= P
et X
∅
−=∅.
On en déduit alors :
(
)
(
)
(
)
, XEX XX XX X∀∈ ∅=∅ = −∅ ∅− = ∅=∪∪ΔΔ P

PanaMaths [3 - 4] Décembre 2008
• Toute partie X de E est son propre symétrique pour
Δ
:
(
)
(
)
(
)
, XEXXXXXX∀∈ = − − =∅∅=∅∪∪Δ P
En définitive, nous pouvons affirmer, d’après ce qui précède, que
(
)
(
)
,EΔ P
est un groupe
commutatif.
Il convient maintenant de prendre en compte la deuxième loi, c'est-à-dire l’intersection.
• ∩ est associative.
• ∩ est commutative.
• ∩ admet comme éléments neutre l’ensemble E.
En effet :
(
)
, XEXEEXX∀∈ = =∩∩ P
.
• ∩ est-elle distributive par rapport à
Δ
?
Pour toutes parties X, Y et Z de E, il convient de comparer :
(
)
XYZ∩Δ et
(
)
(
)
XY XZ∩∩Δ.
On a :
()
(
)
(
)
(
)
(
)
X YZ X YZ YZ XYZ XYZ
⎡⎤
==
⎣⎦
∩∩∩∪∩∩∩∪∩∩Δ
Et par ailleurs :
()()()()
()()
()()
()()
()
()
()
()
()
()()()
()()()
()()
XY XZ XY XZ XYXZ
XY XZ XY XZ
XY XZ XYZ
XY XYZ XZ XYZ
XYX XYY XYZ
XZX XZY XZZ
XYZ XZY
=∅ =∅
=∅ =∅
⎡⎤
=⎡ ⎤
⎣⎦
⎣⎦
⎡⎤
=⎡⎤
⎣⎦
⎣⎦
=⎡ ⎤
⎣⎦
⎡⎤⎡⎤
=⎣⎦⎣⎦
=
=
∩∩ ∩∪∩∩∩∪∩
∩∪ ∩ ∩ ∪∪ ∪
∩∪ ∩ ∩ ∪∪
∩∩ ∪∪ ∪ ∩∩ ∪∪
∩∩ ∪ ∩∩ ∪ ∩∩
∪∩∩∪∩∩∪∩∩
∩∩ ∪ ∩∩
Δ
On a ainsi retrouvé le résultat obtenu précédemment.
En définitive, nous pouvons conclure que
(
)
(
)
,,E∩Δ P est un anneau commutatif.

PanaMaths [4 - 4] Décembre 2008
Résultat final
Pour tout ensemble E,
(
)
(
)
,,E∩Δ P est un anneau commutatif.