Si formula_10 se dice que el isomorfismo es un automorfismo.