自由左分配代数的一个带余除法
A division Algorithm for the Free Left Distributive Algebra
摘要：
证明了R. Laver，On the left distributed law and the freeness of an algebra of初等嵌入，Advances in Mathematics 91（1992），209-231，对于满足左分配律$a(bc) = (ab)(ac)$的生成元$x$上的自由代数$\Cal A$，通过证明$\Cal A$的成员可以被放入一个“除法形式”来扩展. "
英文摘要：
The normal form theorem, proved in R. Laver, On the left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics 91 (1992), 209-231, for the free algebra $\Cal A$ on one generator $x$ satisfying the left distributive law $a(bc) = (ab)(ac)$ is extended by showing that members of $\Cal A$ can be put into a "division form."
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
