On a locally finite variety of idempotent groupoids with arbitrarily large simple groupoids (Q802588)

The variety generated by the commutative idempotent groupoid \(M=\{1,2,3\}\) with \(1\circ 2=2\), \(1\circ 3=3\) and \(2\circ 3=1\) is proved to contain a simple groupoid of cardinality k for any cardinal number k; the variety is generated by any of these simple groupoids. It is also proved that there are exactly three essentially binary and exactly 84 essentially ternary polynomials on M.