En PlanetMath hay una identidad de conmutadores que creo que se equivoca. Esta identidad es la identidad cuarto teorema 5 de esta página. Creo que la identidad correcta es esta, me calculado:
Identidad de PlanetMath: $[x^z,y]=\left[x,y^{z^{-1}}\right]$, donde $x^z=z^{-1}xz$
Identidad me calcula: $[x^z,y]=\left[x,y^{z^{-1}}\right]^z$
¿Estoy correcto?