12/04/28 16:52:34.44
（再録）
>>18
補足
ガロア方程式という言葉は、倉田>>4のP110では
「その任意の根が他の根の有理式（k上の）で表されるような方程式のことを、今日ガロア方程式と呼んでいる」とある
しかし、ここでは狭義にガロア分解式を根とするF(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）をガロア方程式と呼びたい
それが、ガロアの頭の中にあったものだったろうから（ガロア論文で扱われているのはこれだ）
そして、判別式の平方根を添加することで
ガロア方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）
は
F(x)＝F’(x)F’’(x)
と二つに分けられ
F'(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''**）：偶置換に属するものだけを取り出した
F’’(x)：奇置換に属するものだけを取り出した
となる
そして、これを素数Pのべき根に一般化すれば
ガロア方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）
は
F(x)＝F’(x)F’’(x)・・・・F’p(x)
とp個に分けられ
F'(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''**）：ある部分群に属するものだけを取り出した
F’’(x)・・・・F’p(x)：ある部分群の共役に属するものだけを取り出した
となる
これが、ガロアが現代の集合論的体論の代わりに頭に描いていたものだろう