Hall–Witt 恒等式

Hall–Witt 恒等式是群论中对应于李代数 Jacobi 恒等式的基本三变量关系。它协调三个循环排列的三重交换子，是三子群引理的计算核心。 ^{[1, sec. 4A-4B]}

定义

一种标准形式为 \([x,y^{-1},z]^y [y,z^{-1},x]^z [z,x^{-1},y]^x=1\)。采用相反交换子约定时公式会整体变形。

核心结论

直接证明反复使用 \([xy,z]=[x,z]^y[y,z]\) 与 \([x,yz]=[x,z][x,y]^z\) 展开并消去。原书第 4A-4B 节给出与三子群引理相配套的推导。

结构性质

• 若三个循环三重交换子中的两个在正规子群 \(N\) 中，第三个也在 \(N\) 中。
• 对子群应用并取正规闭包得到三子群引理。
• 在幂零类至多 \(2\) 的群中所有三重交换子消失，恒等式退化为平凡式。
• 在下中心列关联分次李环中，它诱导 Jacobi 恒等式。
• 恒等式用于证明不同分量交换和控制中心交换子。

它不是用于数值计算的单一公式，而是把三种交换子方向联系起来的结构对称性。实际证明常先商掉目标正规子群，把三个包含关系化为等于幺元，再在商群中使用恒等式，最后提升回原群。

例子与边界

知识网络

交换子主干词条固定约定，三子群引理是子群级推论，下中心列把恒等式转化为分次结构。Hall–Witt 名称来自 Philip Hall 与 Ernst Witt 的交换子演算工作，其价值主要体现在结构推论而非孤立展开。

• 交换子
• 三子群引理
• 下中心列

证明与来源

恒等式及其展开规则见原书第 4A-4B 节；复杂证明保留准确引用，不在辅助词条重复长计算。 ^{[1, sec. 4A-4B]}