Chermak–Delgado 子群

Chermak–Delgado 理论用测度 \(m_G(H)=|H||C_G(H)|\) 同时衡量子群大小与中心化程度。达到最大值的子群形成自对偶模格，并给出指数平方界内的特征阿贝尔子群。 ^{[1, thm. 1.41-1.46]}

定义

中心化映射 \(H\mapsto C_G(H)\) 在 \(CD(G)\) 上反转包含关系，并在最大测度处满足双中心化 \(C_G(C_G(H))=H\)。

核心结论

关键不等式为 \(m_G(H)m_G(K)\leq m_G(H\cap K)m_G(\langle H,K\rangle)\)。最大性迫使交与生成仍在格中并产生模律；中心化对偶给出唯一最小元和最大元。原书定理 1.42-1.45 给出完整证明。

结构性质

• 若 \(H\in CD(G)\)，则 \(C_G(H)\in CD(G)\) 且双中心化恢复 \(H\)。
• \(CD(G)\) 对 \(G\) 的所有自同构不变，所以其唯一最小元是特征子群。
• 最小元 \(M\) 与其中心化子都在格中；最小性迫使 \(M\leq C_G(M)\)，故 \(M\) 阿贝尔。
• 若 \(m_G(H)>|G|\)，则 \(G\) 不可能是非阿贝尔单群，因为最大测度格产生非平凡特征结构。
• 该理论推广了 Brodkey 对阿贝尔 Sylow 子群的指数平方估计，不依赖 Sylow 条件。

测度把“大子群”和“大中心化子”之间的张力转化为格论；它不会直接分类群，却稳定地产生规范特征子群。

例子与边界

知识网络

中心化子给出对偶，特征子群说明规范性，Fitting 理论提供另一种以正规幂零性为核心的规范子群。

• 中心化子
• 特征子群
• Fitting 子群

证明与来源

定义、乘积不等式、格结构和指数平方界均见原书定理 1.41-1.46；本词条保留结论与证明路线。 ^{[1, thm. 1.41-1.46]}