Direct Product Recognition Theorem: Let G be a group, let H and K be subgroups of G. Show that the following are equivalent:
(i) The function H x K -> G, (h,k) |-> hk is an isomorphism.
(ii) For every h in H and k in K, one has hk = kh and for every g in G, there exist unique elements h in H and k in K such that g = hk.
(iii) H ∩ K = 1, HK = G and for every h in H and k in K one has hk = kh.
(iv) H ⊴ G, K ⊴ G, H ∩ K = 1 and HK = G.