[论文解读] Strange images of profinite groups

Nikolay Nikolov|arXiv (Cornell University)|Jan 2, 2009

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

一句话总结

本文研究一个有限生成的投影群是否可能具有无限且有限生成的商群，证明了对于投影可解群、半单群或非普遍的投影群，此类奇怪的商群并不存在。关键结果表明，任何有限生成的投影群的无限有限生成商群必为不可数集，且在特定有限性条件下，此类群中的稠密正规子群要么是开子群，要么是平凡子群。

ABSTRACT

We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is semisimple or nonuniversal. We also investigate the existense of dense normal subgroups in $G$.

研究动机与目标

• 确定有限生成的投影群是否可能具有一个在投影拓扑下不闭合的无限有限生成商群（即‘奇怪的商群’）。
• 研究投影群中稠密正规子群的存在性，特别是与有限生成性及商群结构的关系。
• 将丹·塞加尔对投影可解群的结果推广至更广泛的群类，包括半单群和非普遍投影群。
• 在有限生成约束下，刻画正规子群与商群的结构，尤其关注词子群和自同构作用的背景。
• 通过分析子群生成与闭包性质，解决关键群类中对猜想1（布劳贝伦）的验证。

提出的方法

• 利用有限生成投影群中词子群与闭包性质的结构，特别关注下中心列与导出子群。
• 应用丹·塞加尔关于投影可解群的定理，表明 $ G' $ 包含于生成元模 $ G' $ 的共轭的乘积中，若 $ N $ 为真无限商群则导致矛盾。
• 分析拟单群的中心积，并利用自同构作用通过换位子生成整个群，依赖于关于共轭生成的关键结果（命题7）。
• 使用佐恩引理将问题约化为简单商群，然后证明在目标群类中不存在无限且有限生成的简单商群。
• 使用投影群生成引理的投影版本（如文献[8]中的引理2.4），将有限商群的生成性提升至投影群层面。
• 应用贝尔范畴定理与拓扑论证，表明无限剩余有限的商群必为不可数集，因此不可能是可数集。

实验结果

研究问题

• RQ1 有限生成的投影群是否可能具有一个在投影拓扑下不闭合的无限有限生成商群？
• RQ2 尼古洛夫-塞加尔结果中关于无奇怪有限商群的结论，是否可推广至更广泛投影群类中的无限有限生成商群？
• RQ3 在何种条件下，投影群不会拥有非开的稠密正规子群？
• RQ4 能否利用拟单群中心积中自同构轨道与换位子生成的结构，强制整个群由共轭生成？
• RQ5 在何种条件下，有限生成投影群的稠密正规子群必为整个群？

主要发现

• 若有限生成的投影群为投影可解群、半单群或非普遍群，则其不可能存在无限且有限生成的商群。
• 对于半单投影群（非交换有限单群的卡氏积），每个简单商群要么是有限的，要么是不可数的，因此不存在无限且有限生成的简单商群。
• 在非普遍投影群中，任何无限有限生成商群的像必为不可数集，因此此类商群不存在。
• 若投影群 $ G $ 的阿贝尔化为有限群，且仅同态到有限多个有限单群，则任何稠密正规子群 $ N $ 必为开子群，故 $ N = G $。
• 在主要定理的条件下，导出子群 $ G' $ 必包含于任何满足 $ G/N $ 为无限有限生成商群的正规子群 $ N $ 中。
• 一个关键技术结果（命题7）表明，若自同构在拟单群中心积的因子上作用非平凡，则群可由有界数量的换位子群乘积生成，其指数仅依赖于所涉及交错群的秩。