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.
New to topics? Read the docs here!
New to topics? Read the docs here!