## [Monoid](/de/node/63322) Definition 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 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 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 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 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 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 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 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 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.