[論文レビュー] Maximal subgroups of almost simple groups with socle $\PSL(2,q)$

Michael Giudici|ArXiv.org|Mar 23, 2007

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

ひとこと要約

この論文は、PSL(2,q) を小標数とするほとんど単純群のすべての極大部分群を分類し、DicksonによるPSL(2,q)における極大部分群の分類を、PSL(2,q) ≤ G ≤ PΓL(2,q) という完全なほとんど単純群の系列へと拡張する。主な貢献は、正規化子、体自己同型、部分群融合を用いた群論的技法を用いて、小標数を含まない新たな極大部分群を含む、完全な極大部分群のリストの構築である。

ABSTRACT

We determine all maximal subgroups of the almost simple groups with socle $T=\PSL(2,q)$, that is, of all groups $G$ such that $\PSL(2,q)\leqslant G\leqslant\PGammaL(2,q)$, with $q\geq 4$.

研究の動機と目的

• q ≥ 4 に対して、PSL(2,q) ≤ G ≤ PΓL(2,q) を満たすほとんど単純群 G について、その小標数が PSL(2,q) であるようなすべての極大部分群を特定すること。
• 小標数 T = PSL(2,q) を含まない「新規性」極大部分群の存在と分類を解明すること。これは、T から G への極大部分群の拡張を複雑にする要因である。
• PΣL(2,q)、PGL(2,q)、PΓL(2,q)、および 3-推移的群 M(s,q) における極大部分群の完全かつ一般的な取り扱いを提供すること。これは、問題が長らくフォークロア的であったにもかかわらず、文献における空白を埋めるものである。
• Dickson による PSL(2,q) における極大部分群の分類を、正規化子の技法と自己同型群作用を用いて、完全なほとんど単純群拡張へと拡張すること。

提案手法

• PSL(2,q) における極大部分群の Dickson の分類を活用し、q = 2^f または q = p^f (p が奇素数) の場合に分けて議論した。
• PGL(2,q) = ⟨PSL(2,q), δ⟩ および PΓL(2,q) = ⟨PGL(2,q), φ⟩ の構造を用い、δ は対角的自己同型、φ は体自己同型である。
• T を含まない G の極大部分群 M については、M ∩ T 及びその G における正規化子を調べ、特に M ∩ T に含まれる初等アーベルな 2-部分群 E に注目した。
• Aschacher の定理フレームワークと部分群融合技法を適用し、特に H = D_{q±1}、A_4、S_4、または部分体群の場合に、N_G(H) が G で極大である条件を特定した。
• 体自己同型作用を用いて、自己同型によって固定されたり中心化されたりする部分群を分析し、C_G(a) が極大である場合を区別した。
• 複数の命題（3.1–3.4）の結果を統合して完全な分類を導出し、既存の文献（例：[3]）による小規模な q に対する検証を併記した。

実験結果

リサーチクエスチョン

• RQ1 小標数 T を持つほとんど単純群 G における極大部分群で、T を含まないものはどれであり、どのような条件下で G において極大となるか？
• RQ2 PSL(2,q) の部分群 H に対して、その正規化子 N_G(H) が G で極大となる条件は何か。特に、H が二面体群、A_4、S_4、または部分体群である場合に注目する。
• RQ3 PSL(2,q) で極大な部分群 H が、PGL(2,q) や PΓL(2,q) でも極大のままである条件は何か？
• RQ4 T における M ∩ T が極大でない（すなわち「新規性」を持つ）G の極大部分群 M が存在する条件は何か。また、このような部分群はどのように分類できるか？
• RQ5 体自己同型および外部自己同型作用は、PΣL(2,q) および M(s,q) 群における正規化子の極大性にどのように影響するか？

主な発見

• 小標数が PSL(2,q) で G ≤ PΓL(2,q) を満たす G のすべての極大部分群は分類され、新規性は定理 1.1 および表 1 に明示的に記載されている。
• G = PΣL(2,q) で q = p^f、p が奇素数、f ≥ 2 の場合、PSL(2,q) を含まない極大部分群は：点の安定化子、q ≠ 9 のとき N_G(D_{q±1})、p ≡ ±3 mod 10 かつ f = 2 のとき S_5、および q = q₀^r（r が素数）のとき N_G(PSL(2,q₀)) である。
• G = PΓL(2,q) で q ≥ 4 が素数でない場合、PSL(2,q) を含まない極大部分群は：点の安定化子、N_G(D_{2(q±1)})、および q = q₀^r（r が素数）かつ q₀ ≠ 2、q が奇数のとき r が奇数のとき N_G(PGL(2,q₀)) である。
• s | f/2 のとき M(s,q) = ⟨PSL(2,q), φ^s δ⟩ である 3-推移的群では、PSL(2,q) を含まない極大部分群は：点の安定化子、N_G(D_{q±1})、および q = q₀^r（r が奇素数）のとき N_G(PSL(2,q₀)) である。
• N_G(A_4) が G で極大であるのは、q ≡ ±3 mod 8 かつ G ≠ PSL(2,q) で q ≡ ±1 mod 10 のときに限る。それ以外の場合は、A_4 が A_5 に含まれ、融合が極大性を妨げる。
• q = 3^r で r が奇素数のとき、N_G(PSL(2,3)) ≅ A_4 は G = PΣL(2,q) で極大であり、r = 2 のとき、N_G(S_4) は2つの共役類を持ち、ρ(G/T) = 1 のとき G で極大である。