OFFSET
1,3
COMMENTS
Both names "abelian" and "medial" refer to the identity (xy)(uv)=(xu)(yv). A quandle is called 2-reductive if all orbits are projection quandles. A (left) quandle is involutory (aka symmetric, kei) if all (left) translations have order at most 2, i.e., x(xy)=y is satisfied.
LINKS
P. Jedlička, A. Pilitowska, D. Stanovský, A. Zamojska-Dzienio, The structure of medial quandles, arXiv:1409.8396 [math.GR], 2014.
David Stanovský, Calculating with quandles GAP code to calculate the numbers.
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
David Stanovsky, Oct 01 2014
STATUS
approved