[论文解读] On subgroup conjugacy separability in the class of virtually free groups

Oleg Bogopolski, Fritz Grunewald|arXiv (Cornell University)|Dec 22, 2010

Japanese History and Culture参考文献 33被引用 5

一句话总结

本文证明了满足正规化子条件的有限群的树的自由群与基本群是子群共轭分离的（SCS），即非共轭的有限生成子群在某个有限商群中仍保持非共轭。此外，本文引入并证明了这些群的子群内共轭分离性（into-conjugacy separability）性质，将剩余有限性性质扩展至拟自由群中的子群共轭结构。

ABSTRACT

A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.

研究动机与目标

• 研究拟自由群与自由群是否满足子群共轭分离性（SCS）性质。
• 将剩余有限性性质扩展至子群共轭结构，解决有限生成子群共轭问题的算法可解性。
• 在拟自由群的背景下引入并证明子群内共轭分离性这一新性质。
• 为潜在在3-流形拓扑与几何群论中的应用提供基础。

提出的方法

• 将子群共轭分离性（SCS）定义为：非共轭的有限生成子群在某个有限商群中仍保持非共轭。
• 对满足正规化子条件的有限群的树的结构使用归纳法，分析群复形中的曲线行为。
• 应用几何群论技术，包括构造复形 $ Z $ 和 $ Y_l $，以分析环路的可缩性与 $ e $-长度。
• 利用自由面与 $ ilde{rak{N}} $-空间在层级 $ l $ 处的可缩性，证明在长度约束下的环路可缩性。
• 使用同伦论证与常数 $ C $ 来限制环路长度，并在假设有限商群中存在共轭时导出矛盾。
• 证明：若 $ H_2 $ 共轭进入 $ H_3 $，则 $ H_2^g $ 必须共轭进入 $ H_1^{g_s} $，与初始假设矛盾。

实验结果

研究问题

• RQ1 满足正规化子条件的有限群的树的自由群与基本群是否满足子群共轭分离性（SCS）性质？
• RQ2 能否使用群复形上的几何与归纳方法，为拟自由群建立SCS性质？
• RQ3 是否存在对共轭分离性的有意义推广，使其适用于子群共轭，并且该性质是否对同一类群成立？
• RQ4 内共轭分离性是否对自由群与拟自由群成立，其与SCS的关系如何？
• RQ5 能否利用SCS性质，为这些群中有限生成子群的共轭问题提供算法解法？

主要发现

• 自由群是子群共轭分离的（SCS），即非共轭的有限生成子群在某个有限商群中仍保持非共轭。
• 满足正规化子条件的有限群的树的基本群是SCS。
• 本文引入并证明了自由群及上述类群的子群内共轭分离性性质。
• 证明依赖于几何群论，使用复形 $ Z $ 和 $ Y_l $，并表明长度小于 $ C $ 的环路要么可缩，要么位于 $ Y_{1,i} $ 中，从而支持反证法。
• 证明了若 $ H_2 $ 共轭进入 $ H_3 $，则 $ H_2^g $ 必须共轭进入 $ H_1^{g_s} $，与 $ H_2 $ 无法共轭进入 $ H_1 $ 的假设矛盾，从而证明在有限商群中保持非共轭。
• 结果表明，有限表示的SCS群对有限生成子群的共轭问题具有可解性，提供了算法解法。