Definition:Quasigroup
From ProofWiki
Definition
A quasigroup is a magma $\left({S, \circ}\right)$ such that $\forall a \in S$, the left and right regular representations $\lambda_a$ and $\rho_a$ are permutations on $S$.
Sources
- Seth Warner: Modern Algebra (1965)... (previous)... (next): Exercise $7.8$
