[論文レビュー] Groups which are almost groups of Lie type in characteristic p

Christopher Parker, Gernot Stroth|arXiv (Cornell University)|Oct 6, 2011

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

ひとこと要約

この論文は、有限群 G が大きな p-部分群 Q と、Sylow p-部分群を含む真の部分群 H を持ち、H∗ がランクが 2 以上の特徴的 p の単純 Lie 型群（PSL₃(pᵃ) を除く）であり、ある p-中心的元 z に対して Cₕ(z) が可解であるような場合を分類する。主な結果は、N_G(Q) = N_H(Q) であるか、p=2 または p=3 の場合に G が有限個の既知の単純群（例：Mat(11), G₂(3), F₄(2), Co₂, M(22), M(23), F₂）に同型であるということである。

ABSTRACT

For a prime $p$, a $p$-subgroup of a finite group $G$ is said to be large if and only if $Q= F^*(N_G(Q))$ and, for all $1 eq U \le Z(Q)$, $N_G(U) \le N_G(Q)$. In this article we determine those groups $G$ which have a large subgroup and which in addition have a proper subgroup $H$ containing a Sylow $p$-subgroup of $G$ with $F^*(H)$ a group of Lie type in characteristic $p$ and rank at least 2 (excluding $\PSL_3(p^a)$) and $C_H(z)$ soluble for some $z \in Z(S)$. This work is part of a project to determine the groups $G$ which contain a large $p$-subgroup.

研究の動機と目的

• Sylow p-部分群を含む真の部分群 H を持ち、F∗(H) が特徴的 p のランク ≥2 の単純 Lie 型群（PSL₃(pᵃ) を除く）であるような有限群 G の構造を特定すること。
• N_H(Q) が可解であるために分類プログラムの最初の二段階が失敗する場合の未解決問題を解明すること、特にある p-中心的元 z に対して C_H(z) が可解である場合に注目すること。
• N_G(Q) ≠ N_H(Q) となる例外的ケースを特定することで、パラボリック特徴的 p の群の分類を拡張し、これらはまれで非常に構造的であることを明らかにすること。
• 与えられた条件下を満たす可能性のある単純群 G の完全なリストを提示すること、特に N_G(Q) が H に含まれない場合に注目すること。

提案手法

• Q が大きな p-部分群であるという定義を用い、Q = F∗(N_G(Q)) かつすべての自明でない U ≤ Z(Q) に対して N_G(U) ≤ N_G(Q) が成り立つことを要請する。
• ある p-中心的元 z ∈ Z(S) に対して C_H(z) が可解であるという条件を適用し、H および G の可能な構造を制限する。
• N_G(Q) が H の部分群、特にレディカル部分群 X 及びその正規化子に作用する様子を、中心化子および正規化子の制御といった群論的技法を用いて分析する。
• 特定の構成（例：2-群に作用する初等アーベルな3-群）が生じた場合に、N_H(X)/X および N_G(X)/X の構造を用いて矛盾を導く。
• PΩ⁺₈(3)、G₂(3)、PSU₆(2) などの既知の群の構造に関する結果を活用し、F∗(G) の可能性のある同型型を特定する。
• 補題 2.18 および補題 2.19 を適用して、H における正規化子構造を G に拡張し、N_G(Q) ≤ H であるか、G が H と N_G(Q) によって生成されることを示し、例外的ケースでは G = H または G = F∗(G) となることを導く。

実験結果

リサーチクエスチョン

• RQ1 Sylow p-部分群を含む真の部分群 H を持ち、F∗(H) が特徴的 p のランク ≥2 の単純 Lie 型群（PSL₃(pᵃ) を除く）であり、ある p-中心的元 z に対して C_H(z) が可解であるような有限群 G はどのようなものか？
• RQ2 N_G(Q) ≠ N_H(Q) が成り立つ条件は何か？ そして G に与える構造的影響は何か？
• RQ3 N_H(Q) が可解である場合に標準分類プログラムが妨げられる理由は何か？ そして、それらはどのように体系的に解消できるか？
• RQ4 このような構成で F∗(G) として現れる有限単純群は何か？ 特に p=2 または p=3 の場合に注目する。
• RQ5 H∗ ≅ PΩ⁺₈(3) であるような状況で、G が M(23) または F₂ に同型になることは可能か？ そのような同型が可能となる構造的性質は何か？

主な発見

• p=2 の場合、N_G(Q) = N_H(Q) でない唯一の例外は G ≅ Mat(11), Mat(23), G₂(3), または PΩ⁺₈(3) であり、これらはすべて既知の有限単純群である。
• p=3 の場合、例外的ケースは F∗(G) ≅ PSU₆(2), F₄(2), ²E₆(2), McL, Co₂, M(22), M(23), または F₂ である。これらはすべて散逸的または例外的 Lie 型群である。
• H∗ ≅ PΩ⁺₈(3) の場合、N_G(X) = N_G(Q) であり、X は N_G(Q) で正規であることが示され、これにより G は F₂ または M(23) に同型であることが強制される。
• 証明は、N_G(Q) が H の部分群に作用する様子を分析することに依拠し、特に初等アーベルな3-群（位数9）が2-群に作用するような構成を除外することに使われる。
• このような作用が、N_G(X)/X ≅ 3³:Sym(4) の構造において、4階群を3-群が正規化することを強いるため、矛盾が生じる。
• 中心化子、正規化子、および層 F∗(H) における作用に関する構造的制約を用いて、他のすべての可能性を排除することで、最終的な分類が達成され、有限個の例外的群のリストが得られる。