Jabarkan Identitas terkait dari Identitas Jacobi

Identitas Hall–Witt adalah identitas analog untuk operasi komutator dalam grup.

Identitas berikut mengikuti dari antikomutativitas dan identitas Jacobi dan berlaku dalam aljabar Lie sembarang:

Tiga subgrup lemma (identitas Hall–Witt)