Loi d'absorption

En algèbre, la loi d'absorption est une identité reliant deux lois de composition interne.

Définition

Deux lois de composition interne et vérifient la loi d'absorption si :

.

Propriétés

Soit un ensemble muni de deux lois de composition interne et . Si ces lois sont commutatives, associatives et vérifient la loi d'absorption, la structure algébrique résultante est un treillis.

Exemples

Dans toute algèbre de Boole (ou plus généralement dans toute algèbre de Heyting), les deux opérations et vérifient la loi d'absorption :

en particulier dans l'algèbre de Boole utilisée en logique et en informatique (, et = désignant alors respectivement la disjonction logique, la conjonction logique et l'équivalence logique).

  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.