##  [Quasigruppe](/de/node/62316) 

 Definition

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

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

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

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

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

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

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

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

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.