Finite Left-Distributive Algebras and Embedding Algebras |
| |
Authors: | Randall Dougherty Thomas Jech |
| |
Institution: | Ohio State University, Columbus, Ohio, 43210;Pennsylvania State University, University Park, Pennsylvania, 16802 |
| |
Abstract: | We consider algebras with one binary operation · and one generator (monogenic) and satisfying the left distributive lawa·(b·c)=(a·b)·(a·c). One can define a sequence of finite left-distributive algebrasAn, and then take a limit to get an infinite monogenic left-distributive algebraA∞. Results of Laver and Steel assuming a strong large cardinal axiom imply thatA∞is free; it is open whether the freeness ofA∞can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called anembedding algebra. Using this and results of the first author, we conclude that the freeness ofA∞is unprovable in primitive recursive arithmetic. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|