More on five commutator identities
arXiv:math/0703633
Abstract
It is proved that the five well-known identities universally satisfied by commutators in a group generate all universal commutator identities for commutators of weight 4.
to be published in "Journal of Homotopy and Related Structures"