[论文解读] Splitting theorems for pro-$p$ groups acting on pro-$p$ trees and 2-generated subgroups of free pro-$p$ products with procyclic amalgamations

Wolfgang Herfort, Pavel Zalesskii+1 more|arXiv (Cornell University)|Mar 15, 2011

Advanced Topology and Set Theory参考文献 11被引用 4

一句话总结

本文建立了经典 Bass-Serre 理论分裂定理在 pro-$p$ 群中的类比，针对在 pro-$p$ 树上几乎自由作用的有限生成 pro-$p$ 群，证明此类群可分裂为自由 amalgamated pro-$p$ 乘积或 pro-$p$ HNN-扩张。关键贡献是 Baumslag 定理的 pro-$p$ 版本：在具有循环 amalgamation 的自由 pro-$p$ 乘积中，若所有因子的 2-生成子群均为自由或自由交换群，则整个群的所有 2-生成子群也均为自由或自由交换群。

ABSTRACT

Let G be a finitely generated infinite pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. Then we prove that G splits as a pro-p amalgamated product or as a pro-p HNN-extension over an edge stabilizer. Using this result we prove under certain conditions that free pro-p products with procyclic amalgamation inherit from its free factors the property of each 2-generated subgroup being free pro-p. This generalizes known pro-p results, as well as some pro-p analogs of classical results in abstract combinatorial group theory.

研究动机与目标

• 为在 pro-$p$ 树上作用的群建立经典 Bass-Serre 理论结果在 pro-$p$ 设置下的类比。
• 解决 pro-$p$ 群理论中的障碍：由于紧致性问题，基本 pro-$p$ 群不总是沿边稳定化子分裂。
• 证明在 pro-$p$ 树上几乎自由作用的有限生成 pro-$p$ 群可分裂为自由 amalgamated pro-$p$ 乘积或 pro-$p$ HNN-扩张。
• 将 Baumslag 关于自由积中 2-生成子群的经典结果推广至 pro-$p$ 设置。
• 建立在具有循环 amalgamation 的自由 pro-$p$ 乘积中，2-生成子群为自由 pro-$p$ 的条件。

提出的方法

• 使用组合 pro-$p$ 群方法，证明在 pro-$p$ 树上几乎自由作用的无限有限生成 pro-$p$ 群的分裂定理。
• 通过修改的树构造（引理 3.4）而非商空间 $G\backslash T$，从作用构造出有限连通的有限 $p$-群图。
• 应用逆极限技术，分解 2-生成子群及其在 pro-$p$ 树上的作用的对 $(L_n, T_n)$。
• 使用 Frattini 商论证分析正规化子结构，并排除 2-生成子群为交换群的可能性。
• 利用假设：amalgamating 的循环子群的中心化子为自由交换群，且 $C$ 是其直和因子。
• 应用已知的 pro-$p$ 版本的 Kurosh 和 Grushko 定理，以支持子群结构的结论。

实验结果

研究问题

• RQ1 在何种条件下，一个在 pro-$p$ 树上几乎自由作用的有限生成 pro-$p$ 群会沿边稳定化子分裂？
• RQ2 当群在 pro-$p$ 树上几乎自由作用时，能否从稳定化子重构有限 $p$-群图的基本 pro-$p$ 群？
• RQ3 在具有循环 amalgamation 的自由 pro-$p$ 乘积中，2-生成子群何时仍为自由 pro-$p$？
• RQ4 amalgamating 的循环子群的中心化子的结构如何影响 2-生成子群的自由性？
• RQ5 pro-$p$ 设置下，经典组合群论结果的 pro-$p$ 类比在多大程度上成立？

主要发现

• 在 pro-$p$ 树上几乎自由作用的无限有限生成 pro-$p$ 群，沿边稳定化子的分裂方式为自由 amalgamated pro-$p$ 乘积或 pro-$p$ HNN-扩张。
• 此类群同构于有限连通 $p$-群图的基本 pro-$p$ 群，其顶点群和边群分别同构于树中顶点和边的稳定化子。
• 若 $G = A \amalg_C B$ 是具有循环 amalgamation 的自由 pro-$p$ 乘积，且 $C$ 是其在 $G$ 中中心化子的直和因子，则若 $A$ 和 $B$ 的所有 2-生成子群均为自由或自由交换群，则 $G$ 的所有 2-生成子群也均为自由或自由交换群。
• 该结果将 Baumslag 关于自由积中 2-生成子群的经典定理推广至 pro-$p$ 设置。
• 该定理覆盖了先前结果未涵盖的情形，例如当 amalgamating 子群在非可解 Demushkin 群中为极大循环子群时。
• 证明通过逆极限对 $(L_n, T_n)$ 及 Frattini 商分析，排除了非自由交换的 2-生成子群的可能性，从而在极限中确认了自由性。