prueba que se trata de un isomorfismo de grupos.