Equasigruppo

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

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

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

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

$(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