Let and be any two groups, and let x be given by . Prove that f is a homomorphism of groups and give ker f.
I was just thinking it might be of interest to you to note that this same concept can be generalized to multiple products and considering the mapping by
This is a homomorphism and the kernel of this is . And if you apply the first isomorphism theorem you know that