[論文レビュー] 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.

研究の動機と目的

• 奇数の特徴を持つ体上の有限単純古典的群における奇数位数の最大部分群の分類を、基礎的出典に誤りがあったために不完全であったことから、修正・再検討すること。
• 以前の研究で引用された Kleidman の博士論文における特定の欠陥を、Bray, Holt, Roney-Dougal の2013年研究による修正を組み込むことで是正すること。
• Maslova の先行論文 [9] の定理1における記述 (6)、(10)、(21) を更新・検証し、奇数位数の最大部分群の分類における正確性を保証すること。
• 線形、ユニタリ、シミレティック、直交型を含む、すべての有限単純古典的群におけるこうした部分群の、見直され完全な分類を提供すること。
• 非退化形式の文脈において2進評価と判別式不変量を用いて、最大部分群の位数が奇数であるための明確な条件を確立すること。

提案手法

• 古典群における部分群の Aschbacher の分類に着目し、特に $1 \leq i \leq 8$ の幾何的 Aschbacher クラス $C_i$ を用いて、最大部分群を体系的に分析した。
• 2進部分比較関係 $m \preceq n$（2進展開に基づいて定義される）を用いて、群の位数の2進評価に基づき、$|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年研究による修正データを用いて最大性を検証した。特に、Tables 8.39, 8.50, 8.52, 8.58, 8.66, 8.68, 8.74, 8.82, 8.84 および Kleidman と Liebeck の Tables 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$ のとき、$\Omega_n(q)$ における $P\Omega_n(2)$ 型の部分群 $H$ に対して、最大性および奇数位数の条件は何か？

主な発見

• 奇数の特徴を持つ体上の有限単純古典的群における奇数位数の最大部分群の分類は、今や完全かつ修正済みであり、Maslova [9] の定理1における記述 (6)、(10)、(21) についての特定の修正がなされている。
• $G = \Omega_n(q)$ で $n \geq 7$ が奇数で $q$ が奇数のとき、$H$ が次元 $m$ の非退化部分空間 $U$ の安定化子であるとすると、$|G:H|$ が奇数であるための必要十分条件は $n \succeq m$ かつ $D(U) = 1$ であり、$(q,m,\mathrm{sgn}(U)) = (3,2,+)$ でない限り $H$ は最大である。
• $V = \bigoplus V_i$ の直交分解を $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$ が奇数のとき、$|G:H|$ が奇数であるための条件は、$D(V) = 1$ のとき $m$ が偶数、$D(U) = 1$、$n \succeq m$ であること。$D(V) = -1$ のとき、$m$ が奇数で $n-2 \succeq m-1$ であること、または $m$ が偶数で $n-2 \succeq m-2$ であること。
• $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}$ であり、$H$ が最大であるのは $q$ が素数のときであり、2進評価による指数式が確認された。