Gが有限群でH,KがGの可換な正規部分群でH∩K={e}ならG=HKと書ける時,
Gは可換群と言えるのでしょうか?
もし,言えないなら簡単な例をお教え下さい。