Es bien sabido que si G es cualquier grupo en el que [G,G] es abeliano, entonces para cualquier a,b,c∈G,
PS
Por el contrario, si esta identidad se cumple para todos los $$\bigl[[a,b],c\bigr]\cdot\bigl[[b,c],a\bigr]\cdot\bigl[[c,a],b\bigr]=1, ¿es necesario que a,b,c\in G$ sea abeliano?
