# Isomorphism

Jump to: navigation, search

Given two groups G,G', an isomorphism from G to G' is a function $\phi : G \to G'\,$ such that φ is a homomorphism and φ is bijective.

Two groups G,G' are called isomorphic if an isomorphism from G to G' exists.