Tolong jelaskan mengenai 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)