2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/126122It 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"K-Theory and Homologytext