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.