いや「単純群」ってどこが単純なんだよ

いや「単純群」ってどこが単純なんだよ (12ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

4: 05/10(土)03:10 ID:GdwlN1QO(1) AAS
Gが群
Gの部分群Hが正規部分群⇔G/Hが(aH)(bH) := abHを積として群になる

⇒は教科書に書いてあるけど、逆はどう示すのでしょうか？