== Definition and notation==Given two groups (G, ∗) and (H, formula_1), a "group isomorphism" from (G, ∗) to (H, formula_1) is a bijective group homomorphism from G to H. Spelled out, this means that a group isomorphism is a bijective function formula_3 such that for all u and v in G it holds that: formula_4.
Если заданы две группы (G, ∗) и (H, formula_1), "изоморфизм групп" из (G, ∗) в (H, formula_1) — это биективный гомоморфизм групп из G в H. Другими словами, изоморфизм групп — это биективная функция formula_3, такая что для любых u и v из G выполняется: formula_4.