Luego, tenemos un endomorfismo (porque va de un grupo en sí mismo) que es