ChatGPT参与破解百年群论难题：关键证明函数竟由AI发现

在数学的世界里，有一类问题属于"极其容易描述，却极其难证明"。今天要聊的这个就是典型代表：给出一群"对称变换"，问能不能从中挑出一个"恰到好处"的子集，让它像一把万能钥匙一样，精确地打开每一把锁？

这个问题翻译成严谨的数学语言，就是 SL(2,q) 的尖锐传递子集存在性问题。它挂在数学界头顶上，从伽罗瓦时代算起已经快两百年了。问题的表述如此简洁，以至于任何一个学过线性代数的本科生都能理解；然而它的证明却需要融合有限域、群表示论、有限几何以及组合设计等多个数学分支中最深刻的工具。更令人惊叹的是，这个古老问题的最终解决，竟然还有AI的参与——一个名为ChatGPT的语言模型在证明过程中贡献了关键的思路。这或许是数学史上第一次，一个由人类提出、困扰了人类近两个世纪的问题，在人类与AI的协作下被彻底攻克。今天，我们就来完整地拆解这个证明的来龙去脉，看看数学家们是如何一步步逼近真相，又是如何在看似山穷水尽之时，借助AI的力量找到那条隐藏的路径。

百年悬案：从伽罗瓦到迪克森的群论难题

先解释一下主角。设 p 是一个素数，Fp 是有 p 个元素的有限域。SL(2,p) 是所有行列式等于 1 的 2×2 矩阵（元素来自 Fp）构成的群。这个群天然地作用在非零向量集合 Fp2 \ {0} 上——矩阵乘以向量，就这么朴素。这个作用有一个非常优美的性质：它是传递的，也就是说，对于任意两个非零向量 α 和 β，总能找到一个矩阵 g∈SL(2,p) 使得 g·α = β。事实上，SL(2,p) 的作用不仅传递，而且相当"丰富"，它包含了各种旋转、剪切和缩放变换（在有限域意义下）。

所谓"尖锐传递子集"，是指 S 是 SL(2,p) 的一个子集（注意：不需要构成子群！），且满足一个精确的一一映射性质：对任意一对非零向量 (α, β)，恰好存在唯一一个 s∈S，使得 s·α = β。这个概念可以追溯到置换群理论中对"锐传递性"的研究。从子群放松到子集，这个"放松"看似不起眼，实际上难度完全是两个次元。子群版本的问题，本质上是在问这个群有哪些结构良好的子群；而子集版本的问题，则是在问这个群能否被一个"恰好大小"的子集完美覆盖。后者不再受群公理的约束，因此传统的群论分类工具——比如Sylow定理、群的扩张理论等——全都失效了。这就像是你原本在规整的棋盘上研究棋子的走法，现在突然要求你在一个不规则的散点集合上寻找某种精确的配对模式，难度自然不可同日而语。

子群版本的历史极具传奇色彩。1832年，年仅20岁的伽罗瓦在决斗前夜写下了著名的"致舍瓦利耶的信"，在信中他敏锐地注意到素数 p = 5, 7, 11 这三个例外情况。伽罗瓦当时正在研究代数方程的可解性，他发现了这些特殊素数对应的群具有某种"完备"的对称性，但他并未给出完整的分类。将近七十年后，迪克森在1901年基于他对 PSL(2,q) 子群的完整分类，把子群版本的结论彻底敲实：SL(2,q) 在 Fq2 \ {0} 上存在尖锐传递子群，当且仅当 q ∈ {2, 3, 5, 7, 11}。对应阶数为 3, 8, 24, 48, 120，分别来自循环群、四元数群和几个"2倍"的经典群。这些例子还和 Zassenhaus 在 20 世纪 30 年代发现的"例外近域"（nearfield）密切相关。近域是一种代数结构，它比域弱，只满足分配律的一部分，但足以构造出这些特殊的传递群。这些例外近域的存在，正是这些特殊素数能够产生尖锐传递子群的深层原因。

但"子群版本"的终结并不意味着故事的结束。反过来，"子集版本"才是真正的硬骨头——它不要求 S 构成群，只要求 S 作为集合满足一一配对的性质，这使得传统的群论分类工具全都使不上劲。你可以想象，子群版本是问"有没有一个结构良好的团队能完成任务"，而子集版本则是问"能不能从人群中随机挑出一些人，恰好组成一个完美的配对网络"。后者显然要灵活得多，但也因此更难捉摸。数学家们很快发现，子集版本的问题与有限几何中一类看似完全不同的问题有着深刻的联系。

更妙的是，这个问题还和有限几何中一类重要对象巧妙等价：当 q 为奇数时，抛物型四维二次曲面 Q(4,q) 上大小为 q²−1 的最大部分卵形线（maximal partial ovoids）可以表示为 SL(2,q) 中的尖锐传递子集。这里 Q(4,q) 是四维射影空间中的二次曲面，而部分卵形线是其上满足一定条件的一组点。这个等价关系并非显而易见，它需要用到有限几何中的一些深刻定理，将群作用与几何对象联系起来。Coolsaet、De Beule 和 Siciliano 在2013年对已知例子给出了统一描述，并提出一个猜想：除了已知的那些例子，不再有其他情况。这个猜想将问题聚焦到了"已知例子之外是否还有未知情况"上。随后 De Beule 与 Gács 的系列工作排除了 q = ph（h>1）的复合幂次情形，于是最后的硬骨头只剩下一个形态：q = p 为素数。这意味着，所有非素数的 q 值都被排除了，剩下的问题纯粹是关于素数阶有限域的。

今天这篇论文做的就是这件事——把最后这块硬骨头啃下来：

定理1.1：设 p ≥ 13 为素数，则 SL(2,p) 在其自然作用 Fp2 \ {0} 上，不存在尖锐传递子集。

至此，尖锐传递子集的存在性被彻底厘清：存在当且仅当 q ∈ {2, 3, 5, 7, 11}。这也从正面证实了 Coolsaet 等人的猜想。这个结果不仅终结了一个古老的问题，也为有限几何中关于部分卵形线的研究画上了圆满的句号。值得注意的是，这个定理的证明并非一蹴而就，而是经历了多种方法的尝试与失败，最终才找到了正确的路径。接下来，我们就来回顾一下这条曲折的探索之路。

核心突破：模表示论如何破解组合计数无法逾越的障碍

论文作者在找到正解之前，其实已经"撞了很多次南墙"。据他们在文中的追溯，作者曾尝试用 Delsarte 理论（组合学中一种处理关联方案的线性规划方法）死磕小例子（如 p=13），但 LP 界、外分布（outer distribution）等工具都用上了，却始终无法排除尖锐传递子集的存在。这条路表面上完全走得通，但就是差最后一口气。Delsarte 理论是一种非常强大的组合工具，它通过线性规划来给出关联方案中某些参数的上界或下界。作者们最初的想法是，如果尖锐传递子集存在，那么它必然满足某些严格的计数约束，这些约束可能会与 Delsarte 理论给出的界产生矛盾。然而，经过大量的计算和尝试，他们发现这些约束虽然很强，但总是留有一丝余地，无法彻底排除所有可能性。这就像是试图用一张网去捕捉一条滑溜的鱼，网眼已经足够细，但鱼总能找到缝隙溜走。

转机来自一个完全不同的视角：模表示论（modular representation theory）。需要说明的是，普通表示论通常在特征为 0 的域（比如复数域）上研究群的线性作用，而模表示论则在特征为 p 的域上研究同一个群——此时特征 p 整除群的阶，产生了普通表示论中不存在的"病态"结构，而这些结构恰好被巧妙地利用为证明武器。在普通表示论中，Maschke定理保证了任何表示都可以分解为不可约表示的直和，这使得问题变得相对简单。但在模表示论中，这个定理不再成立，表示可能不再是完全可约的，从而产生了许多复杂的现象。正是这些"病态"现象，为证明提供了新的线索。

先铺垫一个基本观察。对任何矩阵 g∈SL(2,p)，设其迹（对角线元素之和）为 t，则其特征多项式是：

判别式为 t²−4。如果 t²−4 是 Fp 中的平方数，矩阵有两个不同特征值且在 Fp 内，称为"分裂"的（split）；如果 t²−4 是非平方数，两个特征值落在 Fp² 中，称为"非分裂"的（nonsplit）。t = ±2 是两个重根特殊情况，对应单位矩阵的倍数。论文用二次特征 χ 把迹值分成两类：

其中 χ 是 Fp 的二次特征：χ(0)=0，平方数取值 1，非平方数取值 −1。分裂迹值对应两类共轭类，非分裂迹值对应另一类共轭类，而 ±2 对应四个特殊共轭类。这些共轭类大小已经由经典结果给出：

基于迹关系，可以在群 G 上定义一个对称关联方案（symmetric association scheme）：两个元素 x, y 之间的关系由 x⁻¹y 的迹值决定。关联方案是组合数学中的一个核心概念，它提供了一种系统的方式来研究集合上的对称关系。在这里，作者们将 SL(2,p) 中的元素按照它们之间的"相对迹"进行分类，从而构建出一个关联方案。对尖锐传递子集 S，定义关键计数函数 ci(x) 为集合 S 中与 x 满足第 i 种关系的元素个数：

其中 εx 是 x 本身是否属于 S 的指示函数，αx 是 −x 是否属于 S 的指示函数：

关键的计数结果来自对"特征向量"集合的巧妙双计数。对固定 x 和 λ∈Fp*，考虑所有满足 s·v = λx·v 的（v, s）对。尖锐传递性完美地告诉你：对每个非零 v，恰有一个 s∈S 满足条件。于是集合大小直接等于 p²−1，但另一方面又可以按 s 的迹值分类累加，得到——

化简后得到一组漂亮的局部计数公式（引理2.2）：对每个 x∈G，c₂(x) = (p+1)(1−εx)，c−2(x) = (p+1)(1−αx)，而所有分裂迹值 t 对应的 ct(x) 都精确等于 p+1。这个结果非常强大，它告诉我们，无论尖锐传递子集 S 如何选取，只要它存在，那么对于群中的任意元素 x，S 中与 x 相差一个分裂迹值矩阵的元素个数是固定的。这相当于给 S 的结构施加了非常强的约束。

换句话说，分裂迹值的局部计数被完全锁死，无论 S 怎么选，这些数字都固定不变。但非分裂迹值呢？这里有一整块"自由参数"区域，恰恰是组合方法鞭长莫及的地方。对于非分裂迹值，ct(x) 的值并没有被上述公式固定，它们可能随着 S 和 x 的变化而变化。正是这些"自由参数"使得组合方法无法推出矛盾，因为无论怎么调整，这些参数似乎总能找到合适的值来满足所有约束。

论文还进一步计算了关联方案中的交点数。对非分裂迹值 a（a²−4 非平方），定义 Na(h) 为满足"两个端点"迹条件的中点数：

通过对一个含参二次方程的逐类分析，得到完整的交点数值表（表1）：

这个表数值本身不算复杂，真正值得注意的是"例外迹值 b = a²−2"那一行：当中间点 h 的迹恰好等于 b 时，Na(h) 从一般非分裂迹值的 p+1 掉到了 1。这个"异常缺口"将成为后续证明的重要抓手。这个看似微小的异常，实际上揭示了非分裂迹值之间隐藏的关联，为后续的证明提供了突破口。

借助表1的完整信息，论文给出一个重要的二次恒等式——它把"两条边的迹值同为 a"的对数转化成一个关于 S 的全局表达式：

这个恒等式把 Σy∈G ca(y)² 与 Σx∈S cb(x) 联系起来。前者是"两步行走"的计数，后者是例外迹值的计数——两个看似无关的量，被组合恒等式牢牢绑在一起。这个恒等式是组合方法的巅峰之作，它充分利用了关联方案的结构。然而，正如我们即将看到的，仅凭这个恒等式仍然无法推出矛盾，因为其中涉及到 cb(x) 的值，而这些值正是那些"自由参数"。

但到这里为止，这些还只是"组合计数的精细整理"，并没有超出作者此前已经掌握的框架。真正的转折点出现在下一部分——模表示论给出的同余条件。这个同余条件将彻底锁定那些"自由参数"，让它们不再自由。

关键引理：非分裂迹值的同余条件与函数 F_Q(z) 的巧妙构造

模表示论的关键武器，是 SL(2,p) 在特征 p 下的不可约表示。设 k 是 Fp 的代数闭包，W = k² 是自然模。考虑 W 的 d 次对称幂：

Wd 可以具体实现为两个变量的 d 次齐次多项式空间，而 SL(2,p) 通过变量替换作用于其上。这是 SL(2,p) 在特征 p 下所有不可约表示的完整列表（0 ≤ d ≤ p−1）。表示的特征标由 Dickson 多项式给出：

这里 Ed(T,c) 是第二类 Dickson 多项式，它满足简洁的递推关系 Ed = T·Ed−1 − c·Ed−2。如果矩阵特征值为 λ 和 μ，则它在 Wd 上的特征值就是 λd, λd−1μ, ..., μd，于是迹函数恰好是 Ed(tr(g), det(g))。Dickson 多项式在有限群表示论中扮演着核心角色，它们精确地描述了对称幂表示的特征标。

现在关键来了。设 S 是尖锐传递子集，对每个 d（1≤d≤p−2），把所有 s∈S 在 Wd 上的表示矩阵加起来：

这个看似简单的结果（引理3.2）为什么成立？关键在于尖锐传递性的"遍历性"：对任意非零向量 v，S 中元素作用在 v 上恰好跑遍所有非零向量。于是 Σs∈S ρd(s) 作用在纯幂 vd 上，结果等于所有非零向量 w 的 wd 之和。把非零向量按一维子空间分组后，每个子空间的贡献是 Σλ∈Fp* λd——只要 1 ≤ d ≤ p−2，这个和恒为零！这是因为 Fp* 是一个循环群，其元素的和在 d 不是群阶的倍数时为零。这个看似简单的观察，却是连接组合计数与模表示论的桥梁。

对任意 x∈G，把引理3.2用到 x⁻¹S 上再取迹，就得到一组对偶恒等式：

这里定义 Ct(x) 是 S 中迹为 t（且允许 t=±2 时包含 ±x 本身）的元素计数。现在已经知道的信息是：分裂迹值和非正则迹值 (±2) 的 Ct(x) 在模 p 意义下都同余于 1；剩下的问题就是非分裂迹值的 Ct(x) 到底是多少。这些对偶恒等式将 Ct(x) 与 Dickson 多项式的值联系起来，形成了一组线性方程。

把 Ct(x) 看成未知数，上面的对偶恒等式（d = 0, 1, ..., p−2）就是一组线性方程。论文证明了这组线性方程的解是唯一的！关键工具是 Dickson 多项式在非分裂迹值集合上的"阶梯型"性质：E0, E1, ..., E(p−3)/2 是次数递增的首一多项式，它们在一个大小为 (p−1)/2 的集合上的取值矩阵，本质上是一个 Vandermonde 矩阵乘上一个可逆的单位三角矩阵——必然非奇异。于是唯一性得到保证。这个唯一性意味着，如果尖锐传递子集 S 存在，那么所有 Ct(x) 的值必须满足这组线性方程，而方程的解是唯一的，因此 Ct(x) 的值被完全确定了。

接下来的工作量全部集中在"验证一个候选解"上。论文构造了这样一个候选：非分裂迹值 t 对应的 Ct(x) ≡ t²−3 (mod p)。验证过程本身也是一个技术活——需要对特征标和做精巧的循环群求和，但最终结论是干净的：

定理3.3：如果 t²−4 是 Fp 中的非平方数，那么对任意 x∈G，Ct(x) ≡ t²−3 (mod p)。

这个同余条件的意义非同小可：非分裂迹值的计数不再自由，它们在模 p 意义下被精确锁定。组合方法做不到的事情，模表示论用一组线性方程彻底解决了。这个结果直接告诉我们，对于任何非分裂迹值 t，S 中迹为 t 的元素个数（相对于任意 x）在模 p 意义下是固定的。这彻底消除了之前提到的"自由参数"。

但同余条件只是"模 p 意义下的锁定"，离真正的矛盾还有一步。论文在这里引入了一个极其精妙的辅助函数 FQ(z)，作为从同余信息到不等式矛盾的"放大器"：

为什么这个函数如此关键？假设 ca(x) ≡ Q (mod p)，且 ca(x) 是某个整数（因为它是实际计数结果）。那么 ca(x) 只可能是 Q, Q+p, Q+2p, ... 而 FQ(ca(x)) = (ca(x)−Q)(ca(x)−Q−p) 对这些值都非负！同理，cb(x)−R 也是非负的（R 是 b²−3 的标准整数代表）。这个函数的巧妙之处在于，它将一个同余条件（模 p 意义下的等式）转化为了一个不等式条件（非负性）。因为 ca(x) 是一个整数，且它模 p 同余于 Q，所以它必然落在集合 {Q, Q+p, Q+2p, ...} 中，而 FQ 在这个集合上的取值恰好是非负的。

也就是说，这个函数把"同余信息"翻译成了"不等式信息"——一旦 ca(x) 的同余类已知，FQ 的值天然非负。这就是整个证明的点睛之笔。它像是一个精心设计的"陷阱"，利用同余条件作为诱饵，将原本难以捉摸的计数函数引导到一个必然非负的区域，然后通过组合恒等式计算出这个非负量的实际值，却发现它竟然是负数，从而引发矛盾。

证明收官：从局部计数到全局矛盾的完整逻辑链

有了定理3.3这把钥匙，最后一步就是设计一个"钩子"，把各种局部信息串成一个全局矛盾。这个钩子就是引理4.1，它保证了合适的 Q 存在：

引理4.1：对每个素数 p ≥ 13，存在整数 Q（4 ≤ Q ≤ p−6），使得 Q+3 是 Fp 中的平方数，而 Q−1 是非平方数。

这个引理本身是初等数论问题，利用二次特征的求和估计就能搞定。小素数的情况直接查表：

现在取 a 使 a² = Q+3，则 a²−4 = Q−1 是非平方数，所以 a 是非分裂迹值。同时 b := a²−2 = Q+1，且 b²−4 = a²(a²−4) 也是非平方数，因此 b 同样是非分裂迹值。定理3.3立即给出：ca(x) ≡ Q (mod p)，cb(x) ≡ R (mod p)。其中 R 是 b²−3 = Q²−Q−2 的标准整数代表。这里的选择非常巧妙，它确保了 a 和 b 都是非分裂迹值，并且它们之间通过 b = a²−2 联系起来，这正是表1中那个"异常缺口"出现的条件。

现在定义核心量 T：

T 有两部分组成：第一部分对所有 x∈G 求和 FQ(ca(x))，由 FQ 的构造，每一项都是非负的；第二部分对所有 x∈S 求和 p(cb(x)−R)，由同余条件 cb(x) ≥ R（整数计数，同余于 R 模 p），每一项也都是非负的。因此必然有 T ≥ 0。这个 T 的设计是证明的精华所在，它将两个看似独立的非负量巧妙地组合在一起，为后续的矛盾埋下伏笔。

但另一方面，用前面得到的组合恒等式（命题2.5）来展开 T，再代入 ca 的总和公式 Σx∈G ca(x) = p(p−1)n（n=|S|），经过直接计算得到：

然后，利用 4 ≤ Q ≤ p−6 这个关键区间限制：

当 p ≥ 13 时，2p−22 ≥ 4 > 0，所以 T < 0，与 T ≥ 0 直接矛盾！这个矛盾是如此的干净利落，它表明我们最初假设的尖锐传递子集 S 不可能存在。

这个"非负量被证明为负数"的矛盾，干净利落地终结了证明。整个逻辑链是：同余信息 → 非负性 → 组合恒等式展开 → 不等式矛盾。四步环环相扣，缺一不可。每一步都依赖于前一步的结论，最终形成了一个完美的逻辑闭环。

这里也可以看出为什么阈值恰好是 p ≥ 13。当 p = 5, 7, 11 时，确实存在尖锐传递子集（对应例外近域），所以引理4.1的结论不可能成立——事实上，这些小的素数确实不存在满足条件的 Q。这也是为什么伽罗瓦当年会在信里专门指出 5, 7, 11 这三个例外的原因。这三个素数就像是数学中的"幸运数字"，它们恰好允许了那些特殊的近域结构存在，从而使得尖锐传递子集成为可能。而一旦 p 超过 11，这种"幸运"就消失了，取而代之的是严格的数学必然性。

AI辅助数学发现：ChatGPT在证明中的角色与启示

这篇论文最特别的地方，也许不是数学结论本身，而是它认真地在"AI使用声明"里交代了 ChatGPT 对证明的实际贡献。这绝不是客套话，论文作者 John Bamberg 和 Sam Mattheus 写得很具体、很坦诚。在当今学术界，AI的使用日益普遍，但很少有论文能够如此清晰地描述AI在证明中的具体作用。这篇论文为AI辅助数学研究提供了一个难得的透明案例。

据论文描述，作者在项目早期已经基于关联方案方法做了大量计算。他们把这些想法和计算喂给 ChatGPT（当时使用 GPT-5.5），让模型帮忙探索和扩展。这个过程中，ChatGPT 的作用可以拆成三个层次：

第一层：翻译与整理。引理2.2本质上是关联方案中的外分布计算，引理2.4是某些交点数的标准计算，命题2.5的两步行走计数是作者已有计算的精细化版本。这些内容， ChatGPT 的贡献主要是"润色和转译"，没有实质性的新想法。这类似于一个高效的科研助理，帮助作者将已有的想法进行整理和形式化。

第二层：真正的突破。定理3.3——这个"非分裂迹值的同余条件"——是 ChatGPT 首次提出的。作者明确表示"这个观察在我们之前的思路中并不存在"——它是连接组合计算与模论证之间的决定性桥梁。更关键的是，最终证明的核心机制——函数 FQ(z) 的引入和围绕它的论证——也完全是由 ChatGPT 发现的。作者写道："这不是对已知论证的重新表述，而是在与模型互动过程中提出的一个真正新的证明策略。" 这标志着AI不仅仅是一个工具，而是成为了一个真正的"合作者"，能够提出人类未曾想到的数学洞见。

第三层：验证与收尾。作者随后逐一检查了 AI 提出的论证，补上了所有必要的数学细节，并发展成论文中呈现的完整形式。最终的人类职责是"提供数学判断、验证正确性、补充严谨性"——这正是人机协作应有的分工。人类数学家负责把关，确保每一步都严格无误，而AI则负责在广阔的可能性空间中搜索和提出候选方案。

这一案例对"AI 能否做数学研究"的争论给出了一个相当有力的回答：AI 不能替代数学家完成从零到一的系统化思考，但可以在人类已经搭好骨架的问题上，发现人类忽略的"隐藏桥梁"。这次是 FQ(z) 函数，下次可能是另一个出人意料的构造。这个案例表明，AI在数学研究中的角色更像是"灵感催化剂"，它能够通过其强大的模式识别和联想能力，提出人类可能不会立即想到的证明策略。

值得注意的是，作者还提到他们此前用 Delsarte 理论——包括 LP 界、外分布和普通表示论的工具——试图排除小例子（如 p=13 的尖锐传递子集存在性），但都失败了。说明如果困在"组合计数"这个框架里，这个问题的答案可能还要等上更久。模表示论这个"非常规武器"的应用，在有限几何的文献中极为罕见，这也是本文的重要方法论贡献。这个案例提醒我们，面对一个看似无法逾越的障碍，有时需要跳出原有的思维框架，从其他数学分支中寻找工具。

这篇论文的价值是多重的。在数学层面，它终结了一个延续近两个世纪的问题，也证实了 Coolsaet–De Beule–Siciliano 猜想。在方法论层面，它展示了模表示论作为有限几何问题新工具的巨大潜力。在更大的人类认知层面，它提供了一个"AI 发现关键证明步骤 + 人类验证"的真实案例，为未来 AI 辅助数学研究提供了宝贵参考。这个案例或许预示着，未来的数学研究将越来越多地采用人机协作的模式，AI将成为数学家的"数字同事"，共同探索数学的未知领域。

龙迷三问

下面是龙哥对于大家可能的一些问题的解答：

这篇论文到底在解决什么问题？西澳大学与布鲁塞尔自由大学学者证明SL(2,q)仅当q为2、3、5、7、11时存在尖锐传递子集，终结了可追溯到伽罗瓦1832年信件的群论问题，同时宣告AI在发现全新数学证明中扮演了实质性角色。

这篇工作最值得看的点是什么？本文为纯数学理论证明论文，无实验部分。主要成果是完全解决了 sharply transitive subsets 的存在性问题，将已知结果从子群推广到子集，并证实了 Coolsaet、De Beule 和 Siciliano 在 [4] 中提出的猜想。

这篇工作的边界或风险在哪里？优点：1) 方法新颖，将结合方案计数与模表示论巧妙结合，特别是定理3.3的同余条件是关键突破；2) 证明了更强的结论（从子群推广到子集）；3) 证实了领域内的猜想；4) 对AI辅助证明的使用进行了透明声明。缺点：1) 证明过程较为复杂，涉及多个技术性引理；2) 对模表示论和结合方案两个领域都有较高要求，可能限制读者群；3) 部分计算（如表1）较为繁琐。

如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~

龙哥点评