Since formula_11 is a homomorphism that has an inverse that is also a homomorphism, formula_11 is an isomorphism of groups.
Биекция formula_11 называется изоморфизмом, если для любых formula_12 выполняется# formula_13,# formula_14.