[論文レビュー] Unsolvability of the isomorphism problem for [free abelian]-by-free groups

Gilbert Levitt|ArXiv.org|Oct 6, 2008

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

この論文は、[自由アーベル]-by-自由群において同型問題が決定不能であることを証明している。具体的には、二つの ${\mathbb{Z}}^4\rtimes F_{15}$ 群が同型であるかどうかを判定するアルゴリズムが存在しないことを示している。証明は、$F_2 \times F_2$ 内の有限生成部分群でメンバーーシップ問題が決定不能である Mihailova の構成を、$GL(4,\mathbb{Z})$ に埋め込み、同型問題を決定不能な軌道問題に還元する。

ABSTRACT

The isomorphism problem for [free abelian]-by-free groups is unsolvable.

研究の動機と目的

• $\mathbb{Z}^4$-by-自由群における同型問題の非解消性を確立すること。
• 既知の共役問題における決定不能性結果を、より広いクラスの群拡大への同型問題へと拡張すること。
• 核がランク 4 の自由アーベル群である場合でさえ、同型問題が決定不能のままであることを示すこと。
• $GL(4,\mathbb{Z})$ 内の有限生成部分群の共役性が決定不能であることを示し、同型問題と関連付けること。

提案手法

• $GL(2,\mathbb{Z}) \times GL(2,\mathbb{Z})$ からのブロック対角行列を用いて、$F_2 \times F_2$ を $GL(4,\mathbb{Z})$ に埋め込む。
• Mihailova の構成を用いて、$F_2 \times F_2$ の中でメンバーーシップ問題が決定不能な部分群 $L$ を定義する。
• 要素 $h \in F_2 \times F_2$ によって作用が定まる、半直積族 $G_h = \mathbb{Z}^4 \rtimes F_{p+1}$ を構成する。
• $G_h \cong G_1$ であることは、$h \in L$ であることと同値であることを証明し、同型問題と $L$ への属する問題を結びつける。
• $GL(4,\mathbb{Z})$ 内で $\langle L, h \rangle$ と $L$ が共役であることは、$h \in L$ であることと同値であることを示し、問題を決定不能な軌道条件に還元する。
• $\mathbb{Q}^4$ 内の $L$-不変平面の構造を用いて、$L$ を $\langle L, h \rangle$ に共役する $g$ が存在するならば、$g$ のあるべきが $F_2 \times F_2$ に属することを証明し、還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 二つの $\mathbb{Z}^4$-by-自由群が同型であるかどうかを判定するアルゴリズムは存在するか？
• RQ2 $\mathbb{Z}^4$-by-自由群における同型問題は、既知の決定不能問題に還元可能か？
• RQ3 $F_2 \times F_2$ 内のメンバーーシップ問題の非解消性は、$\mathbb{Z}^4$-by-自由群における同型問題の決定不能性を示唆するか？
• RQ4 $GL(4,\mathbb{Z})$ 内の有限生成部分群の共役性は決定可能か？ そして、群の同型問題とどのように関連するか？

主な発見

• $\mathbb{Z}^4$-by-自由群における同型問題は決定不能であり、二つのこのような群が同型であるかどうかを判定するアルゴリズムは存在しない。
• 証明は、Mihailova の構成により既知の決定不能であるとされる有限生成部分群 $L \subset F_2 \times F_2$ におけるメンバーーシップ問題に同型問題を還元している。
• $GL(4,\mathbb{Z})$ 内の有限生成部分群の共役性は決定不能であり、同じ決定不能メンバーーシップ問題に還元することで示された。
• 群 $G_h = \mathbb{Z}^4 \rtimes F_{15}$ は、$h \in L$ であることと同値に $G_1$ に同型である。同型と属する問題の直接的な関係を確立した。
• $F_{15}$ の数字 15 は、$L$ の生成子 14 個に由来し、特定の有限提示に対してこの構成が有効であることを示している。
• 同型問題が自由-by-自由群や $\mathbb{Z}^k$-by-$\mathbb{Z}^k$ 群では解けるにもかかわらず、この結果は複雑性の鋭いしきい値を示している。