Un semi-groupe muni d'un élément neutre ; un monoïde est un ensemble avec une opération binaire associative et un élément neutre 1 tel que 1·a = a·1 = a pour tout a.

Principe

Ajoute l'existence d'un élément identité à l'axiomatique du semi-groupe : associativité plus un élément neutre bilatéral organise la composition sans exiger d'inverses pour les éléments généraux.

Démonstration

Les entiers naturels avec zéro pour l'addition (N, +, 0) forment un monoïde commutatif : l'addition est associative et 0 est l'élément neutre ; les mots (y compris le mot vide) avec la concaténation forment un monoïde non commutatif.

Mauvaise application

Supposer que chaque élément d'un monoïde est inversible et traiter le monoïde comme un groupe ; cela entraîne des erreurs de type annulation et des hypothèses fausses sur la résolution d'équations ax = b sans vérifier l'inversibilité.

Conséquence

Les monoïdes autorisent des actions sur des ensembles, des structures algébriques présentables et des algèbres de monoïdes ; adjoindre un neutre à un semi-groupe produit un monoïde, et de nombreux modèles informatiques sont naturellement monoïdaux.

Inversion

Exiger des inverses pour chaque élément élève un monoïde au rang de groupe, renforçant la résolubilité des équations ; supprimer le neutre ramène au semi-groupe, perdant l'élément neutre canonique et certaines propriétés catégoriques.

Limite

Les monoïdes ne sont pas forcément commutatifs ni n'ont d'inverses ; ils se distinguent des groupes par l'absence d'inversibilité garantie et diffèrent des catégories par la généralisation nécessaire pour voir un monoïde comme catégorie à un objet.

Tension sémantique

La terminologie chevauche semi-groupes et adjectifs « unitaire » ou « unital » ; certains auteurs appellent un semi-groupe avec identité un monoïde tandis que d'autres atténuent la distinction — le contexte et les axiomes dissipent l'ambiguïté.

Synthèse

Un monoïde est une structure algébrique associative munie d'un élément neutre distingué : il formalise la composition avec identité sans exiger d'inverses, faisant le lien entre la théorie des semi-groupes et celle des groupes.