群的层

层 \(E(G)\) 是全部拟单分量的乘积。由于不同分量交换，它形成规范中心积并集中非可解半单结构。 ^{[1, thm. 9.4-9.8]}

定义

字母 \(E\) 来自 layer/component 传统；不要与初等阿贝尔群常用字母混淆。

核心结论

自同构置换分量。不同分量交换使乘积为中心积；各分量完满给出全层完满。模中心后各简单商交平凡，形成直积。

结构性质

• 若无分量，则 \(E(G)=1\)。
• 若 \(G\) 非阿贝尔单，则 \(E(G)=G\)。
• \([E(G),F(G)]=1\)。
• 层的中心由各分量中心的识别产生。
• \(F^*(G)=F(G)E(G)\)。

层是非可解方向对 Fitting 子群的补充；二者中心化后共同构成自中心化的广义 Fitting 层。模去层的中心后，各分量给出非阿贝尔单群的直积，因此层保留了群中全部次正规拟单信息。若群可解，则层为平凡群；若群本身拟单，则层就是全群。这两个极端说明层只测量半单的非可解方向。由于自同构会置换分量，\(E(G)\) 是特征子群；又因每个可解正规子群与每个分量交换，层与 Fitting 子群的组合具有可控中心交。

例子与边界

知识网络

分量是生成块，Fitting 子群是可解块，广义 Fitting 子群将二者合并。

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

证明与来源

层的完满性、半单中心商和中心化可解正规子群见原书定理 9.4-9.8。 ^{[1, thm. 9.4-9.8]}