[論文レビュー] Finite groups of units and their composition factors in the integral group rings of the groups $ ext{PSL}(2,q)$

Martin Hertweck, Christian R. Höfert+1 more|ArXiv.org|Oct 1, 2008

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

ひとこと要約

本稿では、有限体ℤPSL(2,q)の単位群V(ℤPSL(2,q))の2次有限部分群がPSL(2,q)の部分群に同型であることを確立し、より一般に、V(ℤPSL(2,q))の有限部分群のすべての組成因子がPSL(2,q)の部分群に同型であることを示している。証明は特徴標理論、部分増幅度、および2次Sylow部分群が折りたたみ型またはアーベル型である有限単純群の分類に依拠しており、PSL(2,q)の整数群環におけるねじれ単位元に強い構造的制約が存在することを確認している。

ABSTRACT

Let $G$ denote the projective special linear group $ ext{PSL}(2,q)$, for a prime power $q$. It is shown that a finite 2-subgroup of the group $V(\mathbb{Z}G)$ of augmentation 1 units in the integral group ring $\mathbb{Z}G$ of $G$ is isomorphic to a subgroup of $G$. Furthermore, it is shown that a composition factor of a finite subgroup of $V(\mathbb{Z}G)$ is isomorphic to a subgroup of $G$.

研究の動機と目的

• G = PSL(2,q)に対して、単位群V(ℤG)の有限部分群の同型型を特定すること。これはZassenhaus予想の主要なケースである。
• V(ℤG)の有限部分群の組成因子がGの部分群に同型であるかどうかを調査すること、特に非アーベル単純群の場合に焦点を当てる。
• PSL(2,q)の場合に、整数群環における2部分群に関する結果を拡張すること。この場合、Sylow 2部分群はqに応じて折りたたみ型またはアーベル型となる。
• 表現論的および群論的道具を用いて、V(ℤPSL(2,q))の有限部分群の構造的特徴付けを提供すること。
• 有限群Gに対してV(ℤG)の部分群として有限群が実現可能かどうかを理解する包括的プログラムに貢献すること。

提案手法

• G = PSL(2,q)の通常特徴標の制限を、V(ℤG)の部分群H ≤ に対して分析する特徴標理論を用い、⟨λ, ξ_H⟩の内積を計算することで、Hが実現可能でない場合の矛盾を検出する。
• 部分増幅度とBerman–Higmanの定理を適用し、特に1係数が0でない部分群の存在を除外する。
• 2次Sylow部分群が折りたたみ型またはアーベル型である有限単純群の分類を活用し、Hの可能な組成因子を分析する。
• G = PSL(2,q)の場合、既存の研究で示されたように、V(ℤG)の有限部分群は、アーベル型または折りたたみ型のSylow 2部分群を持つことを利用する。
• Brauer–Suzukiによる四元数群に関する結果や、Sylow 2部分群がアーベル型である単純群のWalter分類などの群論的結果を適用する。
• 表現の定義体に関する議論を用い、J₁やRee群のような候補を、要素の位数とSylow構造に基づいて除外する。

実験結果

リサーチクエスチョン

• RQ1 V(ℤPSL(2,q))の有限2部分群は、PSL(2,q)の部分群に同型であるか？
• RQ2 V(ℤPSL(2,q))の有限部分群のすべての組成因子は、PSL(2,q)の部分群に同型であるか？
• RQ3 V(ℤPSL(2,q))の有限部分群の非アーベル組成因子がJ₁やRee群に同型である可能性はあるか？
• RQ4 V(ℤPSL(2,q))の有限部分群が非可解な組成因子を持つ場合、それはPSL(2,q)自身に同型でなければならないか？
• RQ5 奇数pに対して、V(ℤPSL(2,q))の位数pの単位元は、ℚG内でPSL(2,q)の要素と共役であるか？

主な発見

• PSL(2,q)の有限2部分群は、qが奇数でSylow 2部分群が折りたたみ型であるとき、PSL(2,q)の部分群に同型である。
• V(ℤPSL(2,q))の有限部分群のすべての組成因子は、PSL(2,q)の部分群に同型である。非アーベル単純群も含む。
• Janko群J₁は、すべての位数7要素が共役であるため、特徴標理論的制約に反するため、組成因子として除外される。
• Ree群は、Sylow 3部分群が非巡回的であるのに対し、PSL(2,q)のSylow 3部分群は巡回的であるため、組成因子として除外される。
• G ≠ PSL(3,3)である最小の有限単純群Gに対して、|G|未満の位数のV(ℤG)の有限部分群は、位数とSylow構造の分析により可解であることが示された。
• GがSuzuki群Sz(2^p)である場合、V(ℤG)の有限部分群に真の非可解な組成因子が現れることはなく、それはG自身に同型でなければならないが、これはサイズの仮定に反する。