{"title":"The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm","authors":"R. Laver, Sheila K. Miller","doi":"10.2478/s11533-013-0290-0","DOIUrl":null,"url":null,"abstract":"The 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.","PeriodicalId":50988,"journal":{"name":"Central European Journal of Mathematics","volume":"17 1","pages":"2150-2175"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Central European Journal of Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2478/s11533-013-0290-0","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9
Abstract
The 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
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
