[论文解读] On maximal subgroups of infinite index in branch and weakly branch groups

Dominik Francoeur|arXiv (Cornell University)|Apr 3, 2020

Finite Group Theory Research参考文献 19被引用 13

一句话总结

本文将佩尔沃瓦在格里戈尔丘克群和GGS群中关于顶点稳定子投影的技术工具推广至满足自然条件的所有弱分支群，证明在分支群中，任意无限指数的极大子群本身也是分支群。作为关键应用，表明巴希尔卡群——尽管不是分支群——不存在无限指数的极大子群，即其所有极大子群均为有限指数，使其成为首个具有此性质的已知弱分支群。

ABSTRACT

We generalise a technical tool, originally developed by Pervova for the study of maximal subgroups in Grigorchuk and GGS groups, to all weakly branch groups satisfying a natural condition, and in particular to all branch groups. We then use this tool to prove that every maximal subgroup of infinite index of a branch group is also a branch group. As a further application of this result, we show that every maximal subgroup of the Basilica group is of finite index.

研究动机与目标

• 将佩尔沃瓦在格里戈尔丘克群和GGS群工作中关于顶点稳定子投影的技术引理推广至满足自然条件的所有弱分支群。
• 证明在分支群中，任意无限指数的极大子群本身也是分支群。
• 分析巴希尔卡群（一个弱分支但非分支群）的极大子群，以确定其是否可能具有无限指数。
• 建立巴希尔卡群不存在无限指数的极大子群，从而表明其所有极大子群均为有限指数。
• 证明巴希尔卡群是首个已知的弱分支群（非分支群）且无无限指数极大子群的例子。

提出的方法

• 将佩尔沃瓦在格里戈尔丘克群和GGS群研究中提出的技术引理由推广至满足自然条件的所有弱分支群，特别是那些在根树第一层上具有正规且本原作用的群。
• 利用推广后的工具，证明在分支群中，无限指数极大子群的投影也是相应顶点群中无限指数的极大子群。
• 证明若分支群中存在无限指数的极大子群，则其顶点稳定子也必须是无限指数的极大子群，除非该子群本身是分支群，从而导致矛盾。
• 通过分析广义子群及其在顶点群上的投影，将推广后的工具应用于巴希尔卡群。
• 利用巴希尔卡群的任意真商群均属于具有有限极大子群（MF）的群类这一事实，证明若存在无限指数的极大子群，将与投影结果矛盾。
• 结合投影结果与巴希尔卡群的结构，得出不存在无限指数极大子群的结论。

实验结果

研究问题

• RQ1 佩尔沃瓦用于研究格里戈尔丘克群和GGS群中极大子群的方法能否推广至所有满足自然条件的弱分支群？
• RQ2 在分支群中，任意无限指数的极大子群是否必然自身也是分支群？
• RQ3 巴希尔卡群（一个弱分支但非分支群）是否允许存在无限指数的极大子群？
• RQ4 巴希尔卡群的广义子群具有何种结构性质，特别是其在顶点群上的投影？
• RQ5 能否利用推广后的投影技术证明巴希尔卡群中不存在无限指数的极大子群？

主要发现

• 本文将佩尔沃瓦的技术工具推广至所有满足自然条件的弱分支群，包括所有分支群。
• 证明了在分支群中，任意无限指数的极大子群本身也是分支群，从而为这类子群提供了结构刻画。
• 巴希尔卡群不存在无限指数的极大子群，即其所有极大子群均为有限指数。
• 这使得巴希尔卡群成为首个已知的弱分支但非分支群且无无限指数极大子群的例子。
• 该结果表明，无无限指数极大子群的群类不仅包括仅无限分支群，还扩展至具有不同代数性质的某些弱分支群，例如无挠且非仅无限的群。