English

On the enumeration of finite $L$-algebras

Logic 2023-07-04 v4 Combinatorics Rings and Algebras

Abstract

We use Constraint Satisfaction Methods to construct and enumerate finite LL-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the combinatorial Yang-Baxter equation. There are 377322225 isomorphism classes of LL-algebras of size eight. The database constructed suggest the existence of bijections between certain classes of LL-algebras and well-known combinatorial objects. On the one hand, we prove that Bell numbers enumerate isomorphism classes of finite linear LL-algebras. On the other hand, we also prove that finite regular LL-algebras are in bijective correspondence with infinite-dimensional Young diagrams.

Keywords

Cite

@article{arxiv.2206.04955,
  title  = {On the enumeration of finite $L$-algebras},
  author = {C. Dietzel and P. Menchón and L. Vendramin},
  journal= {arXiv preprint arXiv:2206.04955},
  year   = {2023}
}

Comments

17 pages, 3 tables, 2 figures. Postprint version