Author:
Laver Richard,Miller Sheila
Abstract
AbstractThe left distributive law is the law a· (b· c) = (a·b) · (a· c). Left distributive algebras have been classically used in the study of knots and braids, and more recently free left distributive algebras have been studied in connection with large cardinal axioms in set theory. We provide a survey of results on the free left distributive algebra on one generator, A, and a new, simplified proof of the existence of a normal form for terms in A. Topics included are: the confluence of A, the linearity of the iterated left division ordering <L of A, the connections of A to the braid groups, and an extension P of A obtained by freely adding a composition operation. This is followed by a simplified proof of the division algorithm for P, which produces a normal form for terms in A and is a powerful tool in the study of A.
Reference20 articles.
1. Artin E., Theorie der Zöpfe, Abh. Math. Sem. Univ. Hamburg, 1925, 4(1), 47–72
2. Ann. of Math. Stud.;JS Birman,1974
3. Contemp. Math.;E Brieskorn,1988
4. Burckel S., The wellordering on positive braids, J. Pure Appl. Algebra, 1997, 120(1), 1–17
5. Dehornoy P., Braid groups and left distributive operations, Trans. Amer. Math. Soc., 1994, 345(1), 115–150
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT;Journal of the Australian Mathematical Society;2019-10-30
2. Some aspects of the SD-world;Nonassociative Mathematics and its
Applications;2019
3. Implications of very large cardinals;Foundations of Mathematics;2017
4. Laver and set theory;Archive for Mathematical Logic;2016-01-18
5. Left division in the free left distributive algebra on many generators;Archive for Mathematical Logic;2015-12-29