>>43
>下記の既述と合いませんぜ、旦那さん

誤　既述
正　記述

雑談君はコーフンすると必ずミスタイプするね（ニヤリ）
なにを焦っているんだい？
みんな君が🐎🦌だと知ってるから落ち着いて書きたまえ
君がリコウだと思ってるのは君だけだよ

>なんか勘違いでは？

君の勘違い

Gの部分群Hに対して、左剰余群全体の集合G/Hは存在する

Hが正規部分群でなければ、G/Hは群ではない　が
写像G×G/H→G/H：(a,bH)→abH　は存在する
（※　aH・bH→abH　ではないことに注意！）

つまりGによって、集合G/Hの中の置換が生成できる
そして、恒等置換になるようなGの元を集めれば
そいつが正規部分群Nになるという寸法