待验证50% 置信事实精确时间

有限单群分类定理（CFSG）断言所有有限单群可归入素数阶循环群、交错群、李型群这几个无限族，加上26个散在单群。

1

来源数

50%

置信度

长期有效

时效性

2026/10/27

首次发现

来源

有限单群分类在Lean中形式化：数学巨著向代码迈进

涉及实体

有限单群分类定理concept 素数阶循环群concept 交错群concept 李型群concept 散在单群concept

相关事实

待验证在安全聚合中，有限群通常指整数模一个素数p构成的加法群Z_p。66% 相似待验证格是由一组线性无关的基向量通过整数线性组合所张成的离散点集合64% 相似待验证当已知一个群在可数集合上以有限轨道作用时，给定样本集合A，所有与样本一致的假设恰好构成点稳定化子Stab(A)的某个陪集。63% 相似待验证在Lean中形式化CFSG，意味着需要先构建庞大的基础库，涵盖群论、表示论、李型群等领域的核心结果。59% 相似待验证GGUF格式中的Q4_K_M采用分组量化（Group Quantization）策略，每组独立计算缩放因子和零点57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1104446

API

curl https://kongchang.com/api/v1/knowledge/claims/1104446

MCP

get_claim(id=1104446)