OFFSET
0,3
COMMENTS
A rack or quandle X is medial (also called abelian) if the map X x X -> X defined by (x,y) -> y(x) is a rack homomorphism. Equivalently, the identity (xy)(uv)=(xu)(yv) holds for all elements x, y, u, and v in X.
a(n) is also the number of medial Legendrian racks of order n up to isomorphism; see Ta, "Equivalences of...," Theorem 1.1.
a(n) is also the number of medial generalized Legendrian quandles (also called GL-quandles or bi-Legendrian quandles) of order n up to isomorphism; see Ta, "Generalized Legendrian...," Theorem 5.5.
LINKS
Lực Ta, Equivalences of racks, Legendrian racks, and symmetric racks, arXiv:2505.08090 [math.GT], 2025.
Lực Ta, Generalized Legendrian racks: Classification, tensors, and knot coloring invariants, arXiv:2504.12671 [math.GT], 2025.
Petr Vojtěchovský and Seung Yeop Yang, Enumeration of racks and quandles up to isomorphism, Mathematics of Computation, 88 (2019), no. 319, 2523-2540.
CROSSREFS
Sequences related to medial racks and quandles: A165200, A242044, A226193, A242275, A243931, A257351, A383146, A383829, A383831.
KEYWORD
nonn,hard,more
AUTHOR
Luc Ta, Apr 17 2025
STATUS
approved
