Se dice que formula_8 es un isomorfismo si existe el homomorfismo inverso formula_43 de manera que formula_44 y formula_45.