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-8 of 8 results.

A163144 Partial sums of A058133.

Original entry on oeis.org

1, 3, 9, 36, 192, 1565, 19295, 878272, 1844953969, 52993098927711
Offset: 1

Views

Author

Jonathan Vos Post, Jul 21 2009

Keywords

Comments

3 and 1844953969 are prime.

Crossrefs

Extensions

Edited (but not checked) by N. J. A. Sloane, Jul 25 2009

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

A058132 Number of self-converse monoids (semigroups with identity) of order n.

Original entry on oeis.org

0, 1, 2, 5, 19, 84, 509, 3901, 48957
Offset: 0

Views

Author

Christian G. Bower, Nov 13 2000

Keywords

Crossrefs

Formula

a(n) = A058133(n)*2 - A058129(n).

Extensions

a(8) from Max Alekseyev, Jul 13 2009
a(0) prepended by Jianing Song, Oct 26 2019

A151823 Number of nonequivalent monoids of order n with more than one invertible element.

Original entry on oeis.org

0, 1, 2, 9, 30, 213, 1757, 22956, 955569, 1853259264
Offset: 1

Views

Author

N. J. A. Sloane, Jul 10 2009

Keywords

Comments

a(n) is also the number of nonequivalent monoids with nontrivial unit group. [From Tom Kelsey (tom(AT)cs.st-and.ac.uk), Apr 01 2010]

Crossrefs

Extensions

Definition corrected by Tom Kelsey (tom(AT)cs.st-andrews.ac.uk), Apr 01 2010
Corrected and extended by Tom Kelsey (tom(AT)cs.st-and.ac.uk), Apr 01 2010

A058147 Triangle read by rows: number of monoids of order n with k idempotents, considered to be equivalent when they are isomorphic or anti-isomorphic (by reversal of the operator).

Original entry on oeis.org

1, 1, 1, 1, 3, 2, 2, 9, 10, 6, 1, 30, 47, 52, 26, 2, 175, 283, 413, 365, 135, 1, 3333, 2139, 3630, 4597, 3155, 875, 5
Offset: 1

Views

Author

Christian G. Bower, Nov 14 2000

Keywords

Examples

			1; 1,1; 1,3,2; 2,9,10,6; 1,30,47,52,26; ...
		

Crossrefs

Row sums give A058133. Main diagonal: A002788(n-1). Columns 1-3: A000001, A058148, A058149.

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

A176142 Number of nonequivalent monoids of order n in which the action of the unit group on the maximal ideal is nontrivial.

Original entry on oeis.org

0, 0, 0, 2, 5, 58, 428, 5539, 101082, 9269715
Offset: 1

Views

Author

Andreas Distler, Apr 10 2010

Keywords

Comments

Monoids are considered to be equivalent when they are isomorphic or anti-isomorphic (by reversal of the operator).
The invertible elements form the unit group of the monoid, all remaining elements form the maximal ideal.

Crossrefs

A328746 Number of loops 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, 1, 1, 2, 5, 72, 12151, 53146457
Offset: 0

Views

Author

Jianing Song, Oct 26 2019

Keywords

Crossrefs

For the number of group-like algebraic structures of order n, see:
Semigroups: A027851 or A001423 (commutative: A001426);
Monoids: A058129 or A058133 (commutative: A058131);
Quasigroups: A057991 or A058171 (commutative: A057992);
Loops: A057771 or this sequence (commutative: A089925);
Groups: A000001 (commutative: A000688);
Rings: A027623 or A038036 (commutative: A037289);
Rings with unity: A037291;
Fields: A069513.

Formula

a(n) = (A057771(n)+A057996(n))/2.
Showing 1-8 of 8 results.