知识/定理
有限单群分类计划：所有有限单群恰为「素数阶循环群、交错群、李型群、26 个散在群」——群论「元素周期表」。
公式
$\text{有限单群}=\{C_p\}\cup\{A_n\}\cup\{\text{李型}\}\cup\{26\text{ 散在}\}$。
证明思路
（超大型协作）1960s 起数百数学家分块证明分类定理，论文逾万页。
应用/例子
密码学、编码理论、物理对称性；怪兽群与模函数的神秘联系。
意义/影响
数学史上最大的合作证明工程；「巨型定理」的形式化验证成为新课题。
DOXA · 数学编年史 · 知识详情
1960s ｜ 多国数学家 ｜ 代数·数论 ｜ 突破
有限单群分类计划：所有有限单群恰为「素数阶循环群、交错群、李型群、26 个散在群」——群论「元素周期表」。
$\text{有限单群}=\{C_p\}\cup\{A_n\}\cup\{\text{李型}\}\cup\{26\text{ 散在}\}$。
（超大型协作）1960s 起数百数学家分块证明分类定理，论文逾万页。
密码学、编码理论、物理对称性；怪兽群与模函数的神秘联系。
数学史上最大的合作证明工程；「巨型定理」的形式化验证成为新课题。