12/05/06 08:47:51.40
>>157
つづき
URLリンク(slashdot.jp) 数学教育について 1997年3月7日 V.I. Arnold >>155 より
群とは何か? 代数学者はおそらく、簡単に忘れられやすい多くの公理を満足する2つの演算を持つ集合だと教えるだろう。
この定義は当然な抗議を引き起す。つまり、賢明な人が何故そのような演算の対を必要とするのか? "
まあ、これは数学だ"と学生(彼は将来、文部科学大臣になるやも知れぬ)は結論を下す。
群から出発しないで、歴史的にそうであったように変換(ある集合からそれ自身の上への一対一写像)から出発すれば、全く異なる状況となる。
集合の変換の集まりは、2つの変換が連続して適用出来て、すべての変換について逆変換出来るならば、群と言う。
これがすべてなのだ。いわゆる"公理"は実のところ(明らかに)変換の集団の概念に過ぎない。
公理論学者が"抽象群"と呼ぶものは、同型写像(演算を保持する一対一写像)を考慮した、いろいろな集合の変換に過ぎない。
ケイリーが証明したように、"もっと抽象的"な群は世に存在しない。それなのに、何故代数学者は抽象的定義で学生を苦しめ続けるのか?
(引用おわり)
159:現代数学の系譜11 ガロア理論を読む
12/05/06 08:59:29.05
>>158
訂正
この定義は当然な抗議を引き起す。つまり、賢明な人が何故そのような演算の対を必要とするのか? "
まあ、これは数学だ"と学生(彼は将来、文部科学大臣になるやも知れぬ)は結論を下す。
↓
この定義は当然な抗議を引き起す。つまり、賢明な人が何故そのような演算の対を必要とするのか?
"まあ、これは数学だ"と学生(彼は将来、文部科学大臣になるやも知れぬ)は結論を下す。
(引用符の位置)
(つづき)
前スレ122で対称性の数学的定義を紹介した。下記だ
URLリンク(ja.wikipedia.org)
対称性(たいしょうせい)、又はシンメトリー (英語: symmetry) は、ある変換に関して不変である性質である。
目次
1 空間の対称性
1.1 並進対称性
1.2 回転対称性
1.3 鏡像対称性
1.4 結晶
2 式の対称性
式の文字を入れ替えても元の式と変わらない式を対称式という。 例えば x^2+xy+y^2 は x と y の入れ替えについて不変な対称式である。
(引用おわり)
V.I. Arnold氏の言葉>>158
”群から出発しないで、歴史的にそうであったように変換(ある集合からそれ自身の上への一対一写像)から出発すれば、全く異なる状況となる。
集合の変換の集まりは、2つの変換が連続して適用出来て、すべての変換について逆変換出来るならば、群と言う。”
と
上記対称性=ある変換に関して不変である性質
ここで、群と対称性が結びつくだろう
群は19世紀の数学の概念だが、対称性はおそらく古代ギリシャかそれ以前に遡る人が直感的に理解できる概念(例えば左右対称)。その二つの概念が結び付くことが勉強の要点と思う
160:132人目の素数さん
12/05/06 10:33:59.53
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
161:132人目の素数さん
12/05/06 11:54:50.23
>>158
その答は抽象的な定義が必要だから。
一つの群をある変換群と見なす方法は一つとは限らない。
だからある変換群だけをその群の本質と見なすことは必ずしも
正しくない。そこで抽象群のお出ましですよ。
162:132人目の素数さん
12/05/06 12:27:55.86
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
163:現代数学の系譜11 ガロア理論を読む
12/05/06 13:54:09.99
>>145
梅村先生補足
P74で、「理論誕生の雰囲気を味わうためには、すべて19世紀風にする。・・・しかしこの方法には欠陥もある。・・・結局は、その後の発展をとり入れて理解する方が、正確で分かりやすいのである」
P85”静かな刺客は恐ろし”で、デデキントの「ガロア理論からの方程式の追放」を肯定し
P89”2つのステップに分解する・・(1)代数方程式は体の拡大で与える。(2)体のガロア拡大はガロア群を決める。・・ガロア群は体の拡大L/Kがあれば決まると主張している・・”
ここらの説明が分かりにくい
ガロア理論が代数方程式から、代数体の拡大で終わりならこれで良い
だが、梅村先生の本の主題は、ご自身の(非線形)微分方程式のガロア理論
ならば、
代数方程式→代数拡大体→ガロア理論
↓
微分方程式→微分拡大体→微分ガロア理論
という繋がりがあるべき
それを、”方程式は消して、代数拡大体から始めるのが現代ガロア理論の進歩でございます”では
微分方程式を出発点にしたときに、全然繋がり見えない
そこをもっと意識して、代数方程式のガロア理論の説明時点で、後の微分ガロア理論の展開につながるように伏線を引いて書いて行けば話が綺麗だったと思う
164:現代数学の系譜11 ガロア理論を読む
12/05/06 13:56:00.15
>>161
乙
>だからある変換群だけをその群の本質と見なすことは必ずしも
>正しくない。そこで抽象群のお出ましですよ。
そうですね
全面同意です
165:132人目の素数さん
12/05/06 13:56:22.57
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
166:現代数学の系譜11 ガロア理論を読む
12/05/06 14:21:02.68
>>164
補足
群を根の置換(置換群)から、抽象化して体の自己同型=変換操作=演算と見ることで、演算で閉じられた変換操作の集合としての抽象群と捉える
だから、そこで”ある変換に関して不変である性質”=対称性という繋がりが、抽象化を通じて見えてくるという意味もある
だから、抽象化は重要だけれど、抽象→具象、具象→抽象の行ったり来たりができない。それで、本当に分かっているのか?
「或るフランス小学校生徒は"足し算は可換だから、3 + 2"と答えた」>>155は、おそらくジョークだと思うけど(そんな小学生が実在するとは思えない)、にしても本当に居たら誰もその小学生が足し算や可換の意味が分かっているとは判断しないだろう
ある大学生に具体的な方程式のガロア群(それは数式処理ソフトを使ってでも良いとして)ができずに、S5だとかデタラメ(実はS5にならない例を出したとして)答えたら
或るフランス小学校生徒と同じ話になるわけで・・
抽象→具象、具象→抽象が自由自在に出来て初めて、「よくわかっていますね」だろう
両方いる
167:132人目の素数さん
12/05/06 14:32:06.15
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
168:現代数学の系譜11 ガロア理論を読む
12/05/06 14:36:57.59
>>166
>ある大学生に具体的な方程式のガロア群(それは数式処理ソフトを使ってでも良いとして)ができずに
補足
Cox>>142のP506に
「MapleのGaloisコマンドを使うと、Q[x]の9次以下の既約多項式のQ上のガロア群が計算できる」
「計算代数プログラムGAPとMagmaではそれぞれ15次以下、22次以下の既約多項式のQ上のガロア群が計算できる」
と具体的計算例と共に記されている(こういうところも、Cox良いなと思う点ですが)
いい時代になりましたね
小学生に電卓を与えるのとは異なり、9次とか15次とか22次とかになると、とても人力でやる話じゃないですから、数式処理どんどん使うべしです
169:132人目の素数さん
12/05/06 14:47:54.85
>>166
数式処理ソフト使ったらその学生が理解してるかどうか
わからんだろ。
それから具体的計算と理論はまた別。
具体的計算が出来ても理論を良く理解してるとは
必ずしも言えない。
170:132人目の素数さん
12/05/06 15:11:55.01
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
171:現代数学の系譜11 ガロア理論を読む
12/05/06 18:03:03.58
>>168
>数式処理ソフト使ったらその学生が理解してるかどうか
>わからんだろ。
乙す!
まあそうだけど
しかし、理解というのは人それぞれで
結局外部的に何らかの試験でもして点数つけて・・・
でも、点数高いのが分かっているのかどうか? まあ、大抵の場合そうなんだろうが
で、
1.数式処理を使えるだけ、それが出来ないやつより分かっている
2.9次方程式>>168のガロア群を計算できることを理解の判定基準にしてどうなる?
3.で、9次から落とすとして例えば4次?3次? それに確たる(理解出来ているという)根拠はない。人為的基準として決めるしかない(「講義で教えたらから覚えておくよう」と)
>それから具体的計算と理論はまた別。
>具体的計算が出来ても理論を良く理解してるとは必ずしも言えない。
一応、抽象と具象の双方向>>166と書いたけど
172:132人目の素数さん
12/05/06 18:14:18.27
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
173:132人目の素数さん
12/05/06 18:15:02.02
>>171
具体的計算が不可能に近い理論というのもざらにあるんだけど。
例えば代数幾何とかに。
ガロアだって5次の方程式を具体的に与えられたときに
そのガロア群を計算出来たかというと、恐らく否。
174:現代数学の系譜11 ガロア理論を読む
12/05/06 18:26:30.23
>>55
>だが、Galois Resolvent (=V>>15)にもそれなりに根拠のあることだということは知っておいた方がいいだろう
Edwards (著) Galois Theory (下記)が届いたので、Galois Resolventに書いておく
URLリンク(www.amazon.co.jp)
Galois Theory (Graduate Texts in Mathematics) [ハードカバー] Harold M. Edwards (著) 出版社: Springer; 1st ed. 1984. Corr. 3rd printing.版 (1984/03)
内容説明
This is an introduction to Galois Theory along the lines of Galois’s Memoir on the Conditions for Solvability of Equations by Radicals.
It puts Galois’s ideas into historical perspective by tracing their antecedents in the works of Gauss, Lagrange, Newton, and even the ancient Babylonians.
It also explains the modern formulation of the theory. It includes many exercises, with their answers, and an English translation of Galois’s memoir.
Book Description
This book is an introduction to Galois theory along the lines of Galois' "Memoir on the Conditions for Solvability of Equations by Radicals".
Some antecedents of Galois theory in the works of Gauss, Lagrange, Vandemonde, Newton, and even the ancient Babylonians, are explained in order to put Galois' main ideas in their historical setting.
The modern formulation of the theory is also explained.
The book contains many exercises - with answers - and an English translation of Galois' memoir.
(引用おわり)
”Galois Resolvents”として、§28から33までが当てられている。それは>>15の通り(一次式)だが、EdwardsはVの代わりにtを使っている
これは、§16の”Lagrange resolvents”(一次式)と対応している
Cox>>142は、P437 12.2 Bで「ガロア分解式」として、上記V>>15の積(Coxの表記でs(y))をそれに当てている
Coxは、この後で分解式と称して、具体例を何例も数式処理を使って、具体的に計算している
だから、後の展開を考えて、Coxはこのようにしたのだろう(倉田は、Coxの本を知らなかったと思われる)
175:現代数学の系譜11 ガロア理論を読む
12/05/06 18:30:29.52
>>174
>(倉田は、Coxの本を知らなかったと思われる)
補足
少なくとも倉田>>4の出版時点では、Cox>>142の原書は発行されていない
Edwards>>174は、倉田>>4では何度も引用されている
なので、特に理由がなければ、”Lagrange resolvents”(一次式)との整合性から、”Galois Resolvents”も(一次式)が分かりやすいと思う
176:現代数学の系譜11 ガロア理論を読む
12/05/06 18:38:40.43
>>173
>具体的計算が不可能に近い理論というのもざらにあるんだけど。
>例えば代数幾何とかに。
確かに
だが、論点として
1.現代ではコンピュータの数式処理なり群論計算ソフトが使えるんだけ、使って良いんじゃないかと。使って理解が深まる場合も。例えばCox>>142
2.手計算できるあるいは図示できる簡単な具体例で理解を深める。特に、グロタン師並みの天才は別として一般人は。簡単な具体例から各人の類推と想像力を働かせる。それが理解の助けになるのでは?
>ガロアだって5次の方程式を具体的に与えられたときに
>そのガロア群を計算出来たかというと、恐らく否。
同意だが、S5と線形群は手でやったことは明らか(当時コンピュータなかったから)
で、具体的計算をしないで理論を作ったんだ
でも、今から勉強する一般人は、Cox>>142みたく計算ソフト使うのもありだろうと思う
177:132人目の素数さん
12/05/06 18:44:08.22
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
178:132人目の素数さん
12/05/06 19:16:46.01
>>174
あんた勘違いしてる。
俺が言ってるのはレゾルベントはレゾルブ、
つまり方程式を解くことから来てるってこと。
その一次式は問題の方程式の根を有理的に表すから
レゾルベントであると解釈して問題ない。
179:132人目の素数さん
12/05/06 19:20:59.73
>>176
別に具体的計算したけりゃしていいし、
それが時間の無駄とも言ってない。
ガロアが手計算でS5とか線型群を計算したのか?
180:132人目の素数さん
12/05/06 19:28:05.20
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
181:現代数学の系譜11 ガロア理論を読む
12/05/06 21:41:49.09
>>178
>あんた勘違いしてる。
>俺が言ってるのはレゾルベントはレゾルブ、
>つまり方程式を解くことから来てるってこと。
勘違いもなにも、独自に理屈つけるのは、あなたの自由ですよ
>>179
>ガロアが手計算でS5とか線型群を計算したのか?
S5について、ガロア原論文>>3のP30第I節の定理の後に
「(一般)代数方程式の場合には、この群はm個の文字についての 1・2・3・・・・・・m個の可能な限りの順列にほかならない。それゆえ、この場合は対称式だけが有理的に定まるものである」と書かれている
つまり、ガロアは自分で計算したかどうか不明だが、少なくとも知っていた
(なお、置換論としてルフィにやコーシーも5次方程式に関する長さ5の置換の計算は行なっている。ガロアはコーシーの置換論は知っていたようだ(アーベルもガロアもコーシーを引用している))
線形群について、ガロア原論文>>3のP39第VII節の最後に
「群は xk, xak+bのような置換だけを含むであろう」(線形群)
P41定理VIIの例
n=5の場合の位数20の線形群をガロア記法で書き下している(>>28参照)
182:132人目の素数さん
12/05/06 21:53:05.90
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
183:132人目の素数さん
12/05/06 22:09:07.31
>>181
そうじゃなくて俺がガロアの例の一次式を
ガロアレゾルベントと呼ぶことに対して反対してると
思ってるだろ、あんたは。
俺は反対とは一言も言ってない。
だからあんたの誤解じゃん。
184:132人目の素数さん
12/05/06 22:15:47.93
>>181
一般方程式のガロア群が対称群となることを
示すのを計算とは言わないだろ。
それは定理の証明じゃん。
185:現代数学の系譜11 ガロア理論を読む
12/05/06 23:19:47.51
>>183
それはすまんかったね
>>184
>一般方程式のガロア群が対称群となることを
>示すのを計算とは言わないだろ。
>それは定理の証明じゃん。
まあ、そういうな
ガロアが方程式の群を定義し、後世の誰かがそれをガロア群と呼ぶようにして今日に至る
ガロア群が一般の場合にm!(階乗)になることはガロアは分かっていた
では、問題はある特定の方程式の係数が与えられたときに、具体的にガロア群を決定するためにはどうすれば良いか
それは、Cox>>142の第13章だ
冒頭、Coxはガロアの論文の序文でガロア群を計算することは非現実的というガロアの言葉を引用している
だが、現在ではコンピュータの助けがある
Coxはこれを使って、いろいろ具体的計算を示している
186:132人目の素数さん
12/05/07 00:18:56.00
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
187:132人目の素数さん
12/05/07 06:01:57.15
>>185
>まあ、そういうな
>>176でガロアはS5と線型群を手でやったと書いてるじゃん。
188:132人目の素数さん
12/05/07 08:49:51.14
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
189:132人目の素数さん
12/05/07 21:01:58.69
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
190:現代数学の系譜11 ガロア理論を読む
12/05/07 21:25:50.04
>>187
>>>176でガロアはS5と線型群を手でやったと書いてるじゃん。
ああ、その通りさ
当時はコンピュータが無かったからね
だから、手=人力ってことで良いだろ
左手だって右手だって良い。要は、自分の頭でってこと
足で字が書けるから、足でも可
一般の非可解の場合、n=5なら、5!=120の位数のS5だと
一般の可解の場合は、n=5なら、5x4=20の位数の線形群だと
それはガロアの頭脳から出てきた。コンピュータを使わずに
そこまでは、>>176の通りだ
が、具体的方程式の係数を与えられて、「これの群はなんだ」とやられても、すぐには計算できなかったろう
(時間があれば不可能ではないし、整数係数なら、エクセル使って計算式を組めば良い。関数はCox>>142の第13章に書いてあるし)
191:現代数学の系譜11 ガロア理論を読む
12/05/07 21:51:43.04
>>163
梅村 ガロア偉大なる曖昧さの理論>>138補足
P57で、「ガロアの残した3つの伝説」として
「伝説3 ガロアの発見は当時の数学の水準をはるかに越えていたために理解されなかった。一言で言えば天才の悲劇」
梅村はこれを否定する。
1.時代の流れ、好機到来。つまり歴史的に既に準備が整っており、才能ある幸運な人がその場に居合わせて、それに気づくと一気に新しい世界が開ける場合が多い
2.ガロアの死後、数十年に進行したガロアの業績の評価はむしろ順調であり、それほど不運なものではなかった
(ガロアよりもっと理解されなかった数学者、もっと時代の先を行き過ぎた例もある)
と
これには、かなり同意。決闘で悲劇の死をとげたから、文学の題材になり美化されている部分もある。(宮本武蔵=最強不敗伝説(実際より誇張された)みたいなものかも)
192:現代数学の系譜11 ガロア理論を読む
12/05/07 21:58:25.74
>>191
>これには、かなり同意。決闘で悲劇の死をとげたから、文学の題材になり美化されている部分もある。(宮本武蔵=最強不敗伝説(実際より誇張された)みたいなものかも)
日本のスーパー高校生(数学オリンピック上位)なら
1.ラグランジュ
2.ガウス
3.アーベル
4.コーシー
の方程式論と置換論の部分を読み理解して(先人の肩の上に乗り)、置換群に気付けば、ガロア理論に到達することは不可能ではないように思う
(全員が全員とは言わないが、中には・・・)
193:現代数学の系譜11 ガロア理論を読む
12/05/07 22:14:20.38
>>192
>方程式論と置換論の部分を読み理解して(先人の肩の上に乗り)、置換群に気付けば、ガロア理論に到達することは不可能ではないように思う
補足
全くの個人的推測だが
ガロアは、ラグランジュの分解式(それは、1のべき根を係数とする)を一般化&拡張して、もっと一般的な根の一次式から方程式の解法の手がかりを掴もうとしたのではないか
そうして、ガロア分解式(一次式)を考察し、自然に(5次の場合)ガロア分解式を根に持つ120次の方程式(それは根の置換で異なる値の全て)にたどり着く
120次の方程式は、S5の化身でありS5そのものと見ることもできる
べき根の添加で120次の方程式が因数分解されるとすれば、それ即ち群の分解に繋がる
群の分解は、正規部分群に気付くことが必要だとしても、もうゴールは近い
194:132人目の素数さん
12/05/07 22:18:26.63
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
195:132人目の素数さん
12/05/07 22:20:17.91
そういう議論はまったく意味がない。 あとからなんとでもいえる。
第一そんなものが面白いかね?
バ化みたいだ
196:132人目の素数さん
12/05/07 22:21:17.13
>>190
手でやると言ったら計算のことだろ。
一般方程式のガロア群を計算とは言わない。
そんなもん計算するまでもなく明らか。
197:現代数学の系譜11 ガロア理論を読む
12/05/07 22:26:33.49
>>191
> 1.時代の流れ、好機到来。つまり歴史的に既に準備が整っており、才能ある幸運な人がその場に居合わせて、それに気づくと一気に新しい世界が開ける場合が多い
「時代の流れ、好機到来」がP164でも出てくる
「・・ヨーロッパ、主としてフランスで私の仕事に興味を持つ人が増えてきている。この時、私は好機到来と判断し、すべての他の仕事を放棄して、一般微分ガロア理論の研究に全力を投じることにした・・」
梅村先生は、幸運にも”歴史的に既に準備が整っており、才能ある幸運な人がその場に居合わせて、それに気づくと一気に新しい世界が開ける”立場に立たれたのだった・・
ここは、なかなか良い伏線です
198:132人目の素数さん
12/05/07 22:39:44.42
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
199:現代数学の系譜11 ガロア理論を読む
12/05/07 22:47:42.56
>>196
なにが言いたいのか知らないが
ガロアがどこまで考えて
どこまで計算していた、あるいは計算できたのかを知りたければ、一つは和訳だがガロア原論文>>3を
そして、追加でガロア全集でも嫁め
(下記がガロア全集みたいだね)
URLリンク(www.gabay-editeur.com)
GALOIS : Ecrits et Memoires mathematiques, 2e ed., 1976 (Bourgne - Azra)
200:現代数学の系譜11 ガロア理論を読む
12/05/07 22:50:07.20
>>199
補足
おいらが、ガロアの魂が乗り移った霊能者に見えるのかもしらんが
別に霊能者でもなんでもない
単に>>3を見ているだけ
それは、あんたにも見える。だったら自分で見ろよ、ガロアがなにを計算し、どんな計算が出来たかを
201:132人目の素数さん
12/05/08 00:05:04.53
>>199
論点をそらすなよ。
具体的な方程式のガロア群の計算の話をしている。
一般方程式の話なんてしてない。
202:現代数学の系譜11 ガロア理論を読む
12/05/08 06:40:08.44
>>201
論点1
ガロアが具体的な方程式のガロア群の計算について、どこまで知っていたか?
回答
ガロアの原論文(ガロア全集)を読め!
補足
ガロアは、彼のべき根による一般方程式の可解性の論文で、
1)一般m次の場合に対称群Smであること
2)(x^n-1 -1)/(x-1)=0 (1のn乗根)の場合に位数n-1の巡回群になること
3)素数n次の既約方程式の場合、位数n!/(n・(n-1))の線形群になること
4)ガロアは別の論文で、楕円曲線の等分問題について、具体的方程式のガロア群を計算する能力を示している(下記参照)
高木近世数学史談にはもう少し具体的に書いてある
URLリンク(reuler.blog108.fc2.com)
2008-04-26-Sat (ガウス32)アーベル方程式とガロアの第一論文
(抜粋)
ガロアが言及しているもうひとつの応用例は、楕円関数論におけるアーベルの予想の証明である。
アーベルは論文「楕円関数研究」において、モジュラー方程式は一般に代数的には解けないであろうと予想しましたが、ガロアはこれを受けて次のように述べています。
《代数方程式論のさまざまな応用のうち、一部分は楕円関数の理論のモジュラー方程式に関係がある。モジュラー方程式を冪根を用いて解くのは不可能であることが証明されるであろう。》
楕円関数論と代数方程式論の関係は密接かつ不可分であり、しかもアーベルの予想の証明こそ、ガロアの理論の眼目なのでした。
ガロアの言葉にはガウス、ルジャンドル、アーベル、ヤコビなどの手になる浩瀚な楕円関数論の全史が凝縮されていて、印象は深遠です。
さながら数学の神秘の淵をのぞき見るような感慨があります。
論点2
ガロアを離れて一般理論として、ガロア群を具体的に計算するには
回答
Cox>>142読め!>>185
203:132人目の素数さん
12/05/08 07:36:12.77
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
204:現代数学の系譜11 ガロア理論を読む
12/05/08 23:16:37.23
>>202
訂正
3)素数n次の既約方程式の場合、位数n!/(n・(n-1))の線形群になること
↓
3)素数n次の既約方程式の場合、可解なら位数n!/(n・(n-1))の線形群になること
205:132人目の素数さん
12/05/08 23:17:41.94
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
206:132人目の素数さん
12/05/08 23:18:07.75
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
207:132人目の素数さん
12/05/09 02:34:03.80
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
208:132人目の素数さん
12/05/09 12:17:08.58
>>202
そういうのはガロア理論の応用であって
具体例の計算とは普通言わない。
具体例の計算というのは例えば X^5 + 3X + 3 のガロア群を
計算するというようなもの。
209:132人目の素数さん
12/05/09 12:22:15.41
>>204
それは一般には成り立たない。
210:132人目の素数さん
12/05/09 12:28:22.67
素数次の方程式のどこが具体例なんだよ。
一般次数の方程式と同じくらい一般的じゃん。
211:132人目の素数さん
12/05/09 20:12:35.35
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
212:現代数学の系譜11 ガロア理論を読む
12/05/09 21:48:02.76
>>208-210
頭の悪い絡み方をしてくるね
梅村の”隠れた対称性”のときと同じだな
ぐだぐだ訳の分からんことを、書き散らかして
一体何が言いたいのかさっぱり要領を得ない
>>179の下記辺りから絡んできてんだよね。 ぐだぐだわけの分からんことを
”名前:132人目の素数さん[] 投稿日:2012/05/06(日) 19:20:59.73
別に具体的計算したけりゃしていいし、
それが時間の無駄とも言ってない。
ガロアが手計算でS5とか線型群を計算したのか?”と
論点を二つに整理してやったろ?>>202
論点毎に話できないみたいだな・・。それに、ガロアの原論文(ガロア全集)とCox>>142読めと言ったろ?読んだのか?
前スレ>>121で、梅村の”隠れた対称性”の説明を開始するにあたって
「しかし、小学生中学生に微分積分を説明するのも難しいので、相手のレベルを設定しよう
そうだな、大学入試に数学を入れて合格できるレベル。大学の難易度では、平均より上。数学オリンピック出場レベルのスーパー高校生は含める
さらに、このスレで分からないことは、書店かネット購買かあるいは図書館などで自学できるものとする」
と書いたのを、覚えているか
理解力のないやつと、本を買えない貧乏人で図書館などで自学する気の無いやつは除外だよ
しばらく放置プレイだな
213:現代数学の系譜11 ガロア理論を読む
12/05/09 22:16:34.39
>>174
>Edwards (著) Galois Theory
序文で
"・・ I saw that the modern treatment of the Galois theory lacked much of simplicity and clearity of the original. "
とEdwardsは書いている。
梅村先生>>163で
”P74で、「理論誕生の雰囲気を味わうためには、すべて19世紀風にする。・・・しかしこの方法には欠陥もある。・・・結局は、その後の発展をとり入れて理解する方が、正確で分かりやすいのである」”
とされているが、Edwardsの意見は逆
おいらもその一人だが、Edwardsの意見に賛同する人はかなりいるだろう
214:132人目の素数さん
12/05/09 22:23:21.69
,,,,,,,,,,,,,,,,,,,,,,,,,,,,
,,--―'''""`ヽ'  ̄`ヽ、
/ ヾ / ~`ヽ
/ ヽ;: /"""ヾ ヽ
/ ;:;;:::'''' l /;:;;:::''' \ i
/ /;:;;:::''' ヽ ヽ
| | _,,___ . _,,,,__,_ヽ |
/ ;/ / ゙^\ヽ.. , /゙ ¨\,.-
/ ;:;:ヽ「 ● | 》 l| ● ゙》 ヽ
i /i,. .,ノ .l| 《 .|ヽ ヽ
| | \___,,,,,_/ .'″ ^=u,,,,_ v/ | |
| |. |. |
| ;:| ::::::: | :|
| ヽ. ( ● ● ) | |
.! ;;;;:::| :!;;:'゙;;:;,. ;: ,ゾ゙''';;;;;;,.じ'゙.|
| ゙i;;;::| ,;ri;;:,,,;;;;;;;:;:;:;:;;;/;;゙ ,.-、;;;; :;:;:;.!
.!:,:,: ;;;;:;,.. i;;;::| .,/ ヾ:(⌒`-‐'" _,.-'",,._ ヽ,ヽ:゙|
l;';';';:;;;;;;:;:.. |;;:l,. ,. ,. ,:;/ _,,,..--‐''"´ _,..,へ ヾ-〉;!:.!
゙!;;;;::;;;;;;;;;:;:;::;;:;:l;;;:!;;:;:;:;:;/ / ,,;____,,...-''i" l_,.-‐! ||;;,'
゙、;;;;;; ;;;;;;;;;;;;;;;;:l;;:!;;;:::;/ / ,,;/`i l ゙!,..-'゙'iY゙i, ゙!;;/
゙、;;;,. ゙'';;;;;;;;,. ゙、;;゙!;: l ,' ;ノ、_ノー‐'^`''" ,..ィ' l`'l .!;/
ヽ:,:,:,:;;;;;;;;;,. l;;;゙i |i_/∠i゙i'"゙i‐┬‐┬'''i"_,ノ"/ .//
ヽ;;;;;;;;;;;;;;;;;,,`'";ヽ`ヽ, `ヽlヽ~-^ー'^,.-'" .//
215:132人目の素数さん
12/05/09 22:44:04.50
>>212
あんたが勘違いしてるから指摘してるだけ。
特に>>204ははっきり間違い。
間違いを指摘されたら謙虚に受け止めろよ。
逆切れするとはもってのほか。
216:現代数学の系譜11 ガロア理論を読む
12/05/10 06:30:24.98
>>215
ご指摘ありがとうよ
>>202
訂正
3)素数n次の既約方程式の場合、位数n!/(n・(n-1))の線形群になること
↓
3)素数n次の既約方程式の場合、可解なら位数n・(n-1)の線形群又はその部分群になること
これで良いかな
では
217:現代数学の系譜11 ガロア理論を読む
12/05/10 06:36:49.62
面白いのを見つけた
Liouvilleは、Galois's paperについて、he never published his commentary だと
そして、Liouville also lectured on Galois's work and Serret, possibly together with Bertrand and Hermite, attended the course. だと
そうだったんだ
URLリンク(www-history.mcs.st-and.ac.uk)
Liouville (print-only)
抜粋
In 1842 Liouville began to read Galois's unpublished papers.
In September of 1843 he announced to the Paris Academy that he had found deep results in Galois's work and promised to publish Galois's papers together with his own commentary.
Liouville was therefore a major influence in bringing Galois's work to general notice when he published this work in 1846 in his Journal.
However he had waited three years before publishing the papers and, rather strangely, he never published his commentary although he certainly wrote a commentary which filled in the gaps in Galois's proofs.
Liouville also lectured on Galois's work and Serret, possibly together with Bertrand and Hermite, attended the course.
In number theory Liouville wrote around 200 papers, working on quadratic reciprocity and many other topics. He wrote over 400 papers in total.
Article by: J J O'Connor and E F Robertson
October 1997
-----------------------------------------------------------------------------
MacTutor History of Mathematics
[URLリンク(www-history.mcs.st-andrews.ac.uk)
218:現代数学の系譜11 ガロア理論を読む
12/05/10 06:46:51.67
>>217
関連
これは、1898年のAMSの論文のPDFだが、なかなか興味深い
URLリンク(www.ams.org)
EARLY HISTORY OF GALOIS' THEORY OF EQUATIONS.
219:132人目の素数さん
12/05/10 07:39:28.99
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
220:現代数学の系譜11 ガロア理論を読む
12/05/10 21:25:46.40
>>218
>EARLY HISTORY OF GALOIS' THEORY OF EQUATIONS.
こんな記述が・・、Lagrangeの影響が決定的だと
1. Galois1 relations to Lagrange.
It is well known that Galois, like Abel and Ruffini, received
inspiration from the writings of Lagrange regarding
the algebraic solution of equations, in particular his memoire
' * Sur la resolution algebrique des equations' ' and his
" Traite de la resolution des equations, etc.," but no one,
I believe, has remarked how well Lagrange had prepared
the way for Galois.
Let us capitulate rapidly the principal facts of Lagrange's
theory referring for more detail to my paperf on l 'Lagrange's
place in the theory of substitutions."
221:現代数学の系譜11 ガロア理論を読む
12/05/10 21:37:48.99
>>220
つづき
Liouvilleは、コメントを出版しなかったと
Liouville's
purpose was to publish all Galois' works and to add
a commentary in which he intended to complete certain
passages and elucidate various delicate points. Unfortunately
this plan was never executed, only two new papers
were published, the memoire written at Poisson's invitation
already mentioned and a fragment of a second memoire entitled,
" Des equations primitives qui sont solubles par radicaux.
' ' A note at the end of the preface informs us that the
press of matter for publication as well as the extent of
Galois' manuscript makes it necessary to give only a part
in the current number, the rest following in the next volume.
As we just said, this promise was not fulfilled.
222:現代数学の系譜11 ガロア理論を読む
12/05/10 21:54:53.13
>>221
そして、以下のようになったと、1898年のAMSの記事はいう
According to Weber,* Kronecker
probably first became acquainted with it during his visit to
Paris in 1853 where he was associated intimately with Hermite,
Bertrand, and other leading French mathematicians.
The first mention Kronecker makes of Galois' name is in a
letter to Dirichlet in March, 1856. Dedekind also became
very early acquainted with Galois' theory since it is known
that he lectured in the winter of 1857-58 on higher algebra
and in particular on Galois' theory. According to Weber
this was probably the first extensive account of Galois'
theory given at a German university. The first account of
it given in a text-book on algebra is in the third edition of
Serret's algebra (1866). This, together with Jordan's classic
treatise which appeared in 1870, made a knowledge of
Galois' theory possible to all the world.
Perfectly just was Galois' estimate of his own discoveries
when he said shortly before his death : ' ' J' ai fait des recherches
qui arreteront bien des savants dans les leurs."
YALE UNIVERSITY,
February, 1898.
223:現代数学の系譜11 ガロア理論を読む
12/05/10 22:10:08.36
>>220
>Lagrangeの影響が決定的だと
Edwards (著) Galois Theory>>174
の§2 Influence of Lagrangeで
同じようなことが書かれている
224:132人目の素数さん
12/05/11 00:13:04.92
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
225:132人目の素数さん
12/05/11 02:01:31.74
>>216
よかったな。教えてもらえてw
226:現代数学の系譜11 ガロア理論を読む
12/05/11 05:03:37.31
>>225
うん、ありがとうよ
追伸
1.手で打つのが面倒だったので、あるところからコピペしたんだが、その部分をミスっていたんだ
2.ことほど左様に、日本人は結構そういうミスに敏感でね。気付けば指摘してくれる人が多いので、心配はしていない
3.たまに読み直して、気付いたら訂正を入れるようにしている。今後も、ミスのないよう気をつけます
227:現代数学の系譜11 ガロア理論を読む
12/05/11 07:05:31.71
>>223
Edwards (著) Galois Theory>>174は、付録にガロア論文の英訳を載せている
ガロア 群と代数方程式 (現代数学の系譜 11) >>3の前書きの部分は省かれているが
それから、Edwards英訳では、定理VIIの例が縦一列に書かれているが、>>3マトリックスのような表になっている。原論文は確認できていないが、おそらく表だろう
表の方が、線形群(ガロア論文では、X(k),X(ak+b)と表現されている)の例であることが見やすいと思う
228:現代数学の系譜11 ガロア理論を読む
12/05/11 07:08:09.79
>>142
Coxの12.2 ガロワで、ガロワ原論文を詳しく解説している
一読の価値あり
229:現代数学の系譜11 ガロア理論を読む
12/05/11 07:53:48.30
下記"On jugera"について
the crucial lemmaは、>>3では、第III節の定理で
"On jugera":「証明は思いつくであろう」と守屋は訳している
”My opinion is in paragraph 37" (freely translated)”は、Edwards (著) Galois Theory>>174の序文 ページixの通りなので、この文はここから採ったのだろう
URLリンク(www2.ee.ufpe.br)
A BIT OF HISTORY: GALOIS' LIFE.
ON THE STATEMENT "On jugera".
This famous passage is the one where Galois proves the crucial lemma stating that any rational function of the roots can be expressed as a rational function of the Galois resolvent.
Poisson (What about him?) had called Galois' prove insufficient. Galois, rather than elucidate his proof, laconically replied, "That remains to be seen.
My opinion is in paragraph 37" (freely translated).
It is easy to understand Poisson's position. Galois' proof can be regarded as as, at best, a sketch, and therefore is certainly "insufficient" if one is in any doubt as to the correctness of his theory and the accuracy of his reasoning.
In his report to the Academy, Poisson said of Galois' memoir as a whole that
<< We have made every effort to understand Mr. Galois' proof. His argument are not clear enough, nor developed enough, for us to be able to judge their correctness... >>.
He hoped that Galois would improve and amplify his exposition of his work,
but concluded "In the state in which it is now submitted to the Academy, we cannot recommend that you (Mr. Lacroix) give it your approval".
At the time, confronted with an incomprehensible manuscript and a 19-year-old author who could well be asked to improve on it (and who was in trouble with the police to boot),
one might well decide to recommend to one's colleagues that they not endorse it.
H.M. EDWARDS,"Galois Theory",NY: Springer-Verlag,1984.
230:132人目の素数さん
12/05/11 08:03:14.47
>>228
ガロアの原論文ってどれを?
よくある方程式論ならくさるほどあるだろw
決闘前夜の手紙は?
231:132人目の素数さん
12/05/11 08:20:28.33
>>228
CoxはGalois resolventをどう定義してる?
232:132人目の素数さん
12/05/11 21:04:21.61
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
233:現代数学の系譜11 ガロア理論を読む
12/05/11 22:56:49.68
>>230
腐るほどあるが、良い
アルチン読むよりこちらだろう
決闘前夜の手紙? しらんな
下巻しか買ってないから
>>231
それは過去ログにある
234:132人目の素数さん
12/05/11 22:59:19.37
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
235:132人目の素数さん
12/05/11 23:12:27.28
>>233
アルチンの話なんてしてない。
ガロア原論文の話をしてる。
これの一部の解説は腐るほどあるだろ。
Edwardsもそうだし。
しかし、解説してるのは決まって良く知られている方程式論。
そういうのはもう要らない。
ガロアの原論文にはもっと面白い事が書いてある。
しかも解説がほとんどない。
236:132人目の素数さん
12/05/11 23:14:00.97
>>233
>それは過去ログにある
それだけじゃ分からない。
コピペしてくれ。
237:132人目の素数さん
12/05/11 23:18:23.59
>>233
>決闘前夜の手紙?しらんな
決闘前夜の手紙の内容が一番面白いじゃん。
これを解説しないで何を解説する?
238:現代数学の系譜11 ガロア理論を読む
12/05/11 23:31:21.85
>>217
>Liouville was therefore a major influence in bringing Galois's work to general notice when he published this work in 1846 in his Journal.
>However he had waited three years before publishing the papers and, rather strangely, he never published his commentary although he certainly wrote a commentary which filled in the gaps in Galois's proofs.
URLリンク(www.kyoritsu-pub.co.jp)
代数方程式のガロアの理論(ISBN4-320-01770-6)Jean-Pierre Tignol著 新妻 弘訳 A5,360頁 >>69
第14章ガロア P240
「幸運にも、ジョゼフ・リウヴィルが寛大にもガロアの論文を解読する労をとり、彼自身の解説をつけて1846年にそれを公表した。このようにして、ガロア論文は完全な忘却から救われた」とあるが
整合しない
239:132人目の素数さん
12/05/11 23:32:58.63
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
240:132人目の素数さん
12/05/11 23:42:21.44
猫がおらんと寂しいな。
241:132人目の素数さん
12/05/11 23:53:32.95
猫さん、アク禁ですか?
242:132人目の素数さん
12/05/11 23:59:58.51
猫は>>239だろ
243:132人目の素数さん
12/05/12 05:51:43.39
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
244:現代数学の系譜11 ガロア理論を読む
12/05/12 06:56:37.87
>>235
>ガロアの原論文にはもっと面白い事が書いてある。
>しかも解説がほとんどない。
第一論文以外のことか?
第一論文の解説については、Coxにある。現代風の群論の後で、ガロア第一論文を解説している
他の論文についてなら、下記山下あたりを読んだらどうだ? 一冊の本で全てを理解しようとするなというのも、このスレのスローガン。というか、普通引用文献やガロア入門書ならさらに勉強するためにと他の書籍紹介があるはずだし
URLリンク(www.amazon.co.jp)
ガロアへのレクイエム [単行本] 山下 純一現代数学社 (1986/10)
内容(「BOOK」データベースより)
この本の目標は、20才で決闘に敗れて死んだ数学者ガロアを紹介し、「現代代数学の出発点となったとされる《ガロアの方程式論》とは?」、「見果てぬ夢としての《ガロアの数学》とは?」といった疑問に答えて行くところにある。
「数学少年ガロアの活動」、「ガロア理論の数学史的背景」、「現代の数学と《ガロア的数学夢》のかかわり」といったテーマのかずかずが読者をとりこにすることだろう。
245:132人目の素数さん
12/05/12 07:02:46.33
論文には手紙も含むに決まってるだろ。
246:132人目の素数さん
12/05/12 07:04:37.63
山下純一に数学的解説が出来るのか?
247:132人目の素数さん
12/05/12 07:05:47.53
第一論文って何だよ。
フランス語の題名を言えよ。
248:現代数学の系譜11 ガロア理論を読む
12/05/12 07:08:01.02
>>236
>>それは過去ログにある
>>174を見よ
>>237
>決闘前夜の手紙の内容が一番面白いじゃん。
>これを解説しないで何を解説する?
一冊の本で全てを理解しようとするなというのも、このスレのスローガン>>244
>>240-242
猫というものは気まぐれと相場が決まっている
猫さんは、来たければ来る。気が向かなければ来ない
来れば歓迎しますよ。スレがひき締まるから
>>239は猫さんじゃないだろうな。そう見える人は、まだ猫さんの流儀を理解出来ていないからだろうさ
>>239など、ageで書いてくれているからいいね
おいらは、下記のJaneを使っているが、これを使うとスレの”勢い”という表示が見られるんだな。sageであってもレスが入れば”勢い”アップに貢献しているんだ
URLリンク(janesoft.net)
2ちゃんねる専用ブラウザ「Jane Style」の特徴
249:132人目の素数さん
12/05/12 07:10:21.94
>このスレはガロア原論文を読むためのスレ。
当然手紙も含むよな?
250:現代数学の系譜11 ガロア理論を読む
12/05/12 07:14:22.12
>>245-247
教えてくれ、教えてくれか
理解力のないやつと、本を買えない貧乏人で図書館などで自学する気の無いやつは除外だよ>>212
自分で本買えよ、貧乏人!
まあ、知る限り、日本語ではガロアの第一論文以外の数学的解説は見たことがない
フランス語できるなら、フランス語の文献を検索しろよ
ほい。ここに山ほどフランス語文献の引用あるよ。嫁!
URLリンク(fr.wikipedia.org)
251:132人目の素数さん
12/05/12 07:14:24.53
>>244
>第一論文の解説については、Coxにある。現代風の群論の後で、ガロア第一論文を解説している
ページ番号教えて
252:132人目の素数さん
12/05/12 07:15:46.92
>一冊の本で全てを理解しようとするなというのも、このスレのスローガン
だから複数の本を参照すればいいじゃん
253:現代数学の系譜11 ガロア理論を読む
12/05/12 07:16:38.32
>>249
>当然手紙も含むよな?
もちろん含む。なんでも含む。ガロア以外も。雑談も。荒しも
但し、何に反応し、何をスルーするかは、自分(スレ主)が決める
254:132人目の素数さん
12/05/12 07:17:07.50
>>250
俺は分かってる
255:132人目の素数さん
12/05/12 07:18:27.73
>>253
>ガロア以外も。雑談も。荒しも
それは要らない
256:132人目の素数さん
12/05/12 07:25:49.70
>>231に答えてくれ。
因みに俺は答えを知っている。
257:現代数学の系譜11 ガロア理論を読む
12/05/12 09:26:41.80
>>229
>"On jugera":「証明は思いつくであろう」と守屋は訳している
英訳
On jugera : be judged
URLリンク(translate.google.co.jp)
Edwardsは、この程度("On jugera")フランス語の意味は分かるだろうという感じで書いている
そして、彼の§37で持論を展開している
258:現代数学の系譜11 ガロア理論を読む
12/05/12 09:56:07.62
>>253
>当然手紙も含むよな?
下記矢ケ部 第一章オーギュスト・シュバリエへの手紙全文訳が掲載されている。絶版だと思うが、数学科の図書館ならあるだろう
これは、山下>>244の「3 ガロア作品カタログ」で、第三論文とされている(おそらく数学業界ではそう呼ぶ習わしなのだろう)
URLリンク(www.amazon.co.jp)
数III方式ガロアの理論―アイデアの変遷を追って [単行本] 矢ケ部 巌 (著) 現代数学社 (1976/06)
259:現代数学の系譜11 ガロア理論を読む
12/05/12 10:05:03.60
>>138
>ガロア偉大なる曖昧さの理論 双書・大数学者の数学 梅村浩
このP119で紹介されている梅村の超楕円積分を使った解の公式について
山下>>244は、P31”「ガロア以降の「解の公式」”で具体的式の表示を説明している
260:132人目の素数さん
12/05/12 10:30:27.09
>>258
>(おそらく数学業界ではそう呼ぶ習わしなのだろう)
いや勝手に名付けてるだけだろ。
ガロアの原論文なんて現代数学ではほとんど関知しない。
261:132人目の素数さん
12/05/12 10:51:23.18
>>248
> >>239は猫さんじゃないだろうな。そう見える人は、まだ猫さんの流儀を理解出来ていないからだろうさ
猫が一番強力な動機を持ってる。この板を潰したいという動機をな。