[论文解读] Finite simple groups with narrow prime spectrum

Andrei V. Zavarnitsine|arXiv (Cornell University)|Oct 3, 2008

Finite Group Theory Research参考文献 1被引用 108

一句话总结

本文使用 GAP 中的计算群论，识别出所有其阶的素因子不超过 1000 的非交换有限单群。证明共有 1972 个此类群，按其素数谱系统列出，并根据素数域参数和李型结构，将其分类为通有族与非通有族。

ABSTRACT

We find the nonabelian finite simple groups with order prime divisors not exceeding 1000. More generally, we determine the sets of nonabelian finite simple groups whose maximal order prime divisor is a fixed prime less than 1000. Our results are based on calculations in the computer algebra system GAP.

研究动机与目标

• 确定所有其阶的素因子不超过 1000 的非交换有限单群。
• 根据其最大素因子对这些群进行分类，将它们组织为每个素数 p ≤ 1000 对应的集合 𝔖_p。
• 区分通有群（如 L₂(p)、A_p、A_{p+1}、...、A_{p′−1}）与每个 p 对应的非通有例外。
• 提供一份完整且经计算验证的此类群列表（包括同构重复项），以供群论与算术应用。

提出的方法

• 采用 [2, 引理 2] 中的理论界，表明对于有限素数集 π，仅存在有限多个非交换单群满足 π(G) ⊆ π。
• 在 GAP 中实现一个算法，检查所有散在群、交替群 A_n（其中 n ≤ p′−1，p′ 为 p 后的下一个素数），以及秩与域大小受限的李型群。
• 使用公式 t = max_{r∈π∖{p}} ord_r(p) 来限制李型群中 q = p^k 的指数 k，确保搜索空间有限。
• 计算候选群的阶的素因子分解，并筛选出所有素因子 ≤ 1000 的群。
• 按最大素因子 p 对结果分组，形成集合 𝔖_p，对除通有族外无非通有元素的群作特殊处理。
• 生成全面的表格，列出所有此类群，对较大素数使用缩写形式，并通过表格 LABEL:gen 和 LABEL:ng 识别例外情况。

实验结果

研究问题

• RQ1 有多少个非交换有限单群的阶的所有素因子都不超过 1000？
• RQ2 对每个素数 p ≤ 1000，哪些非交换有限单群 G 满足 p ∈ π(G) ⊆ {2, 3, ..., p}？
• RQ3 哪些素数 p ≤ 1000 在 𝔖_p 中仅包含通有群（L₂(p)、A_p、...、A_{p′−1}），而无额外的非通有群？
• RQ4 对每个 p ≤ 1000，其素数谱包含于 {2, 3, ..., p} 的非交换有限单群的完整集合是什么？
• RQ5 对 p ≤ 1000，哪些李型群（如 L_n(q)、U_n(q)、S_n(q)、O±_n(q)、G₂(q)、E₆(q) 等）出现在列表中，其域与秩有何约束？

主要发现

• 恰好有 1972 个非交换有限单群，其阶的素因子不超过 1000。
• 对 p ≤ 100 的素数，只有当 p = 59 和 89 时，𝔖_p 中除通有族 L₂(p)、A_p、...、A_{p′−1} 外不包含任何非通有群。
• 对所有 p ≥ 5，𝔖_p 总包含通有元素 L₂(p)、A_p、A_{p+1}、...、A_{p′−1}，若无非通有群存在，则 |𝔖_p| = p′ − p + 1。
• 完整群列表见表 LABEL:alph，包含同构重复项（如 L₂(7) ≅ L₃(2)），并按素数谱组织。
• 非通有群在表 LABEL:ng 中明确列出，适用于不在仅含通有群的 p ≤ 1000 素数列表中的 p。
• 该算法成功使用 GAP 识别出所有此类群，其中秩 l ≤ max{8, t}，域大小 q = p^k 且 k ≤ t，确保了完备性。