subgroups

Let H and K be subgroups of an abelian group G and let HK := {ab : a ? H and b ? K}.(a)  Prove that HK is a subgroup of G.(b)  Give an example to show that part (a) may be false if G is not abelian.