Recordemos que un isomorfismo de grupos es un homomorfismo biyectivo y que