# Isomorphism

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.