Si la aplicación formula_10 es biyectiva entonces es un isomorfismo de grupos, lo que significa que ambos grupos tienen la misma estructura algebraica (son isomorfos), y sólo se diferencian por los símbolos utilizados para denotar los elementos y la operación.