[论文解读] Unsolvability of the isomorphism problem for [free abelian]-by-free groups

Gilbert Levitt|ArXiv.org|Oct 6, 2008

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

一句话总结

本文证明了[自由交换]-自乘自由群的同构问题不可判定，具体而言，不存在任何算法可判断两个 ${\mathbb{Z}}^4\rtimes F_{15}$ 群是否同构。证明利用了米哈伊洛娃在 $F_2 \times F_2$ 中构造的一个有限生成子群，其成员问题不可解，并将其嵌入 $GL(4,\mathbb{Z})$，从而将同构问题约化为一个不可判定的轨道问题。

ABSTRACT

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

研究动机与目标

• 建立 $\mathbb{Z}^4$-自乘自由群同构问题不可解的结论。
• 将已知的共轭问题不可判定结果扩展至更广泛的群扩张类中的同构问题。
• 证明当核为秩 4 的自由交换群时，同构问题依然不可判定。
• 表明 $GL(4,\mathbb{Z})$ 中有限生成子群的共轭问题不可判定，并将其与同构问题联系起来。

提出的方法

• 通过 $GL(2,\mathbb{Z}) \times GL(2,\mathbb{Z})$ 的分块对角矩阵将 $F_2 \times F_2$ 嵌入 $GL(4,\mathbb{Z})$。
• 利用米哈伊洛娃的构造，定义一个子群 $L \subset F_2 \times F_2$，其成员问题不可解。
• 构造一族半直积 $G_h = \mathbb{Z}^4 \rtimes F_{p+1}$，其中作用由 $h \in F_2 \times F_2$ 决定。
• 证明 $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$-不变平面的结构，证明若 $g$ 将 $L$ 共轭到 $\langle L, h \rangle$，则 $g$ 的某个幂属于 $F_2 \times F_2$，从而实现约化。

实验结果

研究问题

• RQ1 是否存在一个算法，可判断两个 $\mathbb{Z}^4$-自乘自由群是否同构？
• RQ2 $\mathbb{Z}^4$-自乘自由群的同构问题能否约化为一个已知的不可判定问题？
• RQ3 $F_2 \times F_2$ 中成员问题的不可解性是否意味着 $\mathbb{Z}^4$-自乘自由群的同构问题也不可解？
• RQ4 $GL(4,\mathbb{Z})$ 中有限生成子群的共轭问题是否可判定，其与群同构问题有何关联？

主要发现

• 对于 $\mathbb{Z}^4$-自乘自由群，同构问题不可判定，即不存在任何算法可判断两个此类群是否同构。
• 该证明将同构问题约化为 $F_2 \times F_2$ 的一个有限生成子群 $L$ 的成员问题，而该问题已知由米哈伊洛娃的构造表明不可解。
• $GL(4,\mathbb{Z})$ 中有限生成子群的共轭问题不可判定，通过将其约化为同一不可解的成员问题得以证明。
• $G_h = \mathbb{Z}^4 \rtimes F_{15}$ 同构于 $G_1$ 当且仅当 $h \in L$，建立了同构与成员问题之间的直接联系。
• $F_{15}$ 中的数字 15 源于 $L$ 的 14 个生成元，表明该构造对特定有限表示是有效的。
• 即使同构问题对自由群自乘自由群以及 $\mathbb{Z}^k$-自乘 $\mathbb{Z}^k$ 群是可解的，该结果依然成立，凸显了复杂性中的一个明确临界点。