三子群引理

三子群引理把 Hall–Witt 的元素恒等式提升为子群级推理规则。它允许只验证三个循环交换条件中的两个。 ^{[1, sec. 4B]}

定义

常见使用先在商群 \(G/N\) 中把问题化为等于 \(1\)，再应用引理。

核心结论

商掉 \(N\) 后只需证明两个三重交换子群平凡推出第三个平凡。对元素应用 Hall–Witt 恒等式，再利用共轭闭包和生成性，即得子群结论。

结构性质

• 取 \(N=1\) 得到最常用的中心化形式。
• 若 \([X,Y]\) 中心化 \(Z\) 且 \([Y,Z]\) 中心化 \(X\)，则 \([Z,X]\) 中心化 \(Y\)。
• 引理在证明拟单分量彼此交换时消除中心交换子。
• 它也用于比较上下中心列和证明交换子权重包含。
• 对子群顺序的循环置换有效，但任意交换变量需配合交换子逆元公式。

这是一条“知道两面即可补齐第三面”的局部原则，常显著缩短交换子证明。若目标条件只对生成元成立，必须先验证交换子集合在相应子群作用下正规闭合，才能把元素结论推广到整个 \([X,Y,Z]\)。

例子与边界

知识网络

Hall–Witt 提供元素恒等式，交换子主干词条给出约定，广义 Fitting 词条展示分量交换的核心应用。实际使用时常把目标正规子群商掉，应用等于幺元的版本，再利用商映射的交换子相容性提升结论。

• Hall–Witt 恒等式
• 交换子
• 广义 Fitting 子群

证明与来源

子群级引理及其 Hall–Witt 推导见原书第 4B 节；应用散见第 4、9 章。 ^{[1, sec. 4B]}