射影特殊线性群

\(PSL(n,q)\) 是有限域上行列式为一的矩阵群模去标量中心所得的群，是有限 Lie 型单群最基本的族。 ^{[1, thm. 8.29-8.33]}

定义

\(q\) 为素数幂。中心阶为 \(gcd(n,q-1)\)，因此 \(|PSL(n,q)|=|SL(n,q)|/gcd(n,q-1)\)。

核心结论

初等矩阵生成 \(SL(n,q)\)，并在给定范围证明完满。Iwasawa 引理利用射影作用本原、完满性及点稳定子中的可解正规子群推出中心商单。详见 8.29-8.33。

结构性质

• \(PSL(2,2)\cong S_3\)，\(PSL(2,3)\cong A_4\)，正是非单例外。
• \(PSL(2,4)\cong PSL(2,5)\cong A_5\)。
• 射影作用消除标量矩阵，因为它们固定每个一维子空间。
• 初等 transvection 生成是完满性与单性证明基础。
• 这些群构成有限单群分类中的经典 Lie 型族。

从线性群到射影群的商正好去除自然作用的核，使矩阵代数与置换本原性结合。

例子与边界

知识网络

PSL 单性条目集中证明路线，置换群给出射影作用，交错群展示低阶同构。

• PSL 的单性
• 置换群
• 交错群

证明与来源

射影二重传递、初等矩阵生成、完满性与单性见原书定理 8.29-8.33。 ^{[1, thm. 8.29-8.33]}