[论文解读] Reduced fusion systems over 2-groups of small order

Kasper K. S. Andersen, Bob Oliver+1 more|arXiv (Cornell University)|Jun 16, 2016

Finite Group Theory Research参考文献 24被引用 3

一句话总结

本文证明了所有阶至多为 2^9 的 2-群上的饱和融合系统均可实现，方法是证明在此类群上所有约化、不可约的融合系统均为有限单群的融合系统且为驯服的。该证明依赖于对满足由伯杰定理导出的强 2-嵌入子群条件的 2-群的计算分类，表明在此范围内仅有限单群或乘积群的 Sylow 2-子群可支持约化融合系统。

ABSTRACT

We prove, when $S$ is a $2$-group of order at most $2^9$, that each reduced fusion system over $S$ is the fusion system of a finite simple group and is tame. It then follows that each saturated fusion system over a $2$-group of order at most $2^9$ is realizable. What is most interesting about this result is the method of proof: we show that among $2$-groups with order in this range, the ones which can be Sylow $2$-subgroups of finite simple groups are almost completely determined by criteria based on Bender's classification of groups with strongly $2$-embedded subgroups.

研究动机与目标

• 确定所有阶至多为 2^9 的 2-群上的饱和融合系统是否均可实现。
• 对小阶 2-群上的约化、不可约融合系统进行分类，并证明其源自有限单群。
• 利用先前将驯服性与可实现性关联的结果，确立此范围内约化融合系统的驯服性。
• 利用伯杰对具有强 2-嵌入子群的群的分类所导出的结构约束，识别出哪些阶 ≤2^9 的 2-群可支持约化融合系统。

提出的方法

• 使用 Magma 和 GAP 的计算机辅助搜索，识别所有阶 ≤2^9 且满足支持约化融合系统所必需的特定结构条件的 2-群。
• 应用阿普林融合定理，将融合系统中的态射分解为 S 的自同构与从本质子群的限制的复合。
• 基于由伯杰定理导出的准则，识别每个 2-群中的“关键”子群（潜在的本质子群）。
• 计算关键子群的可能自同构群，以确定每个 2-群上可能的融合系统。
• 使用群论与模表示论技术（例如，分析 F_2[G]-模上的作用）排除非典型或非驯服的系统。
• 验证仅有限单群或更小群的乘积的 Sylow 2-子群满足必要条件，且后者因非约化或非不可约而被排除。

实验结果

研究问题

• RQ1 阶至多为 2^9 的哪些 2-群可支持约化融合系统？
• RQ2 所有阶 ≤2^9 的 2-群上的约化融合系统是否均为驯服的？若是，驯服性是否蕴含可实现性？
• RQ3 伯杰对具有强 2-嵌入子群的群的分类能否用于限制可能支持非典型或不可实现融合系统的候选 2-群列表？
• RQ4 有限单群的 Sylow 2-子群在多大程度上与在此阶范围内的支持约化融合系统的 2-群重合？
• RQ5 哪些结构特性可将支持约化融合系统的 2-群与不支持的 2-群区分开？

主要发现

• 在 2328 个阶为 2^7 的群中，仅有 9 个满足支持约化融合系统的必要条件，其中 6 个是有限单群的 Sylow 2-子群。
• 在 56,092 个阶为 2^8 的群中，仅有 20 个满足条件，其中 6 个是有限单群的 Sylow 2-子群。
• 在约 10^7 个阶为 2^9 的群中，仅有 34 个满足条件，其中 10 个是有限单群的 Sylow 2-子群。
• 所有阶 ≤2^9 的 2-群上的约化、不可约融合系统均同构于某个有限单群的融合系统。
• 所有此类融合系统均为驯服的，因此根据先前将驯服性与可实现性关联的结果，它们均可实现。
• 在此范围内仅支持约化融合系统的 2-群为有限单群的 Sylow 2-子群或更小群的乘积，而后者被排除在支持不可约约化系统之外。