[论文解读] A translation of G. S. Makanin's 1966 Ph.D. thesis "On the Identity Problem for Finitely Presented Groups and Semigroups"

Carl‐Fredrik Nyberg‐Brodda|arXiv (Cornell University)|Feb 1, 2021

Geometric and Algebraic Topology参考文献 4被引用 4

一句话总结

本文通过开发德恩算法的广义版本，证明了特定一类有限生成群 $K_{2/11}$ 的恒等式问题（字问题）是可解的。利用小扩张理论及对字约化的详细分析，马卡宁证明存在一种决策程序，可判断任意给定字是否在该类群中约化为单位元，且给出了约化过程中中间字长度的界。

ABSTRACT

This is an English translation of the thesis written by G. S. Makanin for the degree of Candidate of Physical and Mathematical Sciences (equivalent to a Ph.D.), originally submitted to the Steklov Mathematical Institute in 1966. The original language is Russian. The named supervisors are A. A. Markov and S. I. Adian.

研究动机与目标

• 解决由特定小扩张条件定义的一类有限生成群 $K_{2/11}$ 的字问题。
• 建立一种算法，以确定此类群中任意字是否等于单位元。
• 分析字及其在定义关系下的约化结构，尤其关注约化过程中迹与子字的行为。
• 提供约化过程中中间字长度的显式界，确保算法终止。
• 建立小扩张理论中的基础技术，尽管缺乏现代形式化，但其影响深远。

提出的方法

• 将德恩算法推广，包括自由约化、当较长字匹配定义关系时用较短字替换，以及在重叠区域同时进行替换。
• 引入并分析字积 $\prod_{i=1}^{w} \overline{T_i} R_i T_i$ 中的“迹”概念，其中 $R_i$ 为子字，$T_i$ 为连接段。
• 应用小扩张条件以控制字在变换过程中可被约化或吸收的程度，特别关注 $\frac{17}{22}$-规则对部分吸收的控制。
• 基于最终约化字的总长度 $e$ 与最大定义关系长度 $d$，建立 $T_i$ 长度的递归界。
• 证明此类 $T_i$ 段的数量被限制在 $3e\{2 + e(d+1)^{3e}\}$ 以内，从而确保搜索空间有限。
• 推导出约化过程中任意中间字长度的最终上界为 $27e^3(d+1)^{6e}$，确保算法终止。

实验结果

研究问题

• RQ1 是否存在一种算法，可判定给定字在 $K_{2/11}$ 群中是否约化为单位元？
• RQ2 如何对这类群中字的约化过程进行有界控制，以确保算法终止？
• RQ3 小扩张条件对约化过程中中间字的结构与长度施加了何种约束？
• RQ4 能否以初始字长度与定义关系长度为参数，有效界定约化序列中字的长度？
• RQ5 ‘迹’与‘约化段’在控制这些群中字问题复杂度方面起什么作用？

主要发现

• 所有 $K_{2/11}$ 群的恒等式问题均可判定，这是通过基于广义德恩约化的终止算法构造而证明的。
• 在 $K_{2/11}$ 群中，若任意字 $Q$ 约化为单位元，则其约化路径中，形如 $\prod_{i=1}^{w} \overline{T_i} R_i T_i$ 的字长度被限制在 $27e^3(d+1)^{6e}$ 以内，其中 $e$ 为最终约化字的长度，$d$ 为定义关系的最大长度。
• 此类乘积中段数 $w$ 的界为 $3e\{2 + e(d+1)^{3e}\right}$，确保算法有限且有效。
• 对于任意长度为 $e$ 的字 $Q$，其乘积 $\prod \overline{T_i} R_i T_i$ 中每个连接段 $T_j$ 的长度被限制在 $e(d+1)^{3e}$ 以内，从而控制中间表达式的增长。
• 证明依赖于对小扩张规则下，字可被邻接段吸收程度的详细分析，特别表明单个邻接段最多使某段损失 $\frac{17}{22}$ 的字母。
• 该结果表明，即使缺乏现代工具，马卡宁仍发展出一种严谨、自包含的方法，成功解决了非平凡群类中的字问题，为组合群论奠定了基础性技术。