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.

Showing 1-4 of 4 results.

A058129 Number of nonisomorphic monoids (semigroups with identity) of order n.

Original entry on oeis.org

0, 1, 2, 7, 35, 228, 2237, 31559, 1668997, 3685886630
Offset: 0

Views

Author

Christian G. Bower, Nov 13 2000

Keywords

Crossrefs

Cf. A027851 (number of all nonisomorphic semigroups).

Formula

a(n) = 2*A058133(n) - A058132(n).
a(n) < A027851(n) except for equality iff n = 1. - M. F. Hasler, Dec 10 2018
From Elijah Beregovsky, May 13 2025 (Start):
a(n) >= A027851(n-1).
Conjecture: a(n) = A027851(n-1)*(1+o(1)). See Koubek and Rödl paper in the Links.
Conjecture: a(n) = A058153(n)/n! * (1+o(1)). See Grillet paper in the Links. (End)

Extensions

a(8) from Christian G. Bower, Dec 26 2006
a(0) = 0 prepended by M. F. Hasler, Dec 10 2018
a(9) from Elijah Beregovsky, from the work of G. Cruttwell and R. Leblanc, May 12 2025

A058133 Number of monoids (semigroups with identity) of order n, considered to be equivalent when they are isomorphic or anti-isomorphic (by reversal of the operator).

Original entry on oeis.org

0, 1, 2, 6, 27, 156, 1373, 17730, 858977, 1844075697, 52991253973742
Offset: 0

Views

Author

Christian G. Bower, Nov 13 2000

Keywords

Crossrefs

Formula

a(n)=(A058129(n)+A058132(n))/2.

Extensions

a(8) and a(9) from Distler & Kelsey (2008), added by N. J. A. Sloane, Jul 10 2009
a(10) from Distler & Kelsey (2009), added by Max Alekseyev, Jul 13 2009
a(0) prepended by Jianing Song, Oct 26 2019

A058144 Triangle: Self-converse monoids of order n with k idempotents.

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 2, 9, 6, 2, 1, 28, 31, 18, 6, 2, 131, 160, 132, 65, 19, 1, 1081, 947, 917, 612, 275, 68, 5
Offset: 1

Views

Author

Christian G. Bower, Nov 14 2000

Keywords

Examples

			1; 1,1; 1,3,1; 2,9,6,2; 1,28,31,18,6; ...
		

Crossrefs

Row sums give A058132. Main diagonal: A058122(n-1). Columns 1-3: A000001, A058145, A058146.

A118601 Partial sums of A058129.

Original entry on oeis.org

1, 3, 10, 45, 273, 2510, 34069, 1703066
Offset: 1

Views

Author

Jonathan Vos Post, May 08 2006

Keywords

Crossrefs

Formula

a(n) = SUM[i=1..n] A058129(i). a(n) = SUM[i=1..n] (2*A058133(i) - A058132(i)).

Extensions

One more term from Jonathan Vos Post, Jul 20 2009
Edited by N. J. A. Sloane, Jul 25 2009
Showing 1-4 of 4 results.