- 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
ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。
高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。
が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。
自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。
ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。
ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。
- 323 名前：現代数学の系譜11 ガロア理論を読む [2012/02/20(月) 22:29:08.25 ]
- >>318
なるほど
ラグランジュの定理>>317の根の式の場合で、
f(α,β,γ)=（α−β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）
で
g(α,β,γ)=（ａα＋ｂβ＋ｃγ）（ａβ＋ｂα＋ｃγ）は、（α,β）（＝α,βの互換）で変わらないから、
ラグランジュの定理の適用で、g(α,β,γ)はf(α,β,γ)=（α−β）^2の有理式になるはずだと
g(α,β,γ)にγが含まれていて、f(α,β,γ)=（α−β）^2にγが含まれて居ないから疑問におもったが
>>292みたいに、f(x)=x^3+A*x^2+B*x+Cの根とすると、根と係数の関係から、α+β+γ=Aでγ=A-（α+β）で置き換えられるからそうなりそうかな
で、同じようにg’(α,β,γ)=（ａα＋ｂβ＋ｃγ）＋（ａβ＋ｂα＋ｃγ）もf(α,β,γ)=（α−β）^2の有理式になるはずだと
なので（ｘ−（ａα＋ｂβ＋ｃγ））（ｘ−（ａβ＋ｂα＋ｃγ））の係数もf(α,β,γ)=（α−β）^2の有理式になるはずだと
- 324 名前：１３２人目の素数さん mailto:sage [2012/02/21(火) 01:11:46.07 ]
- >>323
その通り。それで、（α−β）^2だけでなく、（β−γ）^2と（γ−α）^2を添加したとき
F(x)=(x-V1)(x-V2)(x-V3)(x-V4)(x-V5)(x-V6)
がどう分解されるかをみると？
- 325 名前：現代数学の系譜11 ガロア理論を読む [2012/02/21(火) 21:08:25.74 ]
- >>324
誘導ありがとう。君は親切だね
f(α,β,γ)=（α−β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）で変わらない式を作る
Ｖ１＝ａα＋ｂβ＋ｃγ、Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４に）
で、（ｘ−Ｖ１）（ｘ−Ｖ４）がそれ
同じようにするんだが、>>289の記号で、r+ ＝(1 2 3 ｜ 2 3 1), r-＝(1 2 3 ｜ 3 1 2)（長さ３の巡回置換）を使って
（β−γ）^2を添加するときは、これを変えない置換は（β、γ）で変わらない式を作る
r-（Ｖ１）＝ａβ＋ｂγ＋ｃα＝Ｖ２として、（β、γ）（Ｖ２）＝ａγ＋ｂβ＋ｃα＝Ｖ５
で（ｘ−Ｖ２）（ｘ−Ｖ５）
（γ−α）^2を添加するときは、これを変えない置換は（γ、α）で変わらない式を作る
r+ （Ｖ１）＝ａγ＋ｂα＋ｃβ＝Ｖ３として、（γ、α）（Ｖ３）＝ａα＋ｂγ＋ｃβ＝Ｖ６
で（ｘ−Ｖ３）（ｘ−Ｖ６）
これで、F(x)=(x-V1)(x-V2)(x-V3)(x-V4)(x-V5)(x-V6)の分解が見える
- 326 名前：現代数学の系譜11 ガロア理論を読む [2012/02/21(火) 21:25:55.01 ]
- >>280
で、最初の問に戻る
Ｑ１．F(x)=(x-V1)(x-V2)(x-V3)(x-V4)(x-V5)(x-V6) はどのように分解されるか。
Ａ１．>>325の通り。補助方程式 { x - (α-β)^2 } { x - (β-γ)^2 } { x - (γ-α)^2 } = 0 の根を、r1=(α-β)^2, r2= (β-γ)^2, r3= (γ-α)^2
と書き直すと、
F(x)=f1(x,r1)xf2(x,r2)xf3(x,r3),
f1(x,r1)=（ｘ−Ｖ１）（ｘ−Ｖ４）
f2(x,r2)=（ｘ−Ｖ２）（ｘ−Ｖ５）
f3(x,r3)=（ｘ−Ｖ３）（ｘ−Ｖ６）
Ｑ２．その時、各因子 f(V,r) の群は？ 一致するか否か？
Ａ２．各因子 f(V,r) の群は、>>290の { e , (12) } 型の位数２の３つの部分群。同型だが、一致はしていない。
ってことか
- 327 名前：現代数学の系譜11 ガロア理論を読む [2012/02/21(火) 21:38:54.06 ]
- >>326
補足
f1(x,r1)=（ｘ−Ｖ１）（ｘ−Ｖ４）
f2(x,r2)=（ｘ−Ｖ２）（ｘ−Ｖ５）
f3(x,r3)=（ｘ−Ｖ３）（ｘ−Ｖ６）
で、Ｖ１＝ａα＋ｂβ＋ｃγの係数a,b,cは、置換で全て異なる数になるようにとったから
f1(x,r1)、f2(x,r2)、f3(x,r3)は、全て異なる（等しくない）
えーと、申し遅れたが、f1(x,r1)、f2(x,r2)、f3(x,r3)の形にしたのは、ガロア論文（アーベル ガロア 群と代数方程式 (現代数学の系譜 11) >>3）のＰ３２ 第II節の定理の書き方
「・・もしもＶの方程式が可約ならば、Ｖの方程式はすべて同一の次数のｐ個の因子に分解し、そしてr,r',r'',・・・はrの異なる値として
f(V,r)xf(V,r')xf(V,r'')x・・・
という形になる。したがって、与えられた方程式の群はおのおのが同一個数の順列に分解する。」という記載に合わせたもの。
|
 |
