群的分量

分量是有限群中次正规出现的拟单子群。它们是非可解方向的规范局部原子，并在广义 Fitting 层中彼此中心化。 ^{[1, thm. 9.3-9.7]}

定义

分量集合常记 \(\operatorname{Comp}(G)\)；所有分量的乘积为层 \(E(G)\)。

核心结论

次正规交与拟单正规子群刚性先把交换子压入中心；再由完满性和三子群引理消去中心交换子。完整证明见 9.3-9.4。

结构性质

• 自同构置换分量，因此分量乘积特征。
• 分量可能有非平凡中心交，但逐元素交换。
• 可解正规子群中心化每个分量。
• 非阿贝尔简单次正规子群是中心平凡的分量。
• 几乎单群通常有唯一分量，即其基座单群。

分量将非可解结构拆成可独立交换的拟单块，正如 Fitting 子群把可解方向拆成正规 p-核。不同分量的交换性使它们的乘积是中心积而非任意半直积；共轭会置换分量，所以全部分量的集合及其生成子群均为自同构不变量。计算时可先寻找次正规拟单子群，再以交换子检验候选块之间的独立性。

例子与边界

知识网络

拟单群给出内部结构，层汇总分量，广义 Fitting 子群再与 Fitting 子群合并。

• 拟单群
• 群的层
• 广义 Fitting 子群

证明与来源

极小正规子群与分量、不同分量交换及层性质见原书定理 9.3-9.7。 ^{[1, thm. 9.3-9.7]}