Recordemos que un automorfismo de un grupo es un isomorfismo (homomorfismo biyectivo) del grupo en si mismo.