- 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
ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。
高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。
が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。
自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。
ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。
ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。
- 409 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 22:20:46.91 ]
- >>407
補足
（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））の式で、分母と分子が同じ置換で生じた値でペアになるようにしている
これがミソ
つまり、ある置換で分母分子がくっついて同じように動くから、式（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））は置換で項の順序が入れ替わるだけで、和として値は同じ
だから、式（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））は、ｋ上の有理式だと
このやり方は、「数III方式ガロアの理論」矢ケ部 巌>>198の P210-211にもある。
最初これを読んだとき、なにをしているのか、さっぱり分からなかった印象がある
でも、今見るとエレガントだなと
- 410 名前：１３２人目の素数さん mailto:sage [2012/03/01(木) 22:35:09.47 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 411 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 22:49:36.70 ]
- >>407 訂正
F’(β)＝dF(ｘ)/dx (F(ｘ)の微分)
↓
F’( x )＝dF(ｘ)/dx (F(ｘ)の微分)
>>409 つづき
>>372
「１．V=Aa+Bb+Cc+・・・ ガロアリゾルベント（ガロア分解式）は、”a,b,c・・・は、（重根を持たない）で問題の方程式の根、A,B,C・・・は根の置換で異なる値をとる”ように定めた>>28
だから、Vを変えない置換は恒等置換eのみ」
「３．ラグランジュの定理を補助線として、Vを見ると、Vを変えない置換は恒等置換eのみだから、Vはどんな根の有理式を持ってきても、それは必ずVの有理式で表されるという構造になっているんだ（ここポイント）」
V=Aa+Bb+Cc+・・・ ガロアリゾルベントで、>>407にならって、Snの置換によって生じる量の全部
V、V1、V2、・・・、Vk-1 （k=n!）
で、元の方程式の一つの根aがa＝φ(V)という有理式で表されたとして、上記同様Snの置換によって生じる量の全部を考え
φ(V)、φ(V)1、φ(V)2、・・・、φ(V)k-1 （k=n!）
ここで、この中には同じ値のものが存在する。例えば、一般５次方程式なら根は５つ(例 a,b,c,d,e)であるから、異なる値は５で２４づつ同じ値が存在する。
F(ｘ)＝（ｘ−V）（ｘ−V1）・・・（ｘ−Vk-1）として
F(ｘ)（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））＝G(ｘ)
φ(V)＝G(V)／F’(V)
F’(x)＝dF(ｘ)/dx (F(ｘ)の微分)
- 412 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 23:27:49.76 ]
- >>411 つづき
で、分かりやすく一般５次方程式で根５つ a,b,c,d,eで考える。
１．ある置換σがあって、根aがbに置換されたとする
そのとき、ガロアリゾルベントVの値が変わるがその式をVbと名づけよう
Vb＝Ab＋・・・（後の・・・は根b以外の項）
F(ｘ)（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））＝G(ｘ) （k=5!）
で、この式の両辺に置換σを施す
この式全体は、ｋ上の有理式だから、左右両辺は全体としては変わらず等号は成り立つ
ただ、（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））の並びが変わる
φ(V)／（ｘ−V）は、φ(Vb)／（ｘ−Vb）に変わる
φ(Vb)＝G(Vb)／F’(Vb)
ところで、a=φ(V)だったからこの式の両辺に置換σを施すとb=φ(Vb)
つまりb=φ(Vb)＝G(Vb)／F’(Vb)
２．逆にある置換σでaが不変なら、上記の論法でφ(Vb)＝G(Vb)／F’(Vb)は、aのまま
３．同じことが、aがc、ｄ、eに変わるときにも言える。つまり、ある置換σとそれに対応するガロアリゾルベントでのaの変化は完全に対応している
４．上記の論法（φ(Vb)＝G(Vb)／F’(Vb)）で、同じことは他の根（b,c,d,e）の全てに言えて、ある置換σにおける根の入れ替わりと、その置換に対応するガロアリゾルベントでの根の入れ替わりは同じ
|
 |
