Dos grupos que son isomorfos son, desde el punto de vista algebraico, indistinguibles, pues lo que vale para formula_1 respecto de su operación de grupo vale también para formula_2 respecto de su operación de grupo, y viceversa.