12/02/25 09:47:41.21
>>342
ありがとう。君は親切だね
>それでは、>>275からの件はこれで終わりと言うことで。気が向いたらまたコメントするよｗ
乙
>>上記のような分解ができるということは、元の方程式のガロア群が正規部分群を持っている場合だけ>>268
えーと、ここから始まったんだが。いろいろ誘導ありがとう。おかげですっかり理解できた
（（有理式と置換に関する）ラグランジュの定理というのが、ガロア理論の一つの補助線なんだ>>330ということも）
１．>>280のように、ある方程式（例えば３次方程式（以下例えばを略する））の根（α、β、γ）のある有理式を考える（ (α-β)^2）
２．倉田>>4のP146のように、この有理式（(α-β)^2）の最小定義多項式（＝補助方程式と見ることもできる）を考える（{ x - (α-β)^2 } { x - (β-γ)^2 } { x - (γ-α)^2 } = 0 ）
この有理式が、根（α、β、γ）の全ての置換で取る異なる値を集めて例にならって多項式をつくる
そうすると、ラグランジュの定理から作った多項式の係数は、元の体kに属することが分かる
３．そうして、この有理式（(α-β)^2）の添加で、ガロア分解方程式（F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*） ）がどうなるかを考える
可約になる場合がある（>>323-327）
４．この場合、最小定義多項式の根を全て添加すると、さらに低い次数への分解ができる場合がある（>>338）
５．これを群論の言葉でいうと、この有理式を不変にするガロア群Gの部分群Hがあって
Hの左剰余類によるGの分解
G=H+s1H+・・・+sk-1H (ここで、s1・・・sk-1は、倉田P146ではシグマに下付の1・・・k-1が添えられたものだが、ギリシャ文字が面倒なので代用)
６．で、３の可約によるガロア分解方程式の因数分解は、上記左剰余類によるGの分解G=H+s1H+・・・+sk-1Hに従う
（つづく）