[论文解读] Small profinite groups and their elementary theory

Patrick Helbig|arXiv (Cornell University)|Nov 27, 2015

Advanced Topology and Set Theory被引用 1

一句话总结

本文证明了小的p-拟群的Frattini覆叠仍为小的，并证明了若一个p-拟群是强完备的，则其初等等价的p-拟群都同构——将Jarden与Lubotzky的结果推广到了非有限生成的p-拟群类。

ABSTRACT

A profinite group is called small if it has only finitely many open subgroups of index n for each positive integer n. We show that every Frattini cover of a small profinite group is small. A profinite group is called strongly complete if every subgroup of finite index is open. We show that two profinite groups that are elementarily equivalent, in the first-order language of groups, are isomorphic if one of them is strongly complete, extending a result of Moshe Jarden and Alexander Lubotzky which treats the case of finitely generated profinite groups.

研究动机与目标

• 研究小p-拟群性质在Frattini覆叠下的稳定性。
• 将初等等价p-拟群的同构结果从有限生成情形推广至非有限生成情形。
• 分析强完备性在确定p-拟群初等等价类中的作用。
• 通过初等等价与拓扑性质澄清p-拟群的模型论结构。

提出的方法

• 利用小p-拟群的定义——每个有限指数的开子群只有有限多个——来分析子群增长。
• 应用Frattini覆叠的概念，即具有Frattini商的中心扩张，以保持小性。
• 在群的语言中使用一阶初等等价来比较p-拟群。
• 将强完备性（每个有限指数子群都是开的）作为关键结构约束，以强制同构。
• 结合模型论技巧与p-拟群理论，推导出同构结果。
• 通过去除有限生成假设，将Jarden与Lubotzky的先前结果加以推广。

实验结果

研究问题

• RQ1 在何种条件下，p-拟群的小性在Frattini覆叠下得以保持？
• RQ2 初等等价的有限生成p-拟群之间的同构结果能否推广至非有限生成情形？
• RQ3 强完备性在区分p-拟群初等等价类中起什么作用？
• RQ4 初等等价与拓扑闭包性质在p-拟群中如何相互作用？
• RQ5 模型论方法在多大程度上可对p-拟群进行同构分类？

主要发现

• 每个小p-拟群的Frattini覆叠本身也是小的，保持了每个指数下开子群的有限性。
• 若两个p-拟群初等等价，且其中一个为强完备，则它们同构。
• 初等等价p-拟群的同构结果可从有限生成情形推广至某些非有限生成p-拟群。
• 强完备性是确保在p-拟群设定下初等等价蕴含同构的充分条件。
• 本文通过拓扑与逻辑约束，为一大类p-拟群建立了模型论分类结果。
• 研究结果深化了对模型论与p-拟群结构之间相互作用的理解，尤其在初等等价与子群增长的语境下。