[论文解读] The Exact Factorizations of Almost Simple Groups

Cai Heng Li, Wang, Lei+1 more|arXiv (Cornell University)|Dec 17, 2020

Finite Group Theory Research参考文献 20被引用 4

一句话总结

本文解决了有限几乎单群精确分解分类的长期难题，证明此类分解仅在特定情况下出现，涉及典型李型群，且在大多数情况下其中一个因子为‘几乎极大’。该分类在拟本原置换群、$s$-弧传递Cayley图以及双完美H opf代数方面具有应用，证实了非交换代数结构中的一个猜想。

ABSTRACT

This paper presents a classification of exact factorizations of almost simple groups, which has been a long-standing open problem initiated around 1980 by the work of Wiegold-Williamson, and significantly progressed by Liebeck, Praeger and Saxl in 2010. The classification is then used to solve problems in bicrossproduct Hopf algebras and permutation groups.

研究动机与目标

• 解决有限几乎单群精确分解的长期开放问题。
• 刻画包含正则单子群的拟本原置换群。
• 确定有限单群的 $s$-弧传递Cayley图的结构。
• 证实关于由精确分解导出的双完美半单H opf代数的猜想。
• 建立在非可解的典型李型群的精确分解中，一个因子为几乎极大，仅存在少数例外。

提出的方法

• 使用群论技巧和极大分解理论，对几乎单群 $G$ 的非可解子群 $H$ 和 $K$ 的所有精确分解 $G = HK$ 进行分类。
• 应用关于在子空间上作用的传递子群以及在极大分解中的嵌入结果，分析线性群、酉群、辛群和正交群。
• 利用双交叉积H opf代数理论，将精确分解与代数结构（特别是双完美半单H opf代数）联系起来。
• 采用容斥原理和法诺尔子群分析，验证分解中的自正规化条件。
• 利用典型群中极大子群和本原作用的分类，限制可能的因子对。
• 通过群作用和置换群理论，特别是拟本原群的背景下，验证 $s$-弧传递Cayley图的结构。

实验结果

研究问题

• RQ1 当 $H$ 和 $K$ 均为非可解时，有限几乎单群的哪些精确分解 $G = HK$ 存在？
• RQ2 在这些分解中，因子的结构角色是什么，特别是在典型李型群中？
• RQ3 哪些拟本原置换群包含一个正则单子群，它们如何被分类？
• RQ4 有限单群的 $3$-弧传递Cayley图有多罕见，其特征是什么？
• RQ5 是否存在由有限单群的精确分解导出的双完美半单H opf代数，若存在，其条件是什么？

主要发现

• 几乎单群的精确分解分类已完全完成：所有此类具有非可解因子的分解均已列于表 1.1 中，不考虑 $H$ 与 $K$ 的交换。
• 对于典型李型群，若 $G = HK$ 是一个精确分解且 $H$ 和 $K$ 均为非可解，则 $H$ 或 $K$ 为‘几乎极大’，仅存在少数例外。
• 有限单群的 $3$-弧传递Cayley图数量极为有限，仅存在有限多个。
• 包含正则单子群的拟本原群已被完全分类，其正则子群的法诺尔子群为1维子空间、2维子空间或反旗的稳定化子，不考虑自同构。
• 关于双完美半单H opf代数的猜想已得到证实：此类代数恰好来源于两个因子均为完全且自正规化的精确分解，且仅存在定理14.2中的情况（a）–（f）。
• 在所有情况下，分解结构均蕴含强法诺尔子群约束，唯一可行的配置即为定理14.2中列出的情况，排除自正规化条件不成立的情形。