拟单群

拟单群是非阿贝尔单群的完满中心覆盖。它允许非平凡中心，却保持几乎所有正规子群都压缩在中心中的刚性。 ^{[1, lem. 9.1-9.2]}

定义

“拟单”不同于“几乎单”：前者是中心扩张，后者位于单群与其自同构群之间。

核心结论

真正规子群在单群 \(L/Z(L)\) 中的像只能平凡或全部。若为全部，结合 \(L=L'\) 可排除真性；故它中心。商的完满性由导出群与同态像相容得到。

结构性质

• 拟单群本身完满，不具有非平凡阿贝尔商。
• 中心商是唯一非阿贝尔简单主因子。
• Schur 覆盖群给出拟单中心扩张的通用来源。
• 拟单次正规子群正是有限群的分量。
• 不同拟单分量可以共享中心并形成中心积。

拟单群把单群的刚性提升到允许中心误差的环境，适合处理交换子和中心积。它们是非阿贝尔单群的完满中心覆盖：正规子群理论在模中心后几乎消失，而中心仍记录 Schur 乘子允许的扩张信息。因而拟单群既不是一般中心扩张，也不是几乎单群，而是分量理论中最小的非可解构件。对任一真正规子群 \(N\)，像 \(NZ(L)/Z(L)\) 只能平凡或为整个简单商；完满性排除后一种真商情形。这正是“真正规子群皆中心”的证明核心。

例子与边界

知识网络

分量是次正规拟单群，层由分量生成，广义 Fitting 子群再与幂零层合并。

• 群的分量
• 群的层
• 广义 Fitting 子群

证明与来源

中心商、完满性和正规子群刚性见原书引理 9.1-9.2。 ^{[1, lem. 9.1-9.2]}