cp's OEIS Frontend

A linear quandle is a pair (Z/nZ, k) where k is a unit in Z/nZ, viewed as an Alexander quandle under the operation a(b) := ka + (1-k)b. A linear quandle is trivial if and only if k = 1.

A good involution f of a quandle Q is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). The pair (Q,f) is called a symmetric quandle.

A good involution f of a quandle Q is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). We call the pair (Q,f) a symmetric quandle. A symmetric quandle isomorphism is a quandle isomorphism that intertwines good involutions.

A core quandle Core(G) is a group G viewed as a kei (i.e., involutory quandle) under the operation g(h) = g*h^-1*g. Note that Core(G) is nontrivial if and only if exp(G) > 2.

A good involution f of a quandle Q is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). We call the pair (Q,f) a symmetric quandle.

A conjugation quandle is a group viewed as a quandle under the conjugation operation. Since conjugation quandles of abelian groups are trivial, this sequence only considers nonabelian groups.

A good involution f of a quandle Q is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). We call the pair (Q,f) a symmetric quandle. A symmetric quandle isomorphism is a quandle isomorphism that intertwines good involutions.

A good involution f of a rack R is an involution that commutes with all inner automorphisms and satisfies the identity f(y)(x) = y^-1(x). We call the pair (R,f) a symmetric rack. A symmetric rack isomorphism is a rack isomorphism that intertwines good involutions.

A virtual rack is a rack equipped with a distinguished rack automorphism. Two virtual racks (R1,f1), (R2,f2) are isomorphic if there exists a rack isomorphism g: R1 -> R2 such that g*f1 = f2*g.

A virtual quandle is a quandle equipped with a distinguished quandle automorphism. Two virtual quandles (Q1,f1), (Q2,f2) are isomorphic if there exists a quandle isomorphism g: Q1 -> Q2 such that g*f1 = f2*g.

A rack or quandle is medial if it satisfies the identity (xy)(uv) = (xu)(yv).

A Legendrian quandle is a pair (X,u) where X is a quandle and u is an involutory automorphism of X such that u(yx)=y(u(x)); see Ta, "Generalized Legendrian...," Corollary 3.13.

a(n) is also the number of medial racks X such that the kink map X -> X defined by x -> x(x) is an involution; see Ta, "Equivalences of...," Theorem 1.1.

A rack is involutory if it satisfies the identity y(yx) = x. In particular, involutory quandles are called kei.

a(n) is also the number of Legendrian kei (i.e., kei equipped with Legendrian structures) up to order n up to isomorphism; see Ta, Theorem 1.1.

a(n) is also the number of symmetric kei (i.e., kei equipped with good involutions) up to order n up to isomorphism; see Ta, "Equivalences of...," Corollary 1.3.

A rack is involutory if it satisfies the identity y(yx) = x. In particular, involutory quandles are called kei.

A rack is medial if it satisfies the identity (xy)(uv) = (xu)(yv).

a(n) is also the number of medial Legendrian kei (i.e., medial kei equipped with Legendrian structures) up to order n up to isomorphism; see Ta, Theorem 1.1.

a(n) is also the number of medial symmetric kei (i.e., medial kei equipped with good involutions) up to order n up to isomorphism; see Ta, "Equivalences of...," Corollary 1.3.