[論文レビュー] Maximal subgroups of ${}^2E_6(2)$ and its automorphism groups

Robert A. Wilson|arXiv (Cornell University)|Jan 25, 2018

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

ひとこと要約

この論文は、$^2E_6(2)$ の単純群およびその自己同型群の最大部分群の新しいコンピュータ支援証明を提供し、文脈に応じて $G.S_3$ まで拡張し、長年の文献上の空白を解消する。$(2,3,n)$-三つ組の計算的分析、$p$-局所的部分群構造、およびマーモス群とベビーモンスターグループへの埋め込みを用いて、非アーベル単純部分群の39種類の同型型を確認し、有限群のアトラスにおけるわずかな構造的誤りを是正する。

ABSTRACT

We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof exists in the literature. A large part of the proof consists of a computational analysis of subgroups generated by an element of order 2 and an element of order 3. This method can be effectively automated, and via statistical analysis also provides a sanity check on results that may have been obtained by delicate theoretical arguments.

研究の動機と目的

• $^2E_6(2)$ 及びその自己同型群 $G.S_3$ の最大部分群について、以前に発表された証明が存在しなかった、きめ細やかなコンピュータ支援証明を提供すること。
• $^2E_6(2)$ 及びその拡張における部分群構造に関して、有限群のアトラスに存在するわずかな構造的誤りを是正すること。
• 計算的および群論的技法を用いて、$^2E_6(2)$ の適切な非アーベル単純部分群の39種類の同型型を分類すること。
• 位数2および3の元によって生成される部分群の分析を通じて、最大部分群を体系的かつ信頼性高く分類する方法を確立すること。

提案手法

• 位数2の対合と位数3の元によって生成される部分群の計算的分析。これが分類戦略の核をなす。
• $p \neq 3$ に対する $p$-局所的部分群分析と、$3$-局所的部分群の詳細な分類により、可能な最大部分群を制限する。
• $n = 5,7,11,13,17,19$ に対する $(2,3,n)$-三つ組の構造定数分析を用いて、特定の単純部分群を生成する。
• マーモス群およびベビーモンスターグループへの $^2E_6(2)$ の既知の埋め込みを活用し、最大部分群の同型型の可能性を制限する。
• ノートンによるマーモス群内の部分群の分類を用いて、12のケースで候補となる最大部分群を除外する。
• 第22節において、一部の結果について計算を用いない代替証明を提示し、計算的手法の妥当性を検証するとともに、研究結果への信頼性を高める。

実験結果

リサーチクエスチョン

• RQ1 $^2E_6(2)$ 及びその自己同型群 $G.S_3$ における最大部分群の完全な共軛類は何か？
• RQ2 非アーベル単純群のどの同型型が $^2E_6(2)$ に埋め込まれるか。また、それらはいくつの共軛類を形成するか？
• RQ3 計算群論を用いて、最大部分群の分類を体系的かつ信頼性高く達成するにはどうすればよいか？
• RQ4 有限群のアトラスにおいて、$^2E_6(2)$ の最大部分群の構造に関して、どのような是正が必要か？
• RQ5 マーモス群およびベビーモンスターグループへの $^2E_6(2)$ の埋め込みを用いて、最大部分群分類における残りのケースを解消できるか？

主な発見

• この論文は、$^2E_6(2)$ に正確な共軛類数を伴って、39種類の適切な非アーベル単純部分群の同型型を確認した。
• 群 $G$ に $F_4(2)$ の共軛類がちょうど3つ存在し、$G.3$ で融合する。$G.S_3$ における完全な正規化群は $F_4(2) \times 2$ である。
• $G$ に $O_{10}^{-}(2)$ の共軛類が1つ存在し、$G.S_3$ における正規化群は $(O_{10}^{-}(2) \times 3):2$ である。
• $G$ に $A_{12}$ の共軛類がちょうど1つ存在し、$G.S_3$ における正規化群は $(A_{12} \times 3):2$ であるが、この群は最大でない。
• ${}^3D_4(2)$ は $G$ に4つの共軛類を持つ。そのうち3つは $G.3$ で融合し、$G.S_3$ における正規化群は ${}^3D_4(2):3 \times 2$ および ${}^3D_4(2) \times S_3$ である。
• $S_8(2)$ は $G$ に4つの共軛類を持つ。$G.S_3$ における正規化群は $S_8(2) \times 2$ および $S_8(2) \times S_3$ であり、アトラスへの構造的修正が確認された。