- 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
ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。
高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。
が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。
自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。
ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。
ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。
- 53 名前：１３２人目の素数さん [2012/02/03(金) 23:39:12.22 ]
- >>49 つづき
”アーベル ガロア 群と代数方程式 (現代数学の系譜 11) ”のP36でガロアは
４次方程式の解法について
１．まず、（判別式の）平方根を添加することで、全体で24個の置換を含む（ガロア）方程式の群（＝４次対称群）は２つに分解するという
これは、>>44に書いた通り
２．そこで、12個の置換群（これが偶置換のみで構成される交代群であることは現代数学の常識ではあるが）
３．４次方程式の根をa,b,c,dとして、この群をガロアは下記のように置換群のガロア記法で書き下す
a b c d, a c d b, a d b c
b a d c, c a b d, d a c b
c d a b, d b a c, b c a d
d c b a, b d c a, c b d a
これで、24次のガロア方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）が
12次のF'(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''**）：偶置換に属するものだけを取り出した>>44 に次数が下がった
- 54 名前：１３２人目の素数さん [2012/02/03(金) 23:46:49.59 ]
- >>53
a b c d, a c d b, a d b c
b a d c, c a b d, d a c b
c d a b, d b a c, b c a d
d c b a, b d c a, c b d a
この１２個の置換を含む群（＝４次の交代群）を立て４行の群（＝位数４の群）に対し、巡回置換（b,c,d）との積と見ることができる
そこで、３次の累乗根を添加することで、>>45-46のようにさらにガロア方程式の次数が下がる
群は
a b c d
b a d c
c d a b
d c b a
に縮小し、ガロア方程式も４次式になる
- 55 名前：１３２人目の素数さん [2012/02/03(金) 23:54:09.01 ]
- >>54
群
a b c d
b a d c
c d a b
d c b a
は、
a b c d, c d a b
b a d c, d c b a
と見ることができる
あとは、ガロアが書いている通り
平方根を添加することでガロア方程式も２次式になり、４次方程式が解けることになる
ここに示したように、置換群のガロア記法は群の分解の様子を見やすくし、群の分解にガロア方程式の次数低下が対応していると見ることができる
これが、ガロアが頭の中に描いていたガロア理論の原型ではなかったか
- 56 名前：１３２人目の素数さん [2012/02/04(土) 07:41:48.45 ]
- >>54
訂正
立て４行の群（＝位数４の群）に対し、巡回置換（b,c,d）との積と見ることができる
↓
縦４行の群（＝位数４の群）に対し、巡回置換（b,c,d）との積と見ることができる
- 57 名前：１３２人目の素数さん mailto:sage [2012/02/04(土) 09:12:24.20 ]
- >>55 補足
”群
a b c d
b a d c
c d a b
d c b a
は、
a b c d, c d a b
b a d c, d c b a
と見ることができる”
これは、クライン群などと呼ばれる
ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3%E3%81%AE%E5%9B%9B%E5%85%83%E7%BE%A4
クラインの四元群とは、巡回群でない位数が最小の群である。また、位数2の巡回群の直積と同型である。
クラインの四群元の単位元以外の元の位数は、2である。
また、交代群 A4 の正規部分群
V = < identity, (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) >
と同型。
- 58 名前：１３２人目の素数さん [2012/02/04(土) 09:26:42.71 ]
- >>55
>ここに示したように、置換群のガロア記法は群の分解の様子を見やすくし、群の分解にガロア方程式の次数低下が対応していると見ることができる
>これが、ガロアが頭の中に描いていたガロア理論の原型ではなかったか
まとめよう
１．ガロア分解式（リゾルベント）、置換群のガロア記法>>28、ガロア分解式と置換群のガロア記法との対応>>29の３点セット>>49が、ガロア理論の原型
２．そして、ガロア分解式からガロア方程式を作る>>33-34
３．平方根を添加すると、ガロア群は二つに分解し、その群の分解に対応してガロア方程式を二つに分解することができる>>43-44
４．同様にして、これを素数Pのべき根に一般化すれば、ガロア群はP個に分解し、その群の分解に対応してガロア方程式をP個に分解することができる>>45-46
５．このようにして、ガロア群の縮小に伴ってガロア方程式の次数を下げることができる
この様子を、ガロアは４次方程式について、解説しているのだ（ ”アーベル ガロア 群と代数方程式 (現代数学の系譜 11) ”のP36）>>53-57
|
 |
