[论文解读] A division Algorithm for the Free Left Distributive Algebra

Richard Laver|arXiv (Cornell University)|Apr 13, 1992

Geometric and Algebraic Topology参考文献 3被引用 15

一句话总结

本文通过在包含复合运算的更大代数 ${\cal P}$ 中扩展正规形式，提出了一种自由左分配代数（FLDA）的除法算法。关键贡献在于证明了 ${\cal P}$ 中每个元素均存在唯一的“p-除法形式”表示，从而实现了字问题的可判定性，并通过左字典序建立了线性序，所有结果均在 ZFC 公理系统下成立，无需大基数假设。

ABSTRACT

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."

研究动机与目标

• 将自由左分配代数（FLDA）的正规形式定理扩展至包含复合运算的更大代数 ${\cal P}$ 中的除法算法。
• 证明对于任意固定的 $p \in {\cal P}$，${\cal P}$ 中每个元素均存在唯一的“p-除法形式”表示，从而实现算法化操作。
• 证明左字典序 $<_{L}$ 是 ${\cal P}$ 和 ${\cal A}$ 上的全序，且与严格序 $<$ 一致，从而在 ZFC 中确立基础的序理论性质。
• 通过新引入的除法形式与正规形式技术，证明 ${\cal A}$ 和 ${\cal P}$ 的字问题具有可判定性。
• 通过证明关键结果（如 $<_{L}$ 的非自反性与线性性）在 ZFC 中可证，从而消除对大基数公理（如 $n$-huge 卡尔迪纳尔）的依赖，建立在 Dehornoy 独立的 ZFC 证明基础上。

提出的方法

• 定义一个更大的代数 ${\cal P}$，由单个元素 $x$ 在乘法 $\cdot$ 和复合 $\circ$ 运算下生成，满足左分配律的保守扩展 $\sum$。
• 引入 ${\cal P}$ 中元素的“p-除法形式”概念，其中项 $w$ 表示为 $p \cdot a_0 \cdots a_{n-1} \ast a_n$，其中每个 $a_i$ 均为 $p$-除法形式，且满足预正规性条件。
• 利用 $p$-除法形式上的字典序 $<_{\text{Lex}}$ 定义唯一表示系统，确保唯一性与可计算性。
• 通过归纳法与辅助引理（引理 5–7）证明 $|w|^{pq}$ 与 $|w|^p$ 的存在性，依赖于 $<_{L}$ 的预正规性与序性质。
• 利用 $<_{L}$ 在 ${\cal P}$ 和 ${\cal A}$ 上为线性序这一事实——该结论由 Dehornoy 在 ZFC 中确立——以确保重写规则的并归性与可判定性。
• 递归应用 $p$-正规形式（$p$-NF）构造，利用 $|w|_p$ 将元素唯一表示为迭代 $p^{(i)}$ 与更小元素的组合，将 [5] 中的结果从 ${\cal A}$ 扩展至 ${\cal P}$。

实验结果

研究问题

• RQ1 自由左分配代数中的每个元素是否都能相对于固定生成元 $p$ 唯一表示为“除法形式”？
• RQ2 ${\cal P}$ 上的左字典序 $<_{L}$ 是否与严格序 $<$ 一致？它在 ZFC 中是否为线性且良基的？
• RQ3 ${\cal A}$ 与 ${\cal P}$ 的字问题是否可判定？这一结论能否在无需大基数假设的前提下建立？
• RQ4 ${\cal P}$ 中的正规形式与除法形式构造是否可从 ${\cal A}$ 扩展至整个代数 ${\cal P}$，同时保持唯一性与可计算性？
• RQ5 迭代复合 $p^{(n)}$ 与序结构 $<_{L}$ 之间存在何种关系？它如何支持除法形式的存在性？

主要发现

• 对于任意 $p \in {\cal P}$，每个元素 $w \in {\cal P}$ 均存在唯一的 $p$-除法形式表示，确保了典范正规形式的存在。
• 左字典序 $<_{L}$ 是 ${\cal P}$ 与 ${\cal A}$ 上的全序，且与严格序 $<$ 一致，其序类型为 $\omega \cdot (1 + \eta)$。
• ${\cal A}$ 与 ${\cal P}$ 的字问题具有可判定性，因为唯一正规形式与除法形式的存在性使得有效比较与重写成为可能。
• ${\cal A}$ 的重写系统具有并归性，即任意从同一项出发的两条推导路径最终会收敛至同一正规形式。
• 对于所有 $p, w \in {\cal P}$，$|w|^p$（即 $w$ 的 $p$-正规形式）的存在性得到保证，将 ${\cal A}$ 上的正规形式定理扩展至 ${\cal P}$。
• 所有结果均可在 ZFC 中证明，消除了对大基数公理（如 $n$-huge 卡尔迪纳尔的存在性）的依赖，这些公理曾被用于证明 $<_{L}$ 的非自反性。