Abstract
Left distributive algebras arise in the study of classical structures such as groups, knots, and braids, as well as more exotic objects like large cardinals. A long-standing open question is whether the set of left divisors of every term in the free left distributive algebra on any number of generators is well-ordered. A conjecture of J. Moody describes a halting condition for descending sequences of left divisors in the free left distributive algebra on an arbitrary number of generators. In this paper we present progress toward an affirmative answer to the open question mentioned above, namely we prove that the many generator form of Moody’s conjecture holds if each member of the free left distributive algebra has a “division form” representation in an expanded algebra.
Similar content being viewed by others
References
Brieskorn, E.: Automorphic sets and braids and singularities. In: Braids. Contemporary Math, vol. 78. American Mathematical Society, Providence (1988)
Dehornoy P.: Free distributive groupiods. J. Pure Appl. Algebra 61, 123–146 (1989)
Dehornoy, P.: Sur la structure des gerbes libres. C. R. Acad. Sci. Paris 309, 143–148 (1989)
Dehornoy P.: The adjoint representation of left-distributive structures. Commun. Algebra 20(4), 1201–1215 (1992)
Dehornoy P.: Braid groups and left distributive operations. Trans. Am. Math. Soc. 345, 115–150 (1994)
Dehornoy P.: A normal form for the free left distributive law. Int. J. Algebra Comput. 4(4), 499–528 (1994)
Dehornoy P.: Braids and Self-distributivity, Progress in Mathematics, vol. 192. Birkhäuser, Boston (2000)
Dougherty R., Jech T.: Finite left-distributive algebras and embedding algebras. Adv. Math. 130, 201–241 (1997)
Gaifman H.: Elementary embeddings of models of set theory and certain subtheories. Proc. Symp. Pure Math. 13, 122–155 (1974)
Joyce D.: A classifying invarint of knots: the knot quandle. J. Pure Appl. Algebra 23, 37–65 (1982)
Kanamori A., Reinhardt W., Solovay R.: Strong axioms of infinity and elementary embeddings. Ann. Math. Log. 13, 73–116 (1978)
Larue D.: Braid words and irreflexivity. Algebra Univers. 31, 104–112 (1994)
Laure, D.: Left-distributive and left-distributive idempotent algebras. Ph.D. thesis, University of Colorado, Boulder (1994)
Laver R.: The left-distributive law and the freeness of an algebra of elementary embeddings. Adv. Math. 91, 209–231 (1992)
Laver, R.: A division algorithm for the free left distributive algebra. In: Oikkonen, J., et al. (eds.) Lecture Notes in Logic: Logic Colloquim’90 (1993)
Laver R: Braid group actions on left distributive structures and well-orderings in the braid groups. J. Pure Appl. Algebra 108, 81–98 (1996)
Laver R., Miller S.K.: Left division in the free left distributive algebra on one generator. J. Pure Appl. Algebra 215(3), 276–282 (2011)
Laver R., Miller S.K.: The free one-generated left distributive algebra: basics and a simplified proof. Cent. Eur. J. Math. 11(12), 2150–2175 (2013)
Miller, S.K.: Free left distributive algebras. Ph.D. thesis, University of Colorado, Boulder (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author thanks the referee for the many helpful comments and suggestions which resulted in substantial improvement of the manuscript. The author also thanks Hugh Denoncourt and Allen Mann for their careful reading of the introduction; their feedback resulted in several refinements. The author gratefully acknowledges support from a PSC-CUNY grant.
Rights and permissions
About this article
Cite this article
Miller, S.K. Left division in the free left distributive algebra on many generators. Arch. Math. Logic 55, 177–205 (2016). https://doi.org/10.1007/s00153-015-0464-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0464-5