簡単な反例はすぐ思いつきませんが一般的に群Hと群Kがあったとき、
HKが群になる必要十分条件はHK=KHが成り立つことはよく知られています。
これ条件だけだとHやKはHKの正規部分群にはならないです。