射影特殊线性群单性定理

PSL 单性定理给出第一批有限 Lie 型单群。证明把初等矩阵生成、完满性与射影空间本原作用结合。 ^{[1, thm. 8.30-8.33]}

定义

低阶例外是 \((n,q)=(2,2),(2,3)\)。

核心结论

先由初等 transvection 生成 \(SL(n,q)\) 并证明相应范围内完满；再让中心商二重传递作用于射影点。点稳定子含可解正规平移层，其共轭生成全群。Iwasawa 引理遂给出单性。

结构性质

• \(PSL(2,2)\cong S_3\)、\(PSL(2,3)\cong A_4\) 非单。
• 完满性排除非平凡阿贝尔商。
• 本原性使非平凡正规子群传递。
• transvection 的共轭生成性排除只作用在局部的正规子群。
• 低阶同构把 \(PSL(2,4),PSL(2,5)\) 与 \(A_5\) 联系。

Iwasawa 引理是“完满本原群 + 点稳定子中的可解正规生成层”推出单性的通用模板。其结论不仅排除中心外的正规子群，也说明任何非平凡同态像必须保留全部射影生成元，因此无法产生真非平凡商。

例子与边界

知识网络

PSL 词条给出构造，交错群提供低阶同构，单群词条说明分类位置。

• 射影特殊线性群
• 交错群
• 单群

证明与来源

Iwasawa 引理、初等生成、完满性和单性分别见原书定理 8.30-8.33；证明在此准确引用。 ^{[1, thm. 8.30-8.33]}