Eine Menge mit einer binären Verknüpfung derart, dass zu beliebigen a,b eindeutige x,y existieren mit a * x = b und y * a = b. Äquivalent ist die Verknüpfungstabelle ein lateinisches Quadrat; ein neutrales Element ist nicht erforderlich.

Prinzip

Die ordnende Idee ist Lösbarkeit und Eindeutigkeit: Links- und Rechtsdivision durch jedes Element sind stets lösbar und liefern eindeutige Lösungen, wodurch ein abkürbares Verhalten ohne Assoziativität oder Identität entsteht.

Demonstration

Endliche Quasigruppen erscheinen als lateinische Quadrate: Man nimmt ein 3×3-Lateinisches-Quadrat und interpretiert Zeilen und Spalten als linke bzw. rechte Faktoren, um eine Quasigruppenoperation mit eindeutiger Lösbarkeit von a * x = b zu erhalten.

Fehlanwendung

Assoziativität oder Existenz eines neutralen Elements anzunehmen, obwohl nur eindeutige Lösbarkeit garantiert ist; jede Quasigruppe als Gruppe zu behandeln führt zu falschen Schlussfolgerungen über Produkte oder Potenzen.

Konsequenz

Korrekte Identifikation führt zu kombinatorischen Konstruktionen (lateinische Quadrate), zu Loops, wenn man ein Identitätselement hinzufügt, und zu algebraischen Systemen, in denen Gleichungen a * x = b stets lösbar und eindeutig sind.

Umkehrung

Wird die Eindeutigkeit der Division fallen gelassen, entstehen Magmen oder Groupoids (im Sinne der universellen Algebra), in denen Gleichungen mehrere oder keine Lösungen haben; das Erzwingen von Assoziativität und Identität führt zurück zur Gruppe.

Abgrenzung

Gilt für binäre Operationen auf Mengen, die die beidseitige lateinische Eigenschaft erfüllen; schließt Halbgruppen, Monoide, Gruppen (mit zusätzlicher Struktur) und partielle Operationen ohne eindeutige globale Lösungen aus.

Semantische Spannung

Spannung zwischen 'Quasigruppe' und 'Gruppe': Beide erlauben Division, aber eine Gruppe verlangt zusätzlich Assoziativität und ein Identitätselement; eine Quasigruppe erhält die Lösbarkeit bei gelockerten Bedingungen.

Synthese

Eine Quasigruppe ist eine nichtassoziative algebraische Struktur, deren Wesensmerkmal die Forderung ist, dass Links- und Rechtsdivision immer eindeutige Lösungen besitzen; sie vermittelt zwischen einfachem Magma und Gruppe und ist zentral in der Kombinatorik.