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 $\mathrm{\forall }x,y\in Q$ vale

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

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

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

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