On the enumeration of finite L-algebras

DOI10.1090/MCOM/3814arXiv2206.04955MaRDI QIDQ6401665FDOQ6401665

Authors: Charles Dietzel, Paula Menchón, Lucas Vendramin 

Publication date: 10 June 2022

Abstract: We use Constraint Satisfaction Methods to construct and enumerate finite $L$-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 $L$-algebras of size eight. The database constructed suggest the existence of bijections between certain classes of $L$-algebras and well-known combinatorial objects. On the one hand, we prove that Bell numbers enumerate isomorphism classes of finite linear $L$-algebras. On the other hand, we also prove that finite regular $L$-algebras are in bijective correspondence with infinite-dimensional Young diagrams.

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Ordered groups (06F15)

This page was built for publication: On the enumeration of finite $L$-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6401665)