Equasigruppo

Un equasigruppo es un 4-tupla ordinate ${\displaystyle (Q;\ast$ ;\setminus ;/)} con ${\displaystyle \ast :Q\times Q\to Q}$, ${\displaystyle \setminus :Q\times Q\to Q}$, e ${\displaystyle /:Q\times Q\to Q}$ tal que ${\displaystyle \forall x,y\in Q}$ vale

${\displaystyle (i)\quad x\ast (x\setminus y)=y}$,

${\displaystyle (ii)\quad (y/x)\ast x=y}$,

${\displaystyle (iii)\quad x\setminus (x\ast y)=y}$, e

${\displaystyle (iv)\quad (y\ast x)/x=y}$.

Il es facile a monstrar que quasigruppo e equasigruppo es equivalente.

Altere nomines es equational quasigruppo e primitive quasigruppo.

Vide etiam

• Tabella de leges algebric

Ligamines externe

• Thurston, H. A.: Certain congruences on quasigroups, citate le 6 de april 2019