Varieties of groupoids determined by short linear identities
We give an equational description of all idempotent groupoids with at most three essentially n-ary term operations.
Idempotent slim groupoids are groupoids satisfying and . We prove that the variety of idempotent slim groupoids has uncountably many subvarieties. We find a four-element, inherently nonfinitely based idempotent slim groupoid; the variety generated by this groupoid has only finitely many subvarieties. We investigate free objects in some varieties of idempotent slim groupoids determined by permutational equations.
We contrast the simple proof that a quasigroup which satisfies the Moufang identity is necessarily a loop (Moufang loop) with the remarkably involved prof that a quasigroup which satisfies the Moufang identity is likewise necessarily a Moufang loop and attempt to explain why the proofs are so different in complexity.