Un ensemble muni d'une opération binaire associative qui possède un élément neutre, mais dont les éléments n'ont pas nécessairement d'inverses.

Principe

Un monoïde conserve la clôture, l'associativité et un élément neutre ; il omet l'exigence d'inversibilité universelle, autorisant des processus irréversibles et des compositions de type concaténation.

Démonstration

Les entiers naturels N (incluant 0) munis de l'addition forment un monoïde : l'addition est associative, 0 est l'identité, mais la plupart des éléments n'ont pas d'inverses additives dans N ; de même, les mots finis munis de la concaténation forment un monoïde.

Mauvaise application

Traiter un monoïde comme un groupe en supposant l'existence d'inverses conduit à des manipulations algébriques erronées et à des solutions invalides d'équations nécessitant des inverses.

Conséquence

La structure de monoïde permet des produits finis bien définis, des puissances et des représentations d'actions ; en adjoignant des inverses on obtient des groupes, et de nombreux systèmes informatiques et algébriques sont naturellement des monoïdes (automates, ensembles d'endomorphismes).

Inversion

Exiger que chaque élément soit inversible transforme un monoïde en groupe ; supprimer l'identité le réduit à un semi-groupe.

Limite

Couvre les structures à une opération associative avec un neutre bilatéral sans exiger d'inverses ; exclut les anneaux (qui ont une seconde opération), les magmas non associatifs et les identités partielles ou locales.

Tension sémantique

Monoïde vs semi-groupe : un monoïde possède une identité, un semi-groupe pas nécessairement ; monoïde vs groupe : le monoïde n'exige pas d'inverses ; monoïde vs catégorie : un monoïde est une catégorie à un objet dont la composition des flèches correspond à l'opération du monoïde.

Synthèse

Un monoïde est le cadre algébrique de la composition associative avec un élément neutre mais sans inversibilité universelle, adapté pour modéliser l'accumulation, la séquençation et la combinaison irréversible.