Hall-Witt identity
= Hall-Witt identity
{c}
The Hall-Witt identity is a three-variable identity among iterated <group commutators>. Passing to the leading terms of a filtered group turns it into the <Jacobi identity> for the associated graded Lie algebra.