Quasigroep

In de abstracte algebra, een onderdeel van de wiskunde, is een quasigroep een algebraïsche structuur die lijkt op een groep in de zin dat delen altijd mogelijk is. Quasigroepen verschillen vooral van groepen in de zin dat quasigroepen niet associatief hoeven te zijn. Een quasigroep met een identiteits-element wordt een lus genoemd.

Een quasigroep is per definitie een magma $(Q,*)$, dat wil zeggen een tweetal dat uit een niet-lege verzameling $Q$ bestaat, uitgerust met een binaire operatie $*$, met de eigenschap dat er voor alle $a,b\in Q$ unieke elementen $x,y\in Q$ bestaan, zodat:

$a*x=y*a=b.$

De unieke oplossingen voor deze vergelijkingen worden geschreven als

$x=a\!\setminus \!b$ en $y=b/a$.

De symbolen \ en / geven respectievelijk de gedefinieerde binaire operaties van links- en rechtsdeling aan.

In een quasigroep geldt dat

$a*c=b*c\Rightarrow a=b$ en dat

$c*a=c*b\Rightarrow a=b$

Websites

• (en) The algebraic connections