[論文レビュー] 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}$ 群において恒等元問題が決定可能であることを証明した。
• 恒等元に短縮される任意の語 $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}\}$ で上限づけられ、アルゴリズムが有限かつ有効であることを保証する。
• 任意の長さ $e$ の語 $Q$ に対して、積 $\prod \overline{T_i} R_i T_i$ 内の各接続セグメント $T_j$ の長さは $e(d+1)^{3e}$ で上限づけられ、中間表現の成長が制御される。
• 証明は、小拡散規則の下で、語の一部が隣接セグメントにどれだけ吸収されるかを詳細に分析しており、特に、あるセグメントが1つの隣接セグメントから最大 $\frac{17}{22}$ の文字を失うことはない、と示している。
• この結果は、現代の道具が存在しない中でも、マカニンが非自明な群のクラスにおける語問題を解くために、厳密で自己完結的な方法を構築したことを示しており、組合せ的群論における基礎的技術を確立した。