[论文解读] 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) 的所有极大子群进行了分类，将迪克森对 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$.

研究动机与目标

• 确定所有满足 PSL(2,q) ≤ G ≤ PΓL(2,q) 的几乎单群 G 的极大子群，其中 q ≥ 4。
• 解决‘新型’极大子群的存在性与分类问题——即不包含换位子群 T = PSL(2,q) 的子群，这些子群使得从 T 到 G 的极大子群扩展变得复杂。
• 为 PΣL(2,q)、PGL(2,q)、PΓL(2,q) 以及 3-传递群 M(s,q) 提供关于极大子群的完整且通用的处理，尽管该问题在文献中被视为常识，但仍存在空白。
• 通过正规化子技术与自同构群作用，将迪克森对 PSL(2,q) 中极大子群的分类推广至完整的几乎单群扩张。

提出的方法

• 利用迪克森对 PSL(2,q) 中极大子群的分类，按 q = 2^f 或 q = p^f（p 为奇素数）的奇偶性分情况讨论。
• 利用 PGL(2,q) = ⟨PSL(2,q), δ⟩ 和 PΓL(2,q) = ⟨PGL(2,q), φ⟩ 的结构，其中 δ 为对角自同构，φ 为域自同构。
• 通过研究 M ∩ T 及其在 G 中的正规化子，分析不包含 T 的 G 的极大子群 M，特别关注 M ∩ T 中的初等阿贝尔 2-子群 E。
• 应用阿舍彻定理框架与子群融合技术，确定何时正规化子 N_G(H) 在 G 中是极大的，尤其针对 H = D_{q±1}、A_4、S_4 或子域子群的情况。
• 利用域自同构的作用分析被自同构固定或中心化的子群，区分 C_G(a) 为极大的情形。
• 综合多个命题（3.1–3.4）的结果推导出完整分类，并通过现有文献（如 [3]）对小 q 值进行验证。

实验结果

研究问题

• RQ1 在换位子群为 PSL(2,q) 的几乎单群 G 中，哪些极大子群不包含换位子群 T？它们在 G 中何时为极大？
• RQ2 在何种条件下，子群 H ≤ PSL(2,q) 的正规化子 N_G(H) 在 G 中是极大的，特别是当 H 为二面体群、A_4、S_4 或子域子群时？
• RQ3 当子群 H ≤ PSL(2,q) 在 PSL(2,q) 中极大时，它在 PGL(2,q) 或 PΓL(2,q) 中何时仍为极大？
• RQ4 在什么条件下，存在极大子群 M ⊆ G 满足 M ∩ T 在 T 中不极大（即‘新型’子群）？此类子群如何分类？
• 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₀))。
• 对于 3-传递群 M(s,q) = ⟨PSL(2,q), φ^s δ⟩，其中 s | f/2，不包含 PSL(2,q) 的极大子群为：点稳定子群，N_G(D_{q±1})，以及当 q = q₀^r 且 r 为奇素数时的 N_G(PSL(2,q₀))。
• 当且仅当 q ≡ ±3 mod 8 且 G ≠ PSL(2,q) 且 q ≡ ±1 mod 10 时，N_G(A_4) 在 G 中为极大；否则 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)，且在 ρ(G/T) = 1 时为极大。