## [Monoïde](/fr/node/63322) Définition 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 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 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 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 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 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 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 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 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.