[论文解读] Classification of Maximal Subgroups of Odd Index in Finite Simple Classical groups: Addendum

Н. В. Маслова|arXiv (Cornell University)|Oct 4, 2017

Finite Group Theory Research参考文献 5被引用 8

一句话总结

本文修正并完善了有限单古典群在奇特征域上奇数阶极大子群的分类，纠正了Kleidman早期工作的缺陷，并更新了Maslova先前分类的结果。主要贡献在于提供了一份经修正且完整的此类子群列表，对原始论文中定理1的特定情况陈述进行了修订，通过更新的群论分析以及引用Bray、Holt和Roney-Dougal在2013年的更正来源予以验证。

ABSTRACT

A classification of maximal subgroups of odd index in finite simple groups was given by Liebeck and Saxl and, independently, Kantor in 1980s. In the cases of alternating groups or classical groups of Lie type over fields of odd characteristics, the classification was not complete. The classification was completed by the author in 2008. In the cases of finite simple classical groups of Lie type we used results obtained in Kleidman's PhD thesis. However there is a number of flaws in this PhD thesis. The flaws were corrected by Bray, Holt, and Roney-Dougal in 2013. In this note we provide a revision of the classification of maximal subgroups of odd index in finite simple classical groups over fields of odd characteristics.

研究动机与目标

• 修正并完善有限单古典群在奇特征域上奇数阶极大子群的分类，此前因基础文献中的错误而存在不完整之处。
• 通过整合Bray、Holt和Roney-Dougal在2013年的研究成果，纠正Kleidman博士论文中被早期工作引用的特定缺陷。
• 更新并验证Maslova先前论文[9]中定理1的陈述(6)、(10)和(21)，确保奇数阶极大子群分类的准确性。
• 为所有有限单古典群（包括线性、单位、辛和正交型）提供经修订且完整的此类子群分类。
• 通过2-adic比较和非退化型式中的判别式不变量，建立极大子群阶为奇数的精确条件。

提出的方法

• 利用Aschbacher对古典群子群的分类，重点关注几何Aschbacher类$C_i$（$1 \leq i \leq 8$），系统分析极大子群。
• 应用$2$-部分比较关系$m \preceq n$（通过二进制展开定义），以确定群阶的2-adic赋值下$|G:H|$为奇数的条件。
• 利用自然模$V$上双线性型的判别式$D(V)$与符号$\varepsilon = \mathrm{sgn}(V)$，对非退化子空间及其正交补进行分类。
• 使用同构分量的正交分解$V = \bigoplus_{i=1}^{n/m} V_i$分析稳定此类分解的极大子群，其中对$m$、$q$和$D(V_i)$施加条件。
• 通过Bray、Holt和Roney-Dougal在2013年的更正数据验证极大性，特别是参考其表8.39、8.50、8.52、8.58、8.66、8.68、8.74、8.82和8.84，以及Kleidman和Liebeck的表3.5.D、3.5.E和3.5.F。
• 将[9]的结果与经修正的群论条件相结合，通过$|G:H|_{2} = 1$重新验证奇数阶条件，依赖于$n \succeq m$以及$D(U) = 1$或$D(U) = -1$，具体取决于情况。

实验结果

研究问题

• RQ1 在奇数域上的有限单古典群中，哪些极大子群具有奇数阶？如何在文献中先前遗漏的情况下实现其完整分类？
• RQ2 Kleidman在1986年的博士论文中的错误如何影响奇数阶极大子群的分类？需要进行哪些修正以恢复正确性？
• RQ3 当子群$H$稳定一个非退化子空间或古典群中的正交分解时，$|G:H|$为奇数的精确条件是什么？
• RQ4 型式判别式$D(V)$与符号$\varepsilon$如何影响正交群与辛群中阶的奇偶性？
• RQ5 当$q$为素数且$n=7$或$n=8$时，$P\Omega_n(2)$型子群在$\Omega_n(q)$中的极大性与奇数阶条件为何？

主要发现

• 在奇数域上，有限单古典群中奇数阶极大子群的分类现已完整且经修正，特别对Maslova [9]中定理1的陈述(6)、(10)和(21)进行了修订。
• 对于$G = \Omega_n(q)$，$n \geq 7$为奇数且$q$为奇数时，$|G:H|$为奇数当且仅当$n \succeq m$且$D(U) = 1$，其中$H$是维数为$m$的非退化子空间$U$的稳定化子，且$H$为极大子群，除非$(q,m,\mathrm{sgn}(U)) = (3,2,+)$.
• 对于稳定正交分解$V = \bigoplus V_i$（维数为$m$）的$H$，$|G:H|$为奇数当且仅当$m=1$且$q \equiv \pm 3 \pmod{8}$，且当$m>1$且$(m,q) \neq (3,3)$，或$m=1$且$q$为素数时，$H$为极大子群。
• 对于$G = \Omega_n^\varepsilon(q)$，$n \geq 8$为偶数且$q$为奇数时，若$m$为偶数、$D(U) = 1$，且当$D(V) = 1$时$n \succeq m$，或$m$为奇数且$n-2 \succeq m-1$，或$m$为偶数且$n-2 \succeq m-2$（当$D(V) = -1$时），则$|G:H|$为奇数。
• 对于$H \cong P\Omega_7(2)$在$\Omega_7(q)$中，$|G:H|$为奇数当且仅当$q \equiv \pm 3 \pmod{8}$，且$H$为极大子群当且仅当$q$为素数。
• 对于$H \cong P\Omega_8^+(2)$在$\Omega_8^+(q)$中，$|G:H|$为奇数当且仅当$q \equiv \pm 3 \pmod{8}$，且当$q$为素数时$H$为极大子群，其阶的公式通过2-adic赋值得到验证。