A group homomorphism is a transformation made from one group to another. This change preserves all group axioms and operations.
Depiction of a group homomorphism (h) from G (left) to H (right). The oval inside H is the image of h. N is the kernel of h and aN is a coset of N.