Eine Menge mit einer assoziativen binären Operation, die nicht notwendigerweise ein neutrales Element oder Inverse besitzt.

Prinzip

Halbgruppen fordern lediglich Assoziativität und Abschließung; durch das Abschwächen von Identitäts- und Invertierbarkeitsbedingungen erfassen sie Konkatenation und iterative Komposition ohne Neutralität oder Umkehrbarkeit vorauszusetzen.

Demonstration

Die Menge nichtleerer endlicher Zeichenketten mit Konkatenation ist eine Halbgruppe: Konkatenation ist assoziativ, aber in der Menge der nichtleeren Ketten gibt es kein neutrales Element; ebenso bilden die positiven ganzen Zahlen unter Multiplikation (ohne 1) eine Halbgruppe.

Fehlanwendung

Die Annahme, in einer Halbgruppe existiere ein neutrales Element, obwohl dies nicht der Fall ist, führt zu fehlerhaften Faktorisierungen; ebenso führt die Vermutung von Inversen zu ungültigen Gleichungslösungen und strukturellen Fehlern.

Konsequenz

Allein Assoziativität gewährleistet wohldefinierte Produkte endlicher Folgen von Elementen und erlaubt die Untersuchung von Potenzen, Idempotenten und Green-Relationen; man kann bei Bedarf ein Neutrales adjoinieren, um ein Monoid zu bilden.

Umkehrung

Ein beidseitiges Neutrales adjoinieren ergibt ein Monoid; fordert man Inverse für alle Elemente, erhält man eine Gruppe; fällt Assoziativität weg, entstehen Magmen und andere nichtassoziative Systeme.

Abgrenzung

Gilt für assoziative Ein-Operation-Strukturen ohne Forderung nach Identität oder Inversen; schließt Mehroperationssysteme, nichtassoziative Magmen und partiell definierte Kompositionen aus.

Semantische Spannung

Halbgruppe vs Monoid: eine Halbgruppe kann kein Neutrales besitzen, ein Monoid schon; Halbgruppe vs Kategorie: Halbgruppen abstrahieren Komposition ohne Objektstruktur von Kategorien; Monoidobjekte in einer monoidalen Kategorie sind höherstufige Varianten.

Synthese

Eine Halbgruppe ist der minimale assoziative algebraische Rahmen, der die Idee sequentieller Komposition und wiederholter Anwendung erfasst und als Basis dient, Monoide und Gruppen durch Hinzufügen von Neutralelementen oder Inversen zu konstruieren.