[論文レビュー] 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

ひとこと要約

この論文は、PervovaのGrigorchuk群やGGS群に関する最大部分群に関する技術的道具を、自然な条件を満たすすべての弱分岐群へ一般化し、分岐群における無限指数の最大部分群がすべて自身で分岐群であることを証明する。主な応用として、分岐群ではないが弱分岐群であるBasilica群が、無限指数の最大部分群を持たないことを示し、すべての最大部分群が有限指数であることを意味する。これは、この性質を持つ最初の既知の弱分岐群（分岐群ではない）である。

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.

研究の動機と目的

• PervovaのGrigorchuk群やGGS群に関する頂点安定化部分群の射影に関する技術的補題を、自然な条件を満たすすべての弱分岐群に一般化すること。
• 分岐群における無限指数の最大部分群がすべて自身で分岐群であることを証明すること。
• Basilica群、弱分岐だが分岐群でない群の最大部分群を分析し、それらが無限指数をもつ可能性を検討すること。
• Basilica群が無限指数の最大部分群を持たないことを確立し、これによりすべての最大部分群が有限指数であることを示すこと。
• Basilica群が、無限指数の最大部分群を持たない弱分岐群（分岐群ではない）として、この性質を有する最初の既知の例であることを示すこと。

提案手法

• PervovaのGrigorchuk群やGGS群に関する技術的補題を、根付き木の第一レベルにおける正則かつ原始的作用をもつ、自然な条件を満たすすべての弱分岐群に一般化する。
• 一般化された道具を用いて、分岐群における無限指数の最大部分群の射影が、対応する頂点群においても無限指数の最大部分群であることを示す。
• 分岐群に無限指数の最大部分群が存在するならば、その頂点安定化部分群も無限指数の最大部分群である必要があることを証明し、部分群自身が分岐群である場合を除いては矛盾が生じることを導く。
• Basilica群に対して一般化された道具を適用し、prodense部分群とその頂点群への射影を分析する。
• Basilica群の任意の真の商が、最大部分群が有限である群のクラス（MF）に属することを用いて、無限指数の最大部分群が存在すれば射影結果と矛盾することを示す。
• 射影結果とBasilica群の構造を組み合わせることで、無限指数の最大部分群が存在し得ないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 Grigorchuk群やGGS群における最大部分群の研究に用いられるPervovaの手法を、自然な条件を満たすすべての弱分岐群に一般化できるか？
• RQ2 分岐群における無限指数の最大部分群は、すべて自身で分岐群であると結論づけられるか？
• RQ3 弱分岐だが分岐群でないBasilica群は、無限指数の最大部分群をもつのか？
• RQ4 Basilica群のprodense部分群には、特に頂点群への射影に関してどのような構造的性質があるか？
• RQ5 一般化された射影技術を用いて、Basilica群に無限指数の最大部分群が存在しないことを確立できるか？

主な発見

• この論文は、自然な条件を満たすすべての弱分岐群、特にすべての分岐群を含む、Pervovaの技術的道具の一般化を確立する。
• 分岐群における無限指数の最大部分群がすべて自身で分岐群であることを証明し、このような部分群の構造的特徴づけを提供する。
• Basilica群は無限指数の最大部分群を持たない。これは、すべての最大部分群が有限指数であることを意味する。
• これにより、Basilica群は、無限指数の最大部分群を持たない弱分岐だが分岐群でない群として、最初に知られた例である。
• この結果は、無限指数の最大部分群を持たない群のクラスが、単に「無限指数の単純な分岐群」にとどまらず、たとえばトーションフリーかつ単一無限でないという異なる代数的性質をもつ特定の弱分岐群を含むことを示している。