If $:G->G1 is a homomorphism, show that K = the set of g belonging to G given that $(g)=1 is a subgroup of G (called the kernel of $)
This is a proof regarding homomorphisms and kernels.