Supongamos que un grupo finito tiene la propiedad de que para cada $x, y$ se deduce que
\begin (xy)^3 = x^3 y^3. (xy)^3 = x^3 y^3. \end {equation*}
¿Cómo se demuestra que es abeliano?
Edit: Recuerdo que el ejercicio correcto necesitaba además que el orden del grupo no fuera divisible por 3.