Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: On the enumeration of finite $L$-algebras
(Submitted on 10 Jun 2022 (v1), last revised 2 Jul 2023 (this version, v4))
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.
Submission history
From: Leandro Vendramin [view email][v1] Fri, 10 Jun 2022 09:06:03 GMT (21kb,D)
[v2] Thu, 24 Nov 2022 13:38:49 GMT (22kb,D)
[v3] Sat, 25 Feb 2023 07:57:28 GMT (22kb,D)
[v4] Sun, 2 Jul 2023 18:10:59 GMT (22kb,D)
Link back to: arXiv, form interface, contact.