[论文解读] Maximal subgroups of countable groups, a survey

Tsachik Gelander, Yair Glasner+1 more|arXiv (Cornell University)|Sep 20, 2019

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

一句话总结

本综述表明，非几乎幂零的有限生成线性群存在无限指数的极大子群，其证明基于拟完备稠密自由子群与佐恩引理。该研究将可数本原线性群表征为几乎单型，并将理论扩展至非线性群，包括汤普森群 F 和局部有限单群，揭示了无限指数极大子群的丰富结构及传递作用。

ABSTRACT

This paper is a survey on the works [MS77, MS79, MS81] on maximal subgroups in finitely generated linear groups, and the works that followed it [GG08, GG13b, GG13a, Kap03, Iva92, HO16, GM16, AGS14, Sf90, Sf98, Per05, AKT16, FG18, GS17] concerning maximal subgroups of infinite index in linear groups as well as in various other groups possessing a suitable geometry or dynamics.

研究动机与目标

• 对可数本原线性群进行表征，并确定其何时允许忠实的本原作用。
• 解决有限生成线性群中无限指数极大子群的存在性问题。
• 将极大子群理论从线性群扩展至非线性情形，如汤普森群 F 和局部有限单群。
• 研究群作用的传递度，特别是在负曲率及圆周/正则树情形下的表现。
• 识别在群作用中实现高阶传递性的障碍，尤其在拟proximal 与极小动力系统中。

提出的方法

• 在非几乎幂零线性群中使用拟完备稠密自由子群，结合佐恩引理构造无限指数极大子群。
• 采用置换群理论，特别是本原性与拟本原性，将极大子群问题重新表述为在陪集空间上的作用问题。
• 在负曲率设定下应用蒂茨选择定理与乒乓动力学，构造高度传递作用。
• 利用群拓扑，特别是正规拓扑，分析本原性与极大性条件。
• 通过施托基系统与 SL_n(Z) 中的幂零元构造例子，以计数极大子群。
• 利用几何与动力学条件——如拟proximal性、极小性及非自由作用——在圆周与树边界作用中，界定传递度。

实验结果

研究问题

• RQ1 有限生成线性群何时允许无限指数的极大子群？
• RQ2 哪些可数线性群允许忠实的本原或高度传递作用？
• RQ3 在圆周或正则树上的群作用中，实现高阶传递性的结构性与动力学障碍是什么？
• RQ4 非线性群如汤普森群 F 或局部有限单群是否允许无限指数的极大子群？
• RQ5 在集合上的忠实作用何时共轭于几何作用（如在 S^1 或 ∂T 上）的轨道？

主要发现

• 有限生成线性群存在无限指数极大子群，当且仅当其非几乎幂零。
• 所有可数非挠几乎单型线性群均为本原群，且允许不可数多个非等价的忠实本原作用。
• 汤普森群 F 具有不可数多个无限指数极大子群，其中部分为有限生成，另一些则不是，具体取决于轨道点。
• 琼斯群 $\vec{F} < F$ 是无限指数的极大子群且为有限生成群，提供了高度传递子群的明确实例。
• 对于在 $S^1$ 上极小且拟proximal作用、且具有不同点稳定子的群，每个忠实的 3-传递作用均共轭于一个轨道作用，从而表明不存在 4-传递作用。
• 非初等线性群的局部有限单群满足：每个有限子群均包含于某个真极大子群中，从而解决了本原群分类中的关键情形。