A079208 Number of isomorphism classes of associative non-commutative non-anti-associative anti-commutative closed binary operations on a set of order n, listed by class size.

0, 0, 2, 0, 2, 0, 0, 0, 2, 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset

0,3

Comments

Elements per row: 1,1,2,4,8,16,30,... (given by A027423, number of positive divisors of n!)

The only closed binary operations that are both commutative and anti-commutative are those on sets of size <= 1. The significance of non-commutative (and non-anti-associative) in the name is that it excludes this possibility. Otherwise, the first two terms would be 1. - Andrew Howroyd, Jan 26 2022

Links

Andrew Howroyd, Table of n, a(n) for n = 0..217 (rows 0..8)

C. van den Bosch, Closed binary operations on small sets

Index entries for sequences related to semigroups

Formula

A079202(n,k) + A079203(n,k) + A079204(n,k) + A079205(n,k) + A079197(n,k) + A079207(n,k) + T(n,k) + A079201(n,k) = A079171(n,k).

A079242(n,k) = Sum_{k>=1} T(n,k)*A079210(n,k).

Example

Triangle T(n,k) begins:
  0;
  0;
  2, 0;
  2, 0, 0, 0;
  2, 0, 0, 0, 1, 0, 0, 0;
  2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0;
  ...

Crossrefs

Row sums give A079243.

Cf. A027423 (row lengths), A079171, A079201, A079202, A079203, A079204, A079205, A079197, A079207, A079209, A079242.

Sequence in context: A193526 A160498 A089800 * A262682 A318983 A318982

Adjacent sequences: A079205 A079206 A079207 * A079209 A079210 A079211

Keyword

nonn,tabf

Author

Christian van den Bosch (cjb(AT)cjb.ie), Jan 03 2003

Extensions

a(0)=0 prepended and terms a(16) and beyond from Andrew Howroyd, Jan 26 2022

Status

approved