[论文解读] Algorithmic Problems in Amalgams of Finite Groups

L. Markus-Epstein|ArXiv.org|May 5, 2007

Geometric and Algebraic Topology参考文献 40被引用 3

一句话总结

本文提出了一种算法框架，利用广义Stallings折叠技术解决有限群的并和结构中的基本决策问题。通过使用扩展折叠算法构建子群图，作者实现了成员资格、自由性、有限指数和可分性等问题的多项式时间解法，将自由群中的方法扩展到更复杂的群并和结构，且证明了其效率与正确性。

ABSTRACT

Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. It turns out that Stallings' methods can be effectively generalized for the class of amalgams of finite groups. In the present paper we employ subgroup graphs constructed by the generalized Stallings' folding algorithm to solve various algorithmic problems in amalgams of finite groups.

研究动机与目标

• 将Stallings折叠算法从自由群推广到有限群的并和结构，以实现对决策问题的算法求解。
• 通过限制在有限群的并和结构上，解决一般群类中的不可判定性问题，因为这些群是双曲的，因而具有可解的字问题。
• 通过带标签图（子群图）建立子群的图论表示，以编码子群结构并实现高效计算。
• 为此类群中的关键算法问题（如子群表示、自由性、有限指数和可分性）提供多项式时间算法。
• 统一并推广自由群理论中的现有方法至带并和的自由积，使用逆自动机和图覆盖作为计算工具。

提出的方法

• 使用广义Stallings折叠算法，从并和群 G = G₁ ∗ₐ G₂ 中子群 H 的有限生成集构造一个有限的、带标签的子群图 Γ(H)。
• 通过迭代的边折叠和剪发操作，将初始的环图简化为一个最小化、约化的预覆盖图。
• 通过将相对Cayley图的副本粘接到与群结构匹配的组件上，将图嵌入到自由因子 G₁ 和 G₂ 的Cayley图中。
• 通过识别在并和关系下代表同一群元素的顶点，确保图中的一致性，特别是在路径标记属于 A 的元素时。
• 通过减少冗余组件（例如 A 的子群的完整Cayley图），确保最终图是最小化的，并仅捕捉必要的子群结构。
• 利用所得图读取子群性质：基点处的环对应于 H 中的元素，图的结构特征可确定子群性质，如自由性或有限指数。

实验结果

研究问题

• RQ1 Stallings折叠方法能否被广义化，以解决有限群并和结构中除字问题外的算法问题？
• RQ2 在此类群中，如何利用图论表示算法化地计算子群表示？
• RQ3 子群图满足何种条件时，可实现对自由性、有限指数或可分性的高效检测？
• RQ4 广义折叠算法能否在多项式时间内实现，以同时求解多个决策问题？
• RQ5 子群图的结构如何用于判断一个子群是否为极大正规子群、正规子群或平凡子群？

主要发现

• 广义Stallings折叠算法在二次时间内构造出有限的、约化的子群图 Γ(H)，该图完全编码了并和群 G 中的子群 H。
• 通过检查子群图 Γ(H) 中基点处是否存在标记为某单词的环，可在二次时间内求解 H 的成员资格问题。
• 通过分析子群图的结构，可多项式时间判定自由性问题：当且仅当其图是一棵无非平凡环的树时，H 为自由群。
• 通过验证子群图是否以有限重数覆盖整个群图，可在多项式时间内求解有限指数问题。
• 通过构造一个有限叶数的覆盖图，可多项式时间判定可分性问题，从而将子群与给定非元素分离。
• 该算法提供了一种系统化方法，用于读取有限生成子群在有限群自由积中的Kurosh分解，如附录工作[42]所示。