純粋・応用数学（含むガロア理論）6

83 ：１３２人目の素数さん：2020/12/13(日) 20:35:36.50 ID:hbHQHgSE.net

47の要点を繰り返そう

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

そして写像G×G/H→G/H：(a,bH)→abH　は存在する
（※　aH・bH→abH　ではないことに注意！）

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