we show it is a homomorphism.
Let
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