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