cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

User: James McCarron

James McCarron's wiki page.

James McCarron has authored 9 sequences.

A236146 Number of primitive quandles of order n, up to isomorphism. A quandle is primitive if its inner automorphism groups acts primitively on it.

Original entry on oeis.org

1, 0, 1, 1, 3, 0, 5, 2, 3, 1, 9, 0, 11, 1, 3, 15, 0, 17, 0, 1, 0, 21, 0, 10, 0, 8, 2, 27, 0, 29, 6, 0, 0, 0
Offset: 1

Author

James McCarron, Feb 03 2014

Keywords

Comments

Since a primitive quandle is connected, we have a(n) <= A181771(n) for all n.
Furthermore, since a primitive quandle is simple, we have a(n) <= A196111(n) for all n.

Crossrefs

Formula

For odd primes p, a(p) = p - 2.

A198147 Numbers k for which there are non-isomorphic groups of order k whose core quandles are isomorphic.

Original entry on oeis.org

27, 32, 54, 64, 81, 96, 100, 108, 125, 128, 135, 147, 160, 162, 189, 192, 200, 216, 224, 243, 250, 260, 270, 273, 288, 294, 297, 300, 320, 324, 340, 343, 351, 352, 375, 378, 399, 400, 405, 416, 432, 441, 448, 459, 480, 486, 500, 507, 513, 520, 540, 546, 567, 580, 588
Offset: 1

Author

James McCarron, Dec 21 2012

Keywords

Comments

This is a subsequence of sequence A118642.

A196111 Number of isomorphism classes of simple quandles of order n.

Original entry on oeis.org

1, 1, 1, 3, 0, 5, 2, 3, 1, 9, 1, 11, 0, 2, 3, 15, 0, 17, 2, 2, 0, 21, 1, 10, 0, 8, 2, 27, 1, 29, 6, 0, 0, 0, 3, 35, 0, 0, 2, 39, 3, 41, 0, 3, 0, 45
Offset: 2

Author

James McCarron, Oct 27 2011

Keywords

Comments

A quandle is simple if it has more than one element, and if it has no homomorphic images other than itself or the singleton quandle. Since a simple quandle with more than two elements is connected, we have a(n) <= A181771(n), for n > 2, with equality if n is prime.
Some authors consider the quandle with one element to be simple and some do not.

Examples

			a(2) = 1 since the quandle of order 2 is trivially simple (though not connected).
		

Crossrefs

See also Index to OEIS under quandles.

Programs

  • GAP
    # Using the Rig package.
    LoadPackage("rig");
    IsSimpleQuandle:=function(q)
    local g,N,gg,n;
    if IsFaithful(q) = false then return false; fi;
    g:=InnerGroup(q);;
    if Size(Center(g))>1 then return false; fi;
    N:=NormalSubgroups(g);;
    gg:=DerivedSubgroup(g);;
    for n in N do
      if Size(n) = 1 then continue; fi;
      if IsSubset(gg,n) and Size(n)a[u]); # W. Edwin Clark, Dec 06 2011

Formula

a(p) = A181771(p) = p - 2, for prime p > 2.

Extensions

a(21) corrected by W. Edwin Clark, Dec 06 2011
a(32)-a(35) added by W. Edwin Clark, Dec 06 2011
a(36)-a(47) added by W. Edwin Clark, Dec 28 2014

A180043 The number of isomorphism classes of Szasz (uniquely non-associative) groupoids of order n.

Original entry on oeis.org

0, 0, 10, 24, 2064, 39961, 1194828
Offset: 1

Author

James McCarron, Jan 14 2011

Keywords

Comments

A Szasz groupoid (S,*) is one for which there is exactly one ordered triple (a,b,c) of members of S that does not associate: (a*b)*c != a*(b*c). For any other triple (x,y,z), we have (x*y)*z = x*(y*z). Thus, a Szasz groupoid is as close to being a semigroup as possible, without actually being associative. G. Szasz proved that such groupoids exist on any set with at least four members. Every Szasz groupoid is non-commutative.

Examples

			The "smallest" Szasz groupoid of order 3 with elements {a,b,c} defines c*b = b, and the product of every other pair of elements is defined to be a. Then, (c*c)*b = a*b = b but c*(c*b) = c*b = b, but every triple other than (c,c,b) associates.
		

References

  • G. Szasz, Die Unabhangigkeit der Assoziativitatsbedingungen, Acta. Sci. Math. Szeged 15 (1953), 20-28.

A178432 Number of isomorphism classes of kei (involutory quandles) of order n.

Original entry on oeis.org

1, 1, 1, 3, 5, 13, 41, 142, 665, 4288, 36455, 436672, 6926801
Offset: 0

Author

James McCarron, Dec 21 2010

Keywords

Comments

The terms can be calculated by using the Mace4C system which is an isomorph-free model finder. - Choiwah Chow, Oct 30 2023

Crossrefs

Extensions

a(11)-a(12) from Choiwah Chow, Oct 30 2023

A181771 Number of isomorphism classes of connected quandles of order n.

Original entry on oeis.org

1, 0, 1, 1, 3, 2, 5, 3, 8, 1, 9, 10, 11, 0, 7, 9, 15, 12, 17, 10, 9, 0, 21, 42, 34, 0, 65, 13, 27, 24, 29, 17, 11, 0, 15, 73, 35, 0, 13, 33, 39, 26, 41, 9, 45, 0, 45
Offset: 1

Keywords

Comments

It is not clear whether the empty quandle is connected, so the sequence starts at order 1 instead of 0.

References

  • Hulpke, A. Personal communication, 2014.
  • Holt, D.; Royle, G. Personal communication, 2014.

Crossrefs

Programs

  • GAP
    # (using the Rig package)
    LoadPackage("rig");
    for n in [1..47] do  Display(NrSmallQuandles(n));  od;
    # Leandro Vendramin, Sep 14 2014

Extensions

Ninth term corrected by James McCarron, Dec 05 2010
More terms from Leandro Vendramin, Sep 14 2014

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

Keywords

Comments

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.

Extensions

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

A181769 Number of isomorphism classes of quandles of order n.

Original entry on oeis.org

1, 1, 1, 3, 7, 22, 73, 298, 1581, 11079, 102771, 1275419, 21101335, 469250886
Offset: 0

Keywords

Comments

Quandles up to order 8 were determined first by Sam Nelson and co-authors (see references). Nelson's results were confirmed independently by the submitter, and extended to order 9.

Extensions

a(10)-a(13) from Petr Vojtěchovský and Seung Yeop Yang added by Andrei Zabolotskii, Jun 15 2022

A165200 Number of isomorphism classes of abelian / medial quandles.

Original entry on oeis.org

1, 1, 1, 3, 6, 18, 58, 251, 1410, 10311, 98577, 1246488, 20837439, 466087635
Offset: 0

Author

James McCarron, Jan 12 2011

Keywords

Comments

A quandle is abelian / medial (both names are being used) if it satisfies the identity (XY)(UV) = (XU)(YV). Not to be confused with a commutative quandle (A179010).

Crossrefs

Cf. A179010 (commutative quandles), A242044, A242275.

Extensions

More terms from David Stanovsky, Sep 30 2014
Description edited by W. Edwin Clark, May 30 2013, and David Stanovsky, Sep 30 2014