[论文解读] Finiteness properties of profinite groups

Colin D. Reid|arXiv (Cornell University)|Feb 15, 2010

Finite Group Theory Research参考文献 37被引用 4

一句话总结

本论文通过探讨有限群与p进群之间的结构性联系，研究了p进群的有限性性质，重点关注Sylow子群、广义p进Fitting子群，以及Fitting正则性和纯无限结构等性质。通过拓扑与上同调方法，该研究建立了对这些群的新表征，从而更深入地理解了其子群格与嵌入性质。

ABSTRACT

Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite groups are an important case of this, being compact topological groups that possess an intimate connection with their finite images. This thesis investigates the relationship between several finiteness properties that a profinite group may have, with consequences for the structure of finite and profinite groups.

研究动机与目标

• 理解p进群中的有限性性质如何推广自有限群，特别是通过拓扑与上同调不变量。
• 研究Sylow子群及其融合在决定p进群结构中的作用。
• 利用子群格与共轭子群群理论，表征Fitting正则与纯无限p进群。
• 将有限群论中的概念——如$p$-转移、无层嵌入与$c$-不变量——推广至p进设置。
• 阐明广义p进Fitting子群与整体群结构之间的关系，特别是在$p$-局部与$p'$-嵌入条件的背景下。

提出的方法

• 利用逆极限构造，将p进群建模为有限群的投影极限，以保持其拓扑与代数结构。
• 应用Tate定理与上同调工具，控制$p$-转移并研究pro-$p$群的结构。
• 引入$p'$-嵌入与无层$p'$-嵌入的概念，以分类p进群中的正规子群结构。
• 将广义p进Fitting子群$F^*(G)$作为核心结构成分，尤其在Fitting正则群中。
• 应用$c$-不变量与共轭子群群理论，分析coprime自同态与pro-$p$群中的子群生成。
• 利用虚拟中心、有限根子群与子群格，表征有限性与极小性条件。

实验结果

研究问题

• RQ1 像纯无限或Fitting正则这样的有限性性质如何约束p进群的Sylow结构？
• RQ2 广义p进Fitting子群在决定p进群整体结构中起什么作用？
• RQ3 $p'$-嵌入与无层嵌入在多大程度上表征了p进群中的正规子群结构？
• RQ4 上同调不变量如$c$-不变量与指标比如何与pro-$p$群的自同态结构相关联？
• RQ5 p进群的子群格与共轭子群群结构在多大程度上反映了其有限商的性质？

主要发现

• 广义p进Fitting子群$F^*(G)$为平凡当且仅当$G$属于类$[FD]$，该类表征了不含非平凡正规幂零子群的p进群。
• 对于Fitting正则群，广义p进Fitting子群$F^*(G)$是特征子群，控制着层与Fitting子群的结构。
• pro-$p$群的$c$-不变量是有限的，且由群的秩有界，提供了一种自同态作用的定量度量。
• 对任意有限$p$-群$S$，无层$p'$-嵌入的类$\tilde{\rm E}^{\rm LF}_{p'}(S)$是有限的，表明在$p'$-扩张中具有结构控制。
• p进群的虚拟中心与有限根子群均为闭子群，且在Fitting正则性下其交为平凡。
• 在纯无限p进群中，给定指数的开子群数量是有限的，且此类群的结构由其Sylow子群紧密约束。