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