[论文解读] 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

一句话总结

本文分类了包含大 p-子群 Q 和一个包含 Sylow p-子群的真子群 H 的有限群 G，其中 H∗ 是特征 p 下秩至少为 2 的典型李型单群（排除 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.

研究动机与目标

• 确定包含大 p-子群 Q 和一个包含 Sylow p-子群的真子群 H 的有限群 G 的结构，其中 F∗(H) 是特征 p 下秩 ≥2 的典型李型单群（排除 PSL₃(pᵃ)）。
• 解决标准分类程序前两步失败的开放问题，特别是当 N_H(Q) 可解时，尤其是当存在某个 p-中心元素 z 使得 C_H(z) 可解时。
• 通过识别 N_G(Q) ≠ N_H(Q) 的例外情况，扩展对抛物特征 p 下群的分类，这些情况极为罕见且结构高度受限。
• 提供满足给定条件的所有可能单群 G 的完整列表，特别是当 Q 的正规化子不包含于 H 中时。

提出的方法

• 使用大 p-子群 Q 的定义，要求 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 及其正规化子的作用，使用中心化子和正规化子控制等群论技术。
• 通过分析 N_H(X)/X 和 N_G(X)/X 的结构，当出现某些配置（例如初等阿贝尔 3-群作用于 2-群）时导出矛盾。
• 利用关于 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 哪些有限群 G 包含一个大 p-子群 Q 和一个包含 Sylow p-子群的真子群 H，使得 F∗(H) 是特征 p 下秩 ≥2 的典型李型单群（排除 PSL₃(pᵃ)），且存在某个 p-中心元素 z 使得 C_H(z) 可解？
• 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₂，均为散在群或典型李型的例外群。
• 对于 H∗ ≅ PΩ⁺₈(3)，证明了 N_G(X) = N_G(Q)，且 X 正规于 N_G(Q)，这迫使 G 同构于 F₂ 或 M(23)。
• 证明依赖于分析 N_G(Q) 在 H 的子群上的作用，特别是排除了初等阿贝尔 3-群（阶为 9）作用于 2-群的配置。
• 矛盾出现在此类作用迫使一个四元群被一个 3-群正规化，这在 N_G(X)/X ≅ 3³:Sym(4) 的结构中是不可能的。
• 通过中心化子、正规化子和在层 F∗(H) 上的作用的结构约束，系统性地排除了所有其他可能性，最终得到一个有限的例外群列表。