Kernels and Images of Homomorphisms
Given two groupsanda group homomorphism fromtois a functionsuch that for all
where the group operation on the left hand side of the equation is that ofand on the right hand side that of
maps the identity elementof G to the identity elementofand it also maps inverses to inverses:
We define the kernel of h to be the set of elements in G which are mapped to the identity in H
and the image of h to be
The kernel is a normal subgroup ofsinceand the image is a subgroup of H. The homomorphism h is injective if and only if
The cyclic groupand the group of integersunder addition. The mapwithis a group homomorphism. It is surjective and the kernel consists of all multiples of 3.
The exponential map yields a group homomorphism from the group of real numbers under addition to the group of non-zero real numbers- the image - under multiplication. The kernel isand the image consists of the positive real numbers.
The exponential map also yields a group homomorphism from the group of complex numberswith addition to the group of non-zero complex numberswith multiplication. This map is surjective and has the kernelsine