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.

A322654 Number of binary operations on an n-set that satisfy (ab)c = (ac)b for all a,b,c.

Original entry on oeis.org

1, 1, 10, 573, 136528, 115511945, 365045461056
Offset: 0

Views

Author

David Radcliffe, Dec 21 2018

Keywords

Comments

Equivalently, these are operations for which the functions induced by right multiplication commute with one another. The operations of subtraction, division, and exponentiation satisfy this identity on appropriate domains.

Crossrefs

Formula

a(n) = Sum_{k=1..n} k!*Stirling2(n,k)*c(n,k), where c(n,k) is the number of sets of k distinct functions from {1..n} to itself that are mutually commutative.