Deje $G$ ser un grupo y $f : G \to G$ una función tal que para todos los $x,y\in G$: $$f(x f(y)) = f(x) y.$$
Demostrar que $f$ es un isomorfismo.
Hay dos problemas aquí: no sabemos que $f$ es un grupo homomorphism, y no sabemos que es bijective, las dos condiciones necesarias para $f$ a ser un isomorfismo.
Es difícil resolver este problema porque no sabemos la fórmula para $f$, sólo una ecuación se satisface. Directamente demostrando que el kernel es trivial, o que cada elemento está en la imagen va a ser difícil.