Ein Semigroup mit einem Einselement; ein Monoid ist eine Menge mit einer assoziativen binären Operation und einem neutralen Element 1 mit 1·a = a·1 = a für alle a.

Prinzip

Ergänzt die Semigroupaxiome um die Existenz eines neutralen Elements: Assoziativität plus zweiseitiges Neutralelement ordnet die Komposition, ohne Inverse für allgemeine Elemente zu fordern.

Demonstration

Die natürlichen Zahlen einschließlich Null unter Addition (N, +, 0) bilden ein kommutatives Monoid: Addition ist assoziativ und 0 ist das neutrale Element; Wörter (inklusive des leeren Wortes) unter Konkatenation bilden ein nichtkommutatives Monoid.

Fehlanwendung

Annehmen, jedes Monoidelement sei invertierbar und das Monoid wie eine Gruppe behandeln; dies führt zu ungültiger Anwendung von Kürzungsregeln und zur falschen Annahme, Gleichungen ax = b seien lösbar ohne Überprüfung der Invertierbarkeit.

Konsequenz

Monoide unterstützen Aktionen auf Mengen, sind präsentierbare algebraische Strukturen und führen zu Monoidalgebren; durch Adjunktion einer Einheit an eine Halbgruppe erhält man ein Monoid, und viele Berechnungsmodelle sind monoidal.

Umkehrung

Fordert man Inverse für alle Elemente, wird ein Monoid zur Gruppe, was die Lösbarkeit von Gleichungen stärkt; lässt man das Neutralelement weg, erhält man eine Halbgruppe und verliert kategoriale Eigenschaften der Einheit.

Abgrenzung

Monoide müssen weder kommutativ sein noch Inverse besitzen; sie unterscheiden sich von Gruppen durch fehlende Invertierbarkeit und von Kategorien dadurch, dass man sie erst als eindimensionale Kategorie ansehen muss (eine Objektvariante).

Semantische Spannung

Begriffliche Überschneidungen mit Halbgruppen und den Bezeichnungen ‚einheitlich/unital‘; manche Autoren verwenden Monoid und Halbgruppe mit Einheit synonym — Kontext und Axiome klären die Bedeutung.

Synthese

Ein Monoid ist eine assoziative algebraische Struktur mit einem ausgewiesenen neutralen Element: es formalisiert Komposition mit Identität, ohne Invertierbarkeit vorzugeben, und verbindet Halbgruppen- und Gruppenaspekte.