[论文解读] GAP Computations Concerning Probabilistic Generation of Finite Simple Groups

Thomas Breuer|arXiv (Cornell University)|Oct 17, 2007

Finite Group Theory Research参考文献 14被引用 7

一句话总结

本文通过GAP计算全面研究了有限几乎单群的随机生成性质，重点关注非生成对的比例以及特定元素所属的极大子群。利用字符表和群作用，验证了在多种经典群与散在群中，使用固定元素生成群的概率低于1/3，精确值通过置换表示和Sylow子群分析计算得出。

ABSTRACT

This is a collection of examples showing how the GAP system can be used to compute information about the probabilistic generation of finite almost simple groups. It includes all examples that were needed for the computational results in the paper "Probabilistic generation of finite simple groups, II" by Thomas Breuer, Robert M. Guralnick, and William M. Kantor. The purpose of this writeup is twofold. On the one hand, the computations are documented this way. On the other hand, the GAP code shown for the examples can be used as test input for automatic checking of the data and the functions used.

研究动机与目标

• 记录并验证[BGK08]中关于有限几乎单群随机生成的计算结果，使用GAP进行计算。
• 提供可复现的GAP代码，用于验证有限单群上的特征标理论与群论计算。
• 计算各种有限单群及特定元素s的非生成概率σ(G,s)和P(G,s)的精确值。
• 通过结合群作用与置换表示，解决仅靠特征表无法处理的情况。
• 通过提供的GAP代码进行自动化测试，确保结果的正确性与可复现性。

提出的方法

• 利用GAP系统对GAP字符表库中的字符表执行特征标理论计算。
• 通过群在范数向量轨道上的置换作用，为缺乏字符表的群构造忠实的置换表示。
• 应用Sylow子群分析与共轭类代表元，计算不动点数并推导σ(G,s)值。
• 使用RatioOfNongenerationTransPermGroup函数在置换群中计算精确的非生成概率。
• 利用Action和Stabilizer函数构造对应于极大子群的点稳定化子。
• 应用PossiblePermutationCharacters函数识别可能的置换特征标，并验证子群的极大性。

实验结果

研究问题

• RQ1 对于哪些有限几乎单群G及元素s ∈ G，使用s生成G的概率P(G,s)小于1/3？
• RQ2 当特征表不可用时，非生成概率σ(G,s)的精确值是多少？
• RQ3 哪些极大子群包含G中阶为素数或特定阶的元素s，它们如何影响生成性质？
• RQ4 如何为U₆(3)和U₈(2)等群构造置换表示，以在缺乏特征表时计算σ(G,s)？
• RQ5 GAP字符表库与群论函数在多大程度上可结合使用，以验证关于随机生成的理论结果？

主要发现

• 对于A₅, A₆, A₇, M₁₁, M₁₂, S₆(2), U₄(2), 和 O₇(3)，非生成概率P(G,s)小于1/3，其中s的阶分别为5, 4, 7, 11, 10, 9, 9, 和14。
• 对于A₈, A₉, A₁₁, A₁₃, A₁₅, A₁₇, A₁₉, A₂₁, A₂₃, L₃(2), L₃(3), L₃(4), L₄(3), L₄(4), L₆(2), L₆(3), L₆(4), L₆(5), L₈(2), L₁₀(2), O⁺₈(4), O⁺₁₀(2), O⁺₁₂(2), O⁺₁₂(3), O⁻₈(2), O⁻₈(3), O⁻₁₀(2), O⁻₁₀(3), O⁻₁₂(2), O⁻₁₄(2), S₄(4), S₆(3), S₆(4), S₈(3), U₃(3), U₃(5), U₄(4), U₅(2), U₆(2), U₆(3), U₈(2)，非生成概率P(G,s)小于1/3。
• 对于U₆(3)，σ(G,s) = 353/3159 ≈ 0.1117，通过在44226条直线上的置换作用与Sylow子群分析计算得出。
• 对于U₈(2)，σ(G,s) = 2753/10880 ≈ 0.2531，基于10880条直线上的置换表示与不动点计数推导得出。
• 对于U₄(3).2₁ ≅ SO⁻(6,3)，精确的非生成概率为13/27 ≈ 0.4815，通过传递置换表示与中心化子分析计算得出。
• 对于U₆(3)，唯一包含阶为122的元素的极大子群是2×U₅(3)，其在双重覆盖中提升为GU(5,3)，从而确认了M(G,s)的结构。