Passer au contenu principal
Tangente
AlgèbrePersonnage · Glossaire

anneau de Boole

Un anneau (A, +, ×) est appelé anneau de Boole (ou anneau booléen) si chacun de ses éléments est idempotent pour la multiplication, c'est-à-dire si pour tout élément a de A, on a a² = a. Après traduction de ses opérations logiques, l'algèbre de Boole classique fournit une structure correspondante d'anneau de Boole.
Les quatre parties de l’ensemble {x, y} sont idempotentes pour l’intersection Quatre égalités montrent que chaque partie intersectée avec elle-même reste inchangée. ∅ ∩ ∅ = ∅ {x} ∩ {x} = {x} {y} ∩ {y} = {y} {x, y} ∩ {x, y} = {x, y}
Pour ∅, {x}, {y} et {x, y}, l’intersection d’une partie avec elle-même redonne exactement cette partie.
Sommaire

Ce que vous allez apprendre

  • Identifier la condition d’idempotence qui caractérise un anneau de Boole.
  • Vérifier cette condition sur les quatre parties de l’ensemble {x, y}.
  • Distinguer anneau de Boole, algèbre de Boole et élément idempotent.
  • Repérer les conventions et contrôles insuffisants qui peuvent fausser le diagnostic.

En clair

Prenons les quatre parties de l’ensemble {x, y} : ∅, {x}, {y} et {x, y}. Si la multiplication est l’intersection, multiplier une partie par elle-même ne la change jamais : {x} ∩ {x} reste {x}.
Un anneau de Boole généralise ce comportement. Chacun de ses éléments reste inchangé lorsqu’on le multiplie par lui-même. Cette stabilité porte le nom d’idempotence.

Définition

Un anneau de Boole, aussi appelé anneau booléen, est un anneau dont tous les éléments sont idempotents pour la multiplication. On note A l’ensemble sous-jacent, + son addition et × sa multiplication. La condition porte sur chaque élément a de A :
aA,a2=a\forall a\in A,\quad a^2=a
Il ne suffit donc pas qu’un seul élément vérifie cette égalité.
Cette condition entraîne deux faits importants. D’une part, chaque élément est son propre opposé additif : a + a = 0. D’autre part, la multiplication est nécessairement commutative. Ces conclusions se déduisent en développant respectivement (a + a)2 = a + a et (a + b)2 = a + b.
Pour un ensemble E, l’ensemble de ses parties fournit le modèle conducteur. L’addition y est la différence symétrique, qui garde les éléments présents dans une seule des deux parties. La multiplication y est l’intersection. Le neutre additif est ∅ et, lorsque E lui-même est admis comme unité multiplicative, le neutre multiplicatif est E. Les conventions sur le mot « anneau » peuvent exiger ou non cette unité ; l’idempotence de tous les éléments reste le critère distinctif.

Où on le rencontre

On rencontre cette structure lorsqu’un calcul porte sur des choix binaires ou sur des parties d’un ensemble. Plusieurs marqueurs la signalent : les valeurs se combinent comme « présent » ou « absent », l’addition annule ce qui apparaît deux fois, la multiplication conserve ce qui est commun, et répéter cette multiplication ne change rien.
Dans le modèle des parties de {x, y}, chaque élément de l’anneau encode donc une sélection. La différence symétrique enregistre un changement de sélection, tandis que l’intersection enregistre la présence simultanée. La structure algébrique porte à la fois ces deux façons de combiner l’information.

Le mode d'emploi

Pour reconnaître un anneau de Boole, la grandeur à examiner n’est pas sa taille, mais le résultat du carré de chacun de ses éléments.
1. Identifiez précisément l’ensemble A et les deux lois + et ×. Une même collection peut former des structures différentes selon les opérations choisies.
2. Vérifiez d’abord que ces lois donnent bien un anneau. Puis, pour chaque élément a, comparez a × a à a. Dans un anneau fini, la diagonale de la table de multiplication doit reproduire exactement les éléments qui l’étiquettent.
3. Concluez seulement si l’égalité vaut pour tous les éléments. Voir 0 × 0 = 0 et 1 × 1 = 1 peut donner une fausse impression : ces deux égalités sont ordinaires dans beaucoup d’anneaux qui ne sont pas booléens.

Un exemple, pas à pas

Considérons les parties de l’ensemble E = {x, y}. Le schéma confronte chaque partie à sa propre intersection et rend visible qu’aucune ne change.
Données.
Éléments de l’anneau : ∅, {x}, {y}, {x, y}.
Addition : différence symétrique, notée △.
Multiplication : intersection, notée ∩.
Neutres : ∅ pour l’addition et E pour la multiplication.
Étape 1. Pour ∅ et les deux parties à un élément, l’intersection avec soi-même redonne respectivement ∅, {x} et {y}.
Étape 2. La partie entière vérifie elle aussi {x, y} ∩ {x, y} = {x, y}. Les quatre éléments possibles ont donc été contrôlés.
Étape 3. Les lois forment bien un anneau : la différence symétrique joue le rôle de l’addition, et l’intersection celui de la multiplication. Par exemple, {x} △ {x} = ∅ montre que {x} est son propre opposé.
Résultat et contrôle. Tous les éléments sont idempotents pour l’intersection : cet anneau à quatre éléments est un anneau de Boole. Pour refaire le contrôle, choisissez n’importe quelle partie S de E ; un élément appartient à S ∩ S exactement lorsqu’il appartient à S.

En pratique

Pour calculer avec des sélections, on représente chaque choix par une partie d’un ensemble. La différence symétrique convient lorsque deux occurrences doivent s’annuler ; l’union convient plutôt si une occurrence répétée doit rester présente.
Pour manipuler des valeurs logiques, on traduit « faux » et « vrai » par 0 et 1. La multiplication modélise alors la conjonction. Cette écriture en anneau est utile si l’on veut calculer avec deux lois ; une simple table de vérité reste préférable pour lire directement toutes les combinaisons d’une petite proposition.
Pour tester une petite structure finie proposée comme anneau de Boole, on examine toute la diagonale de sa table de multiplication. Si chaque case diagonale répète son étiquette, l’idempotence est vérifiée ; sinon, le premier élément différent fournit immédiatement un contre-exemple. Pour une structure trop grande à énumérer, un calcul symbolique valable pour tout élément remplace ce contrôle exhaustif.

À ne pas confondre

Un élément idempotent. Dans un anneau quelconque, un élément e peut vérifier e2 = e sans que les autres le fassent. L’anneau est booléen seulement si ce test réussit pour chaque élément.
Une algèbre de Boole. Elle s’exprime avec les opérations logiques « et », « ou » et « non ». Un anneau de Boole emploie une addition et une multiplication. Lorsque l’anneau possède une unité, les deux cadres se correspondent sous des transformations précises, mais les noms et le rôle des opérations ne sont pas interchangeables.
L’anneau à deux éléments. L’ensemble {0, 1} avec les opérations modulo 2 est un anneau de Boole, mais ce n’est pas le seul. L’anneau des parties de {x, y} en possède quatre : sa taille suffit à trancher entre ces deux exemples.

Limites et pièges

Tester seulement 0 et 1. Ces deux éléments sont toujours idempotents dans un anneau unitaire. Leur réussite ne dit rien sur les autres. Il faut un argument portant sur tout élément, ou un contrôle exhaustif si l’anneau est fini.
Remplacer l’addition par l’union. Dans l’anneau des parties, l’addition est la différence symétrique, pas l’union. Le symptôme est immédiat : avec l’union, S ∪ S = S, alors que l’addition d’un anneau de Boole doit donner S + S = ∅ dans ce modèle.
Oublier la convention sur l’unité. Certains auteurs exigent qu’un anneau possède un neutre multiplicatif, d’autres non. Avant d’utiliser le complément 1 + a ou de parler de l’élément 1, il faut vérifier que l’unité fait partie des hypothèses.
Traiter la commutativité comme une hypothèse supplémentaire. Elle est déjà une conséquence de l’idempotence de tous les éléments. Si un produit ab diffère de ba, ce symptôme suffit donc à exclure un anneau de Boole.

Pour aller plus loin

algèbre de Boole — Pour passer des opérations d’anneau aux opérations logiques et comprendre leur correspondance.
Idempotent — Pour étudier la propriété a2 = a lorsqu’elle concerne un élément plutôt que l’anneau entier.
Différence symétrique — Pour approfondir l’addition utilisée dans l’anneau des parties d’un ensemble.
Intersection — Pour revoir l’opération ensembliste qui joue le rôle de multiplication dans l’exemple conducteur.
Continuez avec Tangente

Explorez les mathématiques autrement

Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.

Découvrir les offres