Suppose H is a normal subgroup G and L is a subgroup of K. Then (G x K)/(H x L) is isomorphic to (G/H) x (K/L)
The Attempt at a Solution
I know that I have to use the First Isomorphism Theorem, but in order to do that I need some function phi. I am having a really difficult time finding a function from (G x K) to (G/H)x(K/L). If I have this I am almost certain I can complete the proof with the First Isomorphism Theorem.