- 1 名前：名無しさん [2012/01/31(火) 22:32:36.78 ID:LTM9xtnu]
- ベストアンサー：”が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。”ですか？
detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1371534513
数学の歴史に興味ある方にお尋ねします。「現代数学の系譜11、アーベル、ガロア、...noranekokuma2004さん 質問日時： 2011/9/18
「現代数学の系譜11、アーベル、ガロア、群と代数方程式、守屋美賀雄訳」にチャレンジしております。
アーベル、ガロアとも、方程式の根の有理式を説明しています。
両者の説明とも、帰着するところは、根の有理式はいわゆるラグランジュの分解式のかたちをとるというところにあると、私は考えています。
ラグランジュは、３次方程式の根、α、β、γと1の3乗根によって
u=α+βω+γω＾2
v=α+βω＾2+γω
という式をつくることによって、3次方程式が解けることを示しました。
彼は、それを一般化し、素数次数の方程式の根と1の累乗根と組み合わせた、いわゆる、ラグランジュの分解式を提起しました。
皆さまの見解を伺いたいと思います。
ベストアンサーに選ばれた回答siolaglebaさん 回答日時：2011/9/21
ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。
高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。
が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。
自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。
ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。
ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。
- 43 名前：１３２人目の素数さん [2012/02/03(金) 22:06:00.91 ]
- >>33-34
補足
ガロア方程式という言葉は、倉田>>4のP110では
「その任意の根が他の根の有理式（k上の）で表されるような方程式のことを、今日ガロア方程式と呼んでいる」とある
しかし、ここでは狭義にガロア分解式を根とするF(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）をガロア方程式と呼びたい
それが、ガロアの頭の中にあったものだったろうから（ガロア論文で扱われているのはこれだ）
- 44 名前：１３２人目の素数さん [2012/02/03(金) 22:52:29.53 ]
- >>43
そして、判別式の平方根を添加することで
ガロア方程式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)：奇置換に属するものだけを取り出した
となる
- 45 名前：１３２人目の素数さん [2012/02/03(金) 23:00:00.88 ]
- >>44
そして、これを素数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)：ある部分群の共役に属するものだけを取り出した
となる
これが、ガロアが現代の集合論的体論の代わりに頭に描いていたものだろう
|
 |
