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.

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