A386231 -id:A386231 - cp's OEIS frontend

A181770 Number of isomorphism classes of racks of order n.

Original entry on oeis.org

1, 1, 2, 6, 19, 74, 353, 2080, 16023, 159526, 2093244, 36265070, 836395102, 25794670618

Offset: 0

James McCarron

Also the number of isomorphism classes of Legendrian racks of order n; see Ta, "Good involutions...," Theorem 10.1.

Also the number of isomorphism classes of GL-quandles of order n; see Ta, "Classification and...," Theorem 5.6.

Přemysl Jedlička, Agata Pilitowska, and Anna Zamojska-Dzienio, Multipermutation set theoretic solutions of the Yang-Baxter equation of level 2, arXiv:1901.01471 [math.QA], 2019.
Sam Nelson, Quandles and Racks
Lực Ta, Good involutions of conjugation subquandles, arXiv:2505.08090 [math.GT], 2025.
Lực Ta, Classification and structure of generalized Legendrian racks, 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), 2523-2540; arXiv:1911.04991 [math.QA], 2019.

Cf. A181769, A383144-A383146, A383828-A383831, A385040, A385041, A386231-A386234.

a(9)-a(13) from Petr Vojtěchovský and Seung Yeop Yang added by Andrey Zabolotskiy, Jun 15 2022

A386233 Number of good involutions of all nontrivial conjugation quandles of order A060652(n).

Original entry on oeis.org

1, 32, 1, 17, 1, 13056, 66, 33, 1, 1

Offset: 1

Luc Ta, Jul 16 2025

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.

			For n = 1, 3, 5, 9, 10, there is a unique nonabelian group G of order A060652(n), and G is centerless. It follows from Ta, Prop. 5.3 that a(n) = 1.

Seiichi Kamada, Quandles with good involutions, their homologies and knot invariants, Intelligence of Low Dimensional Topology 2006, World Scientific Publishing Co. Pte. Ltd., 2007, 101-108.

Lực Ta, Good involutions of conjugation subquandles, arXiv:2505.08090 [math.GT], 2025. See Table 2.
Lực Ta, Symmetric-Rack-Classification, GitHub, 2025.

Cf. A000001, A060652, A060689, A386233, A181769, A383828, A386231, A386232.

Other sequences related to racks and quandles: A383144, A181771, A176077, A179010, A193024, A254434, A177886, A196111, A226173, A236146, A248908, A165200, A242044, A226193, A242275, A243931, A257351, A198147, A225744, A226172, A226174, A383828-A383831, A383145, A383146, A178432, A385041, A383145, A181770.

GAP
```
See Ta, GitHub link
```

A386232 Number of symmetric quandles of order n, up to isomorphism.

Original entry on oeis.org

1, 1, 2, 5, 13, 44, 187, 937, 6459

Offset: 0

Luc Ta, Jul 16 2025

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.

Seiichi Kamada, Quandles with good involutions, their homologies and knot invariants, Intelligence of Low Dimensional Topology 2006, World Scientific Publishing Co. Pte. Ltd., 2007, 101-108.

Lực Ta, Good involutions of conjugation subquandles, arXiv:2505.08090 [math.GT], 2025. See Table 1.
Lực Ta, Symmetric-Rack-Classification, GitHub, 2025.

Cf. A386231, A181769, A383828, A386233, A386234.

Other sequences related to racks and quandles: A383144, A181771, A176077, A179010, A193024, A254434, A177886, A196111, A226173, A236146, A248908, A165200, A242044, A226193, A242275, A243931, A257351, A198147, A225744, A226172, A226174, A383828-A383831, A383145, A383146, A178432, A385041, A383145, A181770.

GAP
```
See Ta, GitHub link
```

A386234 Number of good involutions of all nontrivial core quandles of order n.

Original entry on oeis.org

1, 4, 1, 3, 1, 72, 2, 3, 1, 31, 1, 3, 1, 10856, 1, 7, 1, 47, 2, 3, 1

Offset: 3

Luc Ta, Jul 21 2025

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.

			For n = 4 the only nontrivial core quandle is the dihedral quandle R4 = Core(Z/4Z) of order 4. It is well-known (see Thm. 3.2 of Kamada and Oshiro) that R4 has exactly four good involutions. Hence a(4) = 4.
For n = 6 the only nontrivial core quandles are Core(S3) and R6 = Core(Z/6Z), which have one and two good involutions, respectively. Hence a(6) = 3.

Seiichi Kamada, Quandles with good involutions, their homologies and knot invariants, Intelligence of Low Dimensional Topology 2006, World Scientific Publishing Co. Pte. Ltd., 2007, 101-108.

Seiichi Kamada and Kanako Oshiro, Homology groups of symmetric quandles and cocycle invariants of links and surface-links, Trans. Amer. Math. Soc., 362 (2010), no. 10, 5501-5527.
Lực Ta, Good involutions of conjugation subquandles, arXiv:2505.08090 [math.GT], 2025. See Table 3.
Lực Ta, Symmetric-Rack-Classification, GitHub, 2025.
Index entries for sequences related to quandles and racks

Cf. A000001, A386233, A181770, A178432, A386231, A386232.

GAP
```
See Ta, GitHub link
```

Let n > 2. Then Ta, Cor. 7.17 implies the following. If n appears in A000040 or A050384, then a(n) = 1. If n appears in A221048, then a(n) = 2. If n > 4 and n appears in A100484, then a(n) = 3.

cp's OEIS Frontend

A181770 Number of isomorphism classes of racks of order n.

Views

Author

Keywords

Comments

Links

Crossrefs

Extensions

A386233 Number of good involutions of all nontrivial conjugation quandles of order A060652(n).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

A386232 Number of symmetric quandles of order n, up to isomorphism.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

GAP

A386234 Number of good involutions of all nontrivial core quandles of order n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Formula