In: Advanced Math
Let H and K be subgroups of a group G so that for all h in H and k in K there is a k' in K with hk = k'h. Proposition 2.3.2 shows that HK is a group. Show that K is a normal subgroup of HK.
This ia the required proof.For your good understanding,I have proved the result too,which is used.I hope the answer will help you.Expecting a thumbs up if you are satisfied with the work,it will help me a lot.Thank you.