14/10/19 07:41:55.11
>>247
どうも
スレ主です。
>さっきも書いたように任意のＨ、σに対してσ-1・Ｈ・σはＨと同型なので、
それは、現代風の正規部分群の定義だ
しかし、ガロアの原論文では、別の書き方をしているのだった（下記）
URLﾘﾝｸ(galois.motion.ne.jp)
第１３回：可解群の階段 ★ Ｇの夢 -- Mathematical Part
（抜粋）
２００年前の手紙にも、説明が書いてある。こんな風に。
群Ｇが群Ｈを含むとき、群Ｇは
Ｇ = H + HS + HS' + ･･･
と、Ｈの順列に同じ置換を掛けて作られる組へと分解されるし、また
Ｇ = H + TH + T'H + ･･･
と、同じ置換にＨの順列を掛けて作られる組へとも分解される。
この２通りの分解は、通常は、一致しない。一致するときが、固有分解と呼ばれるものだ。
（つづく）