Abstract
We construct a family \(\fancyscript{F}\), indexed by five integer parameters, of finite monogenerated left-distributive (LD) groupoids with the property that every finite monogenerated LD groupoid is a quotient of a member of \(\fancyscript{F}\). The combinatorial abundance of finite monogenerated LD groupoids is encoded in the congruence lattices of the groupoids \(\fancyscript{F}\), which we show to be extremely large.
Similar content being viewed by others
References
Bergman C.: Universal Algebra: Fundamentals and Selected Topics. Chapman and Hall, London (2011)
Burris S., Sankappanavar H.P.: A Course in Universal Algebra. No. 78 in Graduate Texts in Mathematics. Springer, Berlin (1981)
Dehornoy P.: Braids and Self-Distributivity. Birkhäuser, Berlin (2000)
Dougherty R., Jech T.: Finite left-distributive algebras and embedding algebras. Adv. Math. 130, 201–241 (1997)
Drápal A.: Finite left distributive groupoids with one generator. Int. J. Algebra Comput. 7(6), 723–748 (1997)
A. , A. : Monogenerated LD-groupoids and their defining relations. Discuss. Math. Algebra Stoch. Methods 19, 113–128 (1999)
Freese R., Mckenzie R.: Commutator Theory for Congruence Modular Varieties. Cambridge University Press, Cambridge (1987)
Harper L.: Stirling behavior is asymptotically normal. Ann. Math. Stat. 38, 410–414 (1967)
Laver R.: On the algebra of elementary embeddings of a rank into itself. Adv. Math. 110, 334–346 (1995)
Laver R., Miller S.: Left division in the free left distributive algebra on one generator. J. Pure Appl. Algebra 215, 276–282 (2010)
McKenzie R., McNulty G., Taylor W.: Algebras, Lattices, Varieties, vol. 1. Wadsworth & Brooks/Cole, Pacific Grove (1987)
Moore, J.: Notes on the amenability problem for Thompson’s F and the Laver tables (unpublished) (2010)
Sesboüé A.: Finite monogenic distributive algebras. Czech. Math. J. 46, 697–719 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Portions of the research for this paper were completed on a fellowship at the Fields Institute, Toronto, ON, Canada.
Rights and permissions
About this article
Cite this article
Smedberg, M. A dense family of well-behaved finite monogenerated left-distributive groupoids. Arch. Math. Logic 52, 377–402 (2013). https://doi.org/10.1007/s00153-012-0320-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0320-9