[論文レビュー] A modified proof for Higman's embedding theorem

Vahagn H. Mikaelian|arXiv (Cornell University)|Aug 27, 2019

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

ひとこと要約

本稿は、Higmanの埋め込み定理の洗練された、よりアクセスしやすい証明を提示する。有限生成群が有限表示群に埋め込まれるための必要十分条件は、それが再帰的に提示可能であることであることを示している。自由群における良性部分群を用いた語組み合わせ論とネストされたHNN拡張を用いることで、再帰的関係の特徴付けを簡略化し、元の証明を短縮するとともに、再帰的群を有限表示群に明示的かつ構成的に埋め込むことが可能になる。

ABSTRACT

We suggest a modified and briefer version for the proof of Higman's embedding theorem stating that a finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented. In particular, we shorten the main part of original proof establishing characterization of recursive relations in terms of benign subgroups in free groups. Also, some technical lemmas on homomorphisms are replaced by simple combinatorial observations on words in free constructions.

研究の動機と目的

• Higmanの埋め込み定理の証明を大幅に短縮し、論理的構造を保ちつつ元の証明の複雑さを低減すること。
• 自由群における良性部分群を用いた関数の再帰的可算集合の特徴付けを簡略化すること。
• 埋め込み構成を明示的かつ具体的な群埋め込み（例：ℚを有限表示群に）に適応可能にするようにすること。
• Higmanの元の証明における複雑な群論的補題を、基本的な語組み合わせ論と正規形解析に置き換えること。
• 概念的枠組みをHigmanのオリジナルのものと同一に保ちつつ、構造化された例と段階的正規形削減により、証明の明確さと構成性を向上させること。

提案手法

• 自由群 $\langle b,c\rangle$ 上の3重ネストされたHNN拡張により群 $\Omega'$ を構成し、要素に一意なネストされた正規形を可能にする。
• Higmanの作用 $\omega_m$ が再帰的集合に与える影響をモデル化するため、部分群 $W_{\mathcal{B}} = \langle g_f, a, r \mid f \in \mathcal{B} \rangle$ を用いる。
• 語組み合わせ論を用いて、$W_{\mathcal{B}}$ の要素が $\langle a,b,c\rangle$ に還元される条件を分析し、共役関係 $a^{g_f} = a^{b_f}$ に依存する。
• 正規形解析を用いて、$w \in W_{\mathcal{B}}$ が $\langle a,b,c\rangle$ に属する条件を特定し、$r$ のべきがゼロであるときに限り $w$ が $A_{\omega_m \mathcal{B}}$ に属することを示す。
• 補題3.2および系2.5を用いて、$A_{\mathcal{B}}$ が良性ならば $A_{\omega_m \mathcal{B}}$ も良性であることを示し、$\omega_m$ による閉包性を示す。
• Higmanの元の複雑なアマルガメーション積構成を、より単純で組み合わせ論的に明確なHNNに基づく枠組みに置き換える。

実験結果

リサーチクエスチョン

• RQ1 Higmanの埋め込み定理の証明は、論理的構造を保ちつつ大幅に短縮可能だろうか？
• RQ2 良性部分群のHigmanの作用 $\omega_m$ による閉包性は、複雑な群のアマルガメーションに頼らず、基本的な語組み合わせ論によって導出可能だろうか？
• RQ3 埋め込みプロセスは構成的かつ明示的であり得るだろうか？これにより、例として $\mathbb{Q}$ のような再帰的群を有限表示群に具体的に埋め込むことが可能になるだろうか？
• RQ4 元の証明が高度な補題に依存する程度を、直接的な正規形解析と単純な準同型の議論に置き換えることはどの程度可能だろうか？
• RQ5 3重ネストされたHNN拡張構成は、$A_{\mathcal{B}}$ が良性であるとき $A_{\omega_m \mathcal{B}}$ が良性であることを示すより透明で検証可能な道筋を提供するだろうか？

主な発見

• 本稿は定理1.2の短い証明を提供し、集合 $\mathcal{B} \subseteq \mathcal{E}$ が再帰的可算であるための必要十分条件は、自由群 $F = \langle a,b,c \rangle$ 内の部分群 $A_{\mathcal{B}} = \langle a_f \mid f \in \mathcal{B} \rangle$ が良性であることであることを示している。
• 良性部分群のHigmanの作用 $\omega_m$ による閉包性は、HNN拡張におけるネストされた正規形の直接的で組み合わせ論的な解析により確立されており、元の複雑なアマルガメーション積構成が置き換えられている。
• 構成により $A_{\omega_m \mathcal{B}} \leq W_{\mathcal{B}} \cap \langle a,b,c \rangle$ が保証され、$w \in \langle a,b,c \rangle$ となるのは、その正規形における $r$ のべきがゼロであるときのみであり、これは $A_{\omega_m \mathcal{B}}$ への属する条件を特徴づけている。
• この方法により、再帰的群を有限表示群に明示的に埋め込むことが可能であり、後続の研究で $\mathbb{Q}$ に対するこのような埋め込みの構成が示されている。
• Higmanの複雑な補題（例：補題3.8–3.10）は、基本的な語組み合わせ論と共役関係の直接的検証に置き換えられており、証明の複雑さが著しく低下している。
• 3重ネストされたHNN拡張により構成された部分群 $\Omega'$ は、定義関係の完全なリストを提供し、一意な正規形を保証しており、部分群の属するか否かの判定が決定可能かつ透明である。