Dos grupos formula_1 y formula_2 se dicen isomorfos si existe un isomorfismo entre ellos, hecho que representaremos por formula_24.