[论文解读] A criterion for residual $p$-finiteness of arbitrary graphs of finite $p$-groups

Gareth Wilkes|arXiv (Cornell University)|Oct 31, 2018

Finite Group Theory Research参考文献 2被引用 1

一句话总结

本文通过在顶点群和边群上施加一个主系列条件，为任意图（有限或无限）的有限p-群的基本群建立了残p-有限性的一个新判别准则。证明利用Bass–Serre理论分析群在树上的作用，将问题约化为一个指标为p的正规子群，其主系列更简单，最终通过归纳法和图群基本群的普遍性质证明了残p-有限性。

ABSTRACT

Abstract We establish conditions under which the fundamental group of a graph of finite p -groups is necessarily residually p -finite. The technique of proof is independent of previously established results of this type, and the result is also valid for infinite graphs of groups.

研究动机与目标

• 本文旨在为任意图的有限p-群的基本群建立残p-有限性的通用判别准则。
• 解决以往结果仅适用于有限图或依赖于wreath积构造的局限性。
• 目标是提供一个统一且直接的证明，适用于有限和无限图的群。
• 将Higman和Chatzidakis关于楔积和HNN扩张的结果推广到任意图的群。
• 通过在群作用于对偶Bass–Serre树时保持不变的主系列条件，对残p-有限性进行刻画。

提出的方法

• 证明使用Bass–Serre理论，将主系列条件转化为对偶Bass–Serre树上的作用。
• 为树中每个点稳定子群定义一个主系列，满足在群共轭下不变（条件I'）。
• 引入一族与边映射和共轭可交换的单射ψ(k)_z: γ(k)(G(z)) → F_p（条件II'）。
• 基本群G通过同态Φ映射到F_p，其核H是指标为p的正规子群。
• H在树上的作用诱导出一个新的图群分解，其主系列长度减少1，从而可进行归纳。
• 论证通过主系列长度的归纳法进行，利用引理2将H的残p-有限性提升至G。

实验结果

研究问题

• RQ1 在何种条件下，任意图的有限p-群的基本群是残p-有限的？
• RQ2 能否在不依赖wreath积构造的前提下，通过顶点和边群上的主系列条件确保残p-有限性？
• RQ3 如何在保持残p-有限性的同时，将图群理论推广到无限图？
• RQ4 对偶Bass–Serre树在制定残p-有限性的统一判别准则中起什么作用？
• RQ5 是否存在一种基于顶点和边群的主商群上与F_p相容的同态的残p-有限性刻画？

主要发现

• 任意图的有限p-群的基本群是残p-有限的，当且仅当存在满足定理4中条件(I)和(II)的、在所有顶点群和边群上相容的主系列。
• 该证明独立于wreath积构造，适用于有限和无限图的群。
• 该判别准则被重新表述为在对偶Bass–Serre树上G-不变的主系列，并在主商群上具有与F_p相容的映射。
• 同态Φ: G → F_p的核H是指标为p的正规子群，其诱导的图群分解满足主系列条件，但长度减少1。
• 通过主系列长度的归纳法，H是残p-有限的，且由于H ⊳p G，引理2表明G也是残p-有限的。
• 对于任意非平凡元素g ∈ G，可通过有限子图和商群G(N)_x构造有限商群，从而归约为适用该判别准则的有限情形。