12/03/04 18:36:38.99
要するにブルバキは公理主義ということ
これに収まらない数学があることは確かだがそれはその数学がまだ成熟していないと見ることも出来る
484:132人目の素数さん
12/03/04 18:38:32.44
>>482
甘いな
査読されてるからってw
485:132人目の素数さん
12/03/04 18:40:28.97
>>483
成熟すればすべてを収めることのできる体系ができるとでも?
486:132人目の素数さん
12/03/04 18:42:42.48
非線型の偏微分方程式とかは、ずっと収まらんだろw
テレンス・タオを収めるには、20世紀のブルバキじゃあ
古くさくて枠が狭いんだろね。
ポアンカレ予想とかもあんまりブルバキっぽくないが、
リッチフローとか、多様体の崩壊とか、別に数学として
成熟してる、してないとかじゃないだろ。
487:132人目の素数さん
12/03/04 18:44:11.37
>>485
その分野が成熟すれば体系化されるというほぼ当然のことを言ってる
488:132人目の素数さん
12/03/04 18:47:35.96
>>486
代数幾何も昔は体系化は望み薄と思われていたがGrothendieckが現れて(略
489:132人目の素数さん
12/03/04 18:49:31.54
>>488
でも、結局、今の代数幾何って、体系的というより
具体的な対象の研究に戻ったような。
490:132人目の素数さん
12/03/04 18:53:52.00
>>483
公理主義は別にブルバキに限らないってことを言いたかったわけです。
491:132人目の素数さん
12/03/04 18:58:10.76
>>489
Grothendieckが去ったから
492:あのこうちやんは始皇帝だった
12/03/04 18:59:47.80
お前たちは、定職に就くのが先決だろがあああああ!!!!!!!
ゴミ・クズ・カスのクソガキどもがあああああ!!!!!!!!!
493:132人目の素数さん
12/03/04 19:01:13.38
>>492
キチガイは病院行け
494:132人目の素数さん
12/03/04 19:07:28.04
>>491
結局、ブルバキもメンバーが替わってしまい、
全ての数学を体系化するとか、もう言わなくなった。
代数幾何で、Grothendieckがやったことが例外的
だったんでしょうね。今世紀に、第2、第3のGrothendieckが
現れて、微分幾何や非線型PDEを体系化する!なんて
ことはないと思いますよ。
495:132人目の素数さん
12/03/04 19:18:08.40
あれは元気者で気の合うものどうしが集まって
気炎を上げた弾みでできたものだから
そう深い意味はないものと思う
496:現代数学の系譜11 ガロア理論を読む
12/03/04 19:21:03.27
>>453-478
みなさん、乙です!
>>442
>A4の部分群の”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群(位数4)で
>シローの定理>>416により、位数2の部分群が含まれ、位数2の部分群との組み合わせで、位数10の部分群があることがわかる(これが図形の中でどう見えるかまだ自分には見えていないが)
分かりました
”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群(位数4)は、クラインの四元群ですね(下記)
URLリンク(hooktail.sub.jp)
(抜粋)
具体的にはクラインの四元群は x,y,z各軸回りに180度回転させる回転操作の群として表現されます.
クラインの四元群の元 はどれも二乗すると になりますから位数は だと言えます.クラインの四元群は,巡回群ではない群としては最小のものです.
(引用おわり)
下記P2によれば、A4の部分群で(位数4)は、二つあるが巡回群でない方だから、{ e , (12)(34) , (13)(24) , (14)(23)}で、これはクラインの四元群そのもの。で、位数2の部分群は、{ e , (12)(34) }となる
URLリンク(www.math.meiji.ac.jp)
2008 年度卒業研究 S_3, S_4, S_5 の部分群の分類
497:現代数学の系譜11 ガロア理論を読む
12/03/04 20:02:18.04
>>479-495
みなさん、乙です。スレが進む日だな
>>496
繰り返しになるが、べき根拡大で解けるのは、ガロア群G=C5xV (V:クラインの四元群 URLリンク(ja.wikipedia.org) )
(C5は、5次巡回群)
の場合のみ
一般の5次方程式では、ガロア群G=S5=C2xA5 (A5は位数60の交代群で、これは単純群で、非可解。C2は、2次の巡回群)
となってしまうので、解けないと
498:132人目の素数さん
12/03/04 20:11:32.05
>>494
詳しくないけど代数解析は佐藤とか柏原により少しは体系化されてるでしょ。
数論の一部(類体論その他)も数論幾何が発展することによりLanglands programの下に
体系化されるのではと夢想してる。
499:132人目の素数さん
12/03/04 20:30:29.86
>>498
代数解析でも、非線型はまだまだ妄想の範囲w
ソリトンとパンルヴェの一部くらい。
500:現代数学の系譜11 ガロア理論を読む
12/03/04 20:38:45.46
>>497
つづき
位数119 までの群の分類が下記にある
URLリンク(www.akanekodou.mydns.jp)
位数119 までの群の分類 Red cat 平成23 年10 月3 日
>>372-380
V=Aa+Bb+Cc+・・・ ガロアリゾルベント(ガロア分解式)
一般5次方程式では、Vは120の値を取る。この120個の値を集めて
ガロア(分解)方程式F(x)=(x-V)(x-V')(x-V'')・・・・(x-V''*)で、代数的可解性の原則から根a,b,c・・・の有理式を持ってきても、全部Vとガロア(分解)方程式F(x)の土俵の上に乗っている
つまり、ガロアはVとF(x)で、根の有理式が全部乗る土俵を作った。代数的可解性の原則を認めれば、ここからこぼれるものはない
そして、元の方程式を解くことは、ガロア(分解)方程式F(x)が解けることと同じ
V=Aa+Bb+Cc+・・・ ガロアリゾルベント(ガロア分解式)は、根の置換と対応している>>414
そして、方程式のガロア群の構造は、ガロア(分解)方程式F(x)=(x-V)(x-V')(x-V'')・・・・(x-V''*)に反映されている
元の方程式がべき根で解けるとは、ガロア(分解)方程式F(x)=(x-V)(x-V')(x-V'')・・・・(x-V''*)がべき根で解けること
つまり、”ガロア(分解)方程式F(x)=(x-V)(x-V')(x-V'')・・・・(x-V''*)がべき根で解ける”→”ガロア群Gが、巡回群の拡大で構成される構造を持っているべき”だと
しかし、上記”位数119 までの群の分類”にあるように、一般に群には巡回群以外のいろいろな群があり、巡回群の拡大で構成される構造を持っている群ばかりではない
その一つが、位数60の5次の交代群A5で、これは巡回群の拡大になっていない。つまり、非可解であり、単純群でもあった
5次の既約方程式で解ける最大の群は、位数20 B'5 メタ巡回群の場合で、それならべき根で解ける>>443(ガロア原論文では線形群とされている)
これが、一般の5次方程式が解けなず、どんな5次方程式なら解けるかの分かりやすい説明かな
5次方程式の可解性の高速判定法は>>443
また、可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003>>443では、根の公式が導かれている
501:現代数学の系譜11 ガロア理論を読む
12/03/04 20:42:15.49
>>500 訂正
これが、一般の5次方程式が解けなず、どんな5次方程式なら解けるかの分かりやすい説明かな
↓
これが、一般の5次方程式が解けず、どんな5次方程式なら解けるかの分かりやすい説明かな
502:132人目の素数さん
12/03/04 20:48:41.92
>>497
G=S5=C2xA5
とはならないよ
503:現代数学の系譜11 ガロア理論を読む
12/03/04 21:09:24.99
下記は随分参考にさせてもらいました
URLリンク(hooktail.sub.jp)
物理のかぎしっぽ
URLリンク(hooktail.org)
代数学 - [物理のかぎしっぽ]
504:現代数学の系譜11 ガロア理論を読む
12/03/04 22:09:33.40
>>502
おお、ありがとう
しっかりチェックしてくれる人がいて、安心だ
対称群S5 位数120に対し、交代群A5 位数60は正規部分群なので、商群Hが定まり
S5/A5=Hとして、Hの位数は2。位数2の群は巡回群C2に同型なので
G=S5=C2xA5 と書いたんだが
505:132人目の素数さん
12/03/05 19:33:15.70
直積ではなく半直積だ
506:現代数学の系譜11 ガロア理論を読む
12/03/05 22:01:28.33
>>505
なるほど、納得
半直積ね
掲示板では、あまり数学記号が文字化けのため書けないので手抜きしたのもある
ところで、半直積の参考資料を検索したら、こんなのがあった
URLリンク(homepage2.nifty.com)
群と群から群を作る話 成川淳(なるかわあつし)
(抜粋)
数学の世界ではしばしば、2 つの群から1 つの群を作る場面があります。方法としては、
「直積」という概念が最も自然で、最も頻繁に見かけるのですが、少し複雑な「半直積」とい
う概念も頻繁に見かけます。しかし、半直積の定義は2 つの群それぞれの役割が非対称で、
気持ち悪いなという印象が私にはありました。その気持ち悪さを解消し、直積・半直積を包
括する概念として、群のBicrossed Product というものがあります。この概念を知って感心
した覚えがあるので、ここで紹介することにしました。本稿では群の定義と直積の定義は省
略して、作用という概念の紹介から話を進めます。
5 最後に
私は半直積という非対称な概念が嫌いでした。しかし、一度Bicrossed Product という概
念を知り、対称性の高さに感心しつつも厳しい条件(11)-(14) を考えると、逆に半直積の有
用性が理解できました。半直積が素晴らしいのは、(13) が退化した(5) が「準同型」という
扱いやすい性質だからです。逆に(5) を仮定するためには、H のK への右作用が自明でな
ければなりません。つまり、半直積は二項演算としての対称性を犠牲にしつつも、扱いやす
い別の対称性を構成する手段と言えます。実用的ではなさそうな群のBicrossed Product で
すが、半直積の特殊性を浮き彫りにできるだけでも、価値のある概念だと私は思います。
URLリンク(homepage2.nifty.com)
成川淳の文書集へようこそ!
507:現代数学の系譜11 ガロア理論を読む
12/03/06 06:26:09.03
>>506
補足
ご指摘ありがとう
URLリンク(www.math.kochi-u.ac.jp)
抜粋
群G の部分群H とK が与えられたとする。
K がさらにG の正規部分群ならば、HK はG の部分群になる。
・・・がなりたつとき、G はH とK の半直積であると呼び、G = H △ Kと書かれる。(△は、半直積の記号)
H とK の両方がG の正規部分群のときはどうだろうか。
H も正規部分群のときにG はH とK の直積であると呼ばれる。
(引用おわり)
(この資料はちょっと読みにくいが)
なので、直積はH とKの両方が正規部分群になる場合、半直積はKが正規部分群になる場合の群の構造ってことでしょうか
だからG=S5=C2xA5と書いたとき、正規部分群は両方ではなく、A5のみが正規部分群だから、半直積だと
508:現代数学の系譜11 ガロア理論を読む
12/03/06 22:15:54.25
>>507
補足の補足
半直積は、下記にも解説がある
シューア・ザッセンハウスの定理が、半直積理解の要点だろうな
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)#.E7.BE.A4.E3.81.AE.E7.9B.B4.E7.A9.8D.E3.81.A8.E5.8D.8A.E7.9B.B4.E7.A9.8D
群 H と群 N と準同型写像 f: H → Aut(N) が与えられているとき、直積集合 N × H 上に
で積を定めると群となる。これを H と N の f による半直積 (semi-direct product) といい、
で表す。なお、この群で N は正規部分群となる。群の拡大も参照。
シューア・ザッセンハウスの定理: Nを有限群Gの正規部分群とし、|N|と|G:N|が互いに素であるとき、Gの部分群Cが存在して、GはNとCの半直積となる。
509:現代数学の系譜11 ガロア理論を読む
12/03/06 22:42:14.15
>>440
>で繰り返しになるが、5次の線形群(位数 5・4=20)までの特殊な5次方程式ならべき根拡大で解ける>>415-416
>そのときは、”V=Aa+Bb+Cc+・・・ ガロアリゾルベントが、実はV=Aa+Bb と二つの根で十分だ”>>415という特別な場合だ
>しかし、一般の5次方程式の場合は、ガロア群はS5になって、それはA5に落とせるが、A5は図形的には正十二面体や正二十面体群で、これはべき根(=巡回群)による正規拡大(=巡回群による群の拡大列)では到達できない群になる
>これが、ガロア理論のお話し的な説明なのだ
ガロア論文>>3p38第VII節
ここが、おそらく普通の人はなにが書いてあるか、なかなか読めないだろう
守屋の解説もなかなか難しい
ところが、おいらの本で守屋の解説のところに、”アルティンP102”とメモしてあった。うんうん、なるほど・・・
アルティンといえばこれしかないよね・・・???
URLリンク(na-inet.jp)
上野健爾「数学の視点」東京図書,E.Artin(アルティン)/寺田文行・訳「ガロア理論入門」ちくま学芸文庫
URLリンク(www.kishimo.com)
アルティン「ガロア理論入門」を読む
文庫本が出たのをきっかけに,30年前から読みたかった「ガロア理論入門 (ちくま学芸文庫)」を読む決心をしました。
”文庫本が出た”? おいらの持っているのは東京図書のハードカバーだ
P102は、定理43の後(定理44の前。定理44が線形群の話)だ
これは、なかなかわかり易いよ
だから、ガロア論文>>3p38第VII節を読む前に、アルティンの該当箇所を読んで、それからこれを読めば、多少ガロアの言いたいことが分かるだろう
ガロアは、アルティンと同じものを見ていたことは間違いない
が、見ているものを表現する方法がまだ未熟だったのだろう
510:現代数学の系譜11 ガロア理論を読む
12/03/06 22:51:35.94
>>509
補足
ガロア論文>>3p38第VII節は、訳文もこなれていないのか
あるいは、ガロアも決闘が迫っていて時間が無かったのか
結論は正しいが、途中あまり証明らしくない・・・というか、分かる説明になっていない
メモを書いたのは、おいらが守屋先生の解説が理解できなかったので、別の本を漁ったのだろう
511:現代数学の系譜11 ガロア理論を読む
12/03/07 21:35:28.44
>>509
>定理43の後(定理44の前。定理44が線形群の話)だ
>これは、なかなかわかり易いよ
アルティンは、
「Kを任意の体とし、f(x)を素数次数qのK内の既約多項式で、そのガロア群は可解とする。
このときのGの構造は非常に簡単である。
まず、Gは可解であることから正規部分群列
G=G0>G1>G2>・・・>Gs=1 (注:>は集合の包含記号のアスキー代用)
が存在して、相続く2つの群による商群はアーベルである。」
と、始める
実に明快。これをスタートとして、アルティンは線形群を導く(これはさすがにガロアには難しいだろう。群論の用語や記法が当時未整備だったから)
ところで、このアルティンの記述が、べき根で解かれる群の構造と、なぜ5次既約方程式が一般の解かれないかの説明になっている
つまり、5次既約方程式が可解であるとき、Gの構造は非常に簡単でなければならない
即ち、正規部分群列が存在して、G=G0>G1>G2>・・・>Gs=1で、相続く2つの群による商群はアーベルであるという
しかし、一般の5次既約方程式のガロア群GはS5で、正規部分群は位数60の対称群A5のみで、A5の構造は複雑でとてもべき根添加で解けるほど簡単ではないと
(ここらの事情は、>>496>>442>>440辺りをご参照)
これも、5次方程式がべき根による根の公式を有しない大衆向けの一つの説明だろう
512:現代数学の系譜11 ガロア理論を読む
12/03/07 21:38:09.08
>>511
訂正スマソ
ガロア群GはS5で、正規部分群は位数60の対称群A5のみで
↓
ガロア群GはS5で、正規部分群は位数60の交代群A5のみで
513:現代数学の系譜11 ガロア理論を読む
12/03/07 22:35:49.29
>>437
>ニュートンが、天体力学の要請から微分積分を発展させた
>それから解析力学が出てきた(ハミルトニアン)
(思い出したときに追加しておく)
天体力学から摂動計算が出て、後の量子力学へつながった
量子力学のハイゼンベルグの行列力学から固有値によるシュレージンガー方程式との同等性証明
天体力学の三体問題などから、ポアンカレの位相幾何学へ
514:現代数学の系譜11 ガロア理論を読む
12/03/07 23:01:38.54
>>385
>最近気付いたが、下記Jean-Pierre Tignolも詳しい
>というか、P156の定理10,7など、ガロア論文>>3のP39のラグランジュ分解式のn乗を扱っていることや補助方程式の次数が(n-2)!になることと、完全に一致している
>一致という意味では小杉の方がお話風で読みやすいが
>ともかく、こういうラグランジュが到達していた地点を見ると、ほとんどガロアに近い
繰り返しになるが
ガロア論文>>3のP39のラグランジュ分解式のn乗と、補助方程式の次数が(n-2)!になること(5次方程式の場合(n-2)!=6次)、この方程式が有理敵に解ければ、5次方程式は代数的に解けること(十分条件)
ここまでは、ラグランジュがすでに確率していた
5次方程式の可解性とこの6次方程式が有理敵に解けることが必要十分であることは、ガロアが初めて示したが
ラグランジュはもう一歩というところまで行っていた
ガロアは、ラグランジュという巨人の肩の上で仕事をしたんだと思う
守屋>>3がP76で
「ガロア時代の数学者に難解と思われても無理とはいえない。当時の科学学士院がこの論文を受理しなかったのも、論文の内容を十分理解しえなかったためだと思う。
この点について、当時の科学学士院の無力を攻めるよりは、むしろはるかに遠く時代に先行していたガロアの天才を讃えるべき・・」と書いているが
書き方が雑ということも大きいように思う
おそらく時間が無かったのと、ガロアは若かった
論文が革新的であれば、よけい丁寧に書かなければ理解は得られない
ただ、ガロアがあと10年存命であれば、ガロア理論はもっと早く理解を得られたと思う
「科学学士院がこの論文を受理しなかった」のではなく、書き直しを命じたのだった。決闘で若くして命を無くすとは思わず
また、ガロアの時代は現代のようにワープロやコピー機はなく、手書き原稿を紛失されると痛い(がっくりするよね)
それは手書き原稿時代に、原稿を紛失され書き直しを言われるとは、なんとも腹立たしいことだったろうとは思う
515:現代数学の系譜11 ガロア理論を読む
12/03/08 00:18:39.00
>>80
>近世数学史談 (岩波文庫) [文庫] 高木 貞治
URLリンク(www.amazon.co.jp)
「ガロアの方程式論は彼が期待したように四十年後にジョルダンが「判読」してぼう然たる置換論(1870)の述作をなした」と高木は書いている
”ラグランジュはもう一歩”>>514と書いたけれども、ガロアの後四十年群論を理解する人思いつく人は出なかった
ガロアの遺稿がなければ、もっと遅れていただろうか
だが、もし遺稿がなくとも、いずれガロア理論はだれかが書いたろうと思う、ジョルダンよりずっと後になったかも知れないが・・
516:Kummer ◆SgHZJkrsn08e
12/03/08 00:45:20.55
>>515
>ガロアの後四十年群論を理解する人思いつく人は出なかった
置換群論はCauchyが1844年にやっている。
そこで有名なCauchyの定理(有限群の位数が素数 p で割れればその群は位数 p の元を持つ)を証明している。
517:132人目の素数さん
12/03/08 01:04:15.88
群という概念自体はガロア以前にあったんじゃなかったっけ?
ガロアの評価されるべきところは正規部分群という概念を発見したところ
っていうのをどっかで見たようなキガス。2ちゃんソースかもしれんがw
518:132人目の素数さん
12/03/08 01:58:53.69
>>516
自分のスレでは相手にされないから、ちょっかい出しに来たのか?w
519:現代数学の系譜11 ガロア理論を読む
12/03/08 06:38:35.67
>>516
Kummerさん、乙です
なるほど
そういえば、倉田>>4がデデキントについて書いていたね
URLリンク(ja.wikipedia.org)
デデキントは1855年にゲッティンゲン大学でガロア理論に関する最初の講義を行ったことでも知られている[1]。
[1]^ 佐武一郎「解説「ガロア理論」について」、エミール・アルティン 『ガロア理論入門』 寺田文行訳、筑摩書房〈ちくま学芸文庫〉、2010年4月、p. 215。ISBN 978-4-480-09283-0。
(引用おわり)
近世数学史談 (岩波文庫) [文庫] 高木 貞治>>515によれば
いわゆる第一論文は「1846年にリウーヴィルの手で発表された」とあるので、発表後9年でデデキントが最初の講義を行ったんだ
>>517
乙
その見方も正しい
ある事象Aについて、見る視点によって、見え方が違うという場合がある
というか、多少複雑な事象については、視点を変えてみる必要がある場合が多い
例えば、Aが四角形の形に配列された煙突だとすると、視点によっては3本に見えたりする
上空から見れば、配列は一目瞭然としても、上空に上がれない場合にはその配列を周囲から調べるしか配列を知る方法はない
520:現代数学の系譜11 ガロア理論を読む
12/03/08 07:46:58.19
>>519
補足
これがまとまっているね
URLリンク(ja.wikipedia.org)
歴史
ガロアは1832年の(死の原因となる)決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。
その後、1846年になって、リューヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載したことで、多くの数学者が刺激を受けることになった。
デデキントは1855年から1857年にかけてゲッティンゲン大学でガロア理論に関する最初の講義をおこなった[1]。
早い時期に、ベッチ、クロネッカー、ケイリー、セレは群概念を厳密化していった。
カミーユ・ジョルダンによって1870年に発表された『置換と代数方程式論』 (Traite des substitutions et des equations algebraique) はガロア理論に関する包括的な解説として最も古いものである。
また、デデキントとウェーバーは1882年に代数関数体とリーマン面の代数的理論を構築した[1]。
ソフス・リーによって導入されたリー群はガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。
その後、エミール・アルティンによってガロア理論の線型代数学的な定式化が追求された。
アレクサンダー・グロタンディークによって圏論的な定式化と数論幾何・代数幾何への応用が押し進められた。
521:現代数学の系譜11 ガロア理論を読む
12/03/08 21:54:24.43
>>519
>近世数学史談 (岩波文庫) [文庫] 高木 貞治>>515によれば
近世数学史談で面白い記述を見つけた
”18.パリ便り”というアーベルの手紙に関する節だ。1826年10月24日付け
・・次の一般的の問題を解く手掛かりが見つかったようだ。
それは「代数的に解きえる凡ての方程式の形を決定すること」というのだ。
僕は、五次、六次、七次等々のそれらを無数に見出した。
今までそれを嗅ぎつけたものはあるまいと思う。
同時に僕は最初の四つの次数の方程式の最も直接的なる解法を得た。
それに由れば、何故にこれらだけが解けて、他のものは解けないかが甚だ明白に理会されるのである。
特に、五次方程式に関しては、若しもそれが代数的に解かれるならば、根の形は次のようでなければならないことが分かった。
x=A+(R)^(1/5)+(R')^(1/5)+(R'')^(1/5)+(R''')^(1/5)
ここで、R、R'、R''、R'''は一つの四方程式の四つの根で、それらは平方根ばかりで表されるのだ。
(注:(R)^(1/5)などの項は、原文ではRの五乗根(ルート記号)を用いて表されているが、掲示板の制約でエクセル記法を用いた。)
(引用おわり)
>>440-441、>>443、>>496に書いたが
五次の既約な方程式で、解ける場合はガロア群は位数20 B'5 メタ巡回群であって
位数20 B'5 メタ巡回群(=線形群(アルティン>>511))は、一つの5次巡回群C5とクラインの4元群Vとの積(直積でいいのかな?)からなるので
アーベルの述べた上記の根の形は、位数20 B'5 メタ巡回群の姿を確かに捉えているのではないだろうか
アーベルは、1829年4月6日は亡くなったが、生きていれば、ガロアより先に五次方程式に関してなにか書いたかも知れない(それはおそらく上記を発展させたものだろう)
URLリンク(ja.wikipedia.org)
ニールス・ヘンリック・アーベル(Niels Henrik Abel、1802年8月5日 - 1829年4月6日)はノルウェーの数学者である。
522:Kummer ◆SgHZJkrsn08e
12/03/08 22:21:13.18
楕円関数は代数関数論の一部として理解しなけりゃ真の意義が分からないだろ。
もっと言うと代数関数論はコンパクトリーマン面、非特異射影代数曲線、1変数代数関数体
この三つを総合して考える必要がある。
これ等は一つの実体の異なる化身と考えられる。
いわば三位一体
523:Kummer ◆SgHZJkrsn08e
12/03/08 22:23:11.83
スレを間違えたw
まったく無関係というわけじゃないが
524:Kummer ◆SgHZJkrsn08e
12/03/08 22:43:09.82
GaussはDisquisitiones Arithmeticaeにおいてレムニスケートの等分理論についてほのめかしている。
Abelはそれに触発されて楕円関数の研究に向かったと思われる。
楕円関数の等分方程式の可解性の問題がAbelの方程式論の背後にある。
Galoisの問題意識も恐らくそこにあったと思われる。
525:現代数学の系譜11 ガロア理論を読む
12/03/08 22:46:56.28
>>521
補足
ラグランジュは、素数n次の既約方程式について、補助方程式で次数が(n-2)!のものが解ければ、5次方程式などは代数的に解けること(十分条件)を示していた>>514
だから、これが必要十分条件であることを示せば、ガロアの得た結果と同じになる
そして、5次方程式の一般の代数的解法が不可能(べき根による根の公式がない)なことはアーベル自身が証明している
だから、アーベルはラグランジュよりさらに半歩、ガロア理論に近づいていたのだ
あるいは、手が届いていたのかも
ラグランジュも、5次の根の公式があると思い込んでいるから、記載ぶりや結論があやふやになった
5次の根の公式の存在を否定してしまえば、ラグランジュ自身が示した6次の補助方程式が有理解を持つことが必要十分という方向へ行ったろう
まあ、一般5次方程式の代数的解法がないことを証明したアーベルだから、
それがガロアのような群論を用いたものになったかどうか不明だが、少なくとも>>521の手紙に記したようなことは、存命ならいずれ発表したろう
ガロア論文の出版が遅れたから、おそらくガロア論文が世に出る前にアーベルの理論が出版されたのではないか
となると、アーベル存命でアーベルの方程式論が発表されそれが発展すれば、ガロア論文に対する評価も現在とは違った形になったかもしれない
526:現代数学の系譜11 ガロア理論を読む
12/03/08 22:48:49.34
>>522-524
Kummerさま、投稿乙です!
527:現代数学の系譜11 ガロア理論を読む
12/03/10 11:13:55.42
>>367
>a_0x^4+a_1x^3+a_2x^2+a_3x+a_4=0 - Wolfram|Alpha URLリンク(www.wolframalpha.com)
Maxima>>283で同じ問題を解かせると
a*x^4+b*x^3+c*x^2+d*x+c=0は、” << Expression too long to display! >>”となる
3次の項を落として
a*x^4+c*x^2+d*x+c=0は解けるが、かなり長い結果表示で、上記のWolfram|Alphaの方が見やすいね。さすがに、こっちの方が上で、使いやすいか
528:132人目の素数さん
12/03/10 15:06:00.79
>>524
人が言ったことをさも自分の考えのように言っちゃってw
さすが、コピペスレのスレ主は違う。
529:132人目の素数さん
12/03/10 15:15:12.64
>>524
失せろくんまー
通報するぞ
530:Kummer ◆SgHZJkrsn08e
12/03/10 17:11:31.85
ドキュンはこれだから
誰の考えかは無関係
問題はその内容
531:Kummer ◆SgHZJkrsn08e
12/03/10 17:19:51.14
>>529
お前はもう死んでいる
532:132人目の素数さん
12/03/10 19:11:58.15
>>530
>問題はその内容
どれもどこかで聞いた内容ですがw
533:Kummer ◆SgHZJkrsn08e
12/03/10 19:40:22.50
Abelの方程式論の背後には明らかに楕円関数の等分方程式の可解性の問題がある。
Galoisの書いたものから判断して彼も同様だと思われる。
この問題はKroneckerの青春の夢につながり最終的には高木により解決された。
534:あのこうちやんは始皇帝だった
12/03/10 19:53:41.11
お前たちは、定職に就くのが先決だろがああああああ!!!!!!!!
ニート・無職の、ゴミ・クズ・カスのクソガキどもがああああ!!!!!!!
535:現代数学の系譜11 ガロア理論を読む
12/03/10 19:59:52.44
>>528-532
おいらは、Kummerさんも歓迎だよ
但し、定理の証明は自スレでやってもらえば
それから”通報するぞ”は無意味だ
通報してから、書くように
もっとも、この程度では通報しても荒しとは認められないだろうな
536:現代数学の系譜11 ガロア理論を読む
12/03/10 20:11:48.70
>>525
こんなのが、あった
URLリンク(ja.wikipedia.org)
(抜粋)
アーベル-ルフィニの定理(Abel-Ruffini theorem)は、五次以上の代数方程式には解の公式が存在しない、と主張する定理である。
より正確には、5以上の任意の整数 n に対して、一般の n 次方程式を代数的に解く方法は存在しない、という定理である。
1770年 ラグランジュが代数方程式の解法と根の置換について考察し、代数方程式が解けるための条件を初めて見いだす。
1799年 ルフィニが最初の不可能性の論文を発表。同年ガウスが代数学の基本定理を証明した学位論文中で五次方程式の不可能性について予言。
1824年 最初の論文によりアーベルによってルフィニの欠陥が解決される。定理の成立。
1829年 アーベル没。ガロアが代数方程式の可解性について最初の論文を書く。
1832年 ガロア没。
1846年 リウヴィルによりガロアの仕事が世に出る。
同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。
代数的に可解な系列として円分方程式論を展開しているが、これはアーベルやガロアの理論のプロトタイプといえるものであり、両者に影響を与えた。
なおガウスは後年アーベル、ガロアの論文を受け取っているが、全く関心を示さなかったという。ガウスにとって既に重要な問題とは見えなかったらしい。
ラグランジュを学んだアーベルは、当初五次方程式の解法を発見しようとしていたが、そのうちに不可能かも知れないと考えるようになり、研究の方向を転換する。
一方ガロアはアーベルとは独立でほぼ同じ経路を辿っていた。アーベルの仕事については知らなかったが、後に恩師に薦められて存在を知る。
コーシーが自分の時と同じく、アーベルの論文も紛失したことに憤慨する手紙が残されている。
どちらの証明も、本質的にはガロア群の構造に触れることで不可能性を証明しているが、アーベル、ルフィニらには「群」という意識がまだ存在しておらず、技巧的な証明に留まっていた。
537:Kummer ◆SgHZJkrsn08e
12/03/10 20:28:25.80
>但し、定理の証明は自スレでやってもらえば
ここでやるわけないw
538:現代数学の系譜11 ガロア理論を読む
12/03/10 20:28:58.07
>>536
>同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。
>代数的に可解な系列として円分方程式論を展開しているが、これはアーベルやガロアの理論のプロトタイプといえるものであり、両者に影響を与えた。
ガウスは、作図可能な正多角形の研究を通じて、円分方程式論を展開している。これは、正にべき根と巡回群に関する研究である。それを通じて、べき根拡大には限界があり、一般の5次方程式はべき根では解けないことがガウスには直感的に分かったのではないだろうか
URLリンク(ja.wikipedia.org)
(抜粋)
作図可能な正多角形
正三角形と正五角形、この2つの正多角形の頂点の数の最小公倍数の値と同じ数の頂点を持つ正十五角形、正方形、
およびこれらの頂点の数に2の冪を乗じた数の頂点を持つ正多角形が作図可能である事は古代ギリシアの数学者エウクレイデス(ユークリッド)が著した『原論』に記されており、よく知られていた。
長い間それ以上のことは判明しなかったが、ガウスが1796年3月30日に、正十七角形が作図可能であることを発見した[3][4]。
同時に正五十一角形、正八十五角形、正二百五十五角形、及び17もしくはこれらの頂点の数に2の冪を乗じた数の頂点を持つ正多角形が作図可能であることも発見されたことになる。
ガウスはさらに1801年に出版した『整数論の研究』において、正 n 角形が作図可能であるための必要十分条件が、n が2の冪と相異なるフェルマー素数の積、すなわち
n = 2mFaFb…Fc(Fa , Fb , … ,Fc は全て異なるフェルマー素数、m は非負整数)
の形であることを示した[5]。
これは 1 の原始 n 乗根 ζn のガロア群の構造が 2 次拡大の繰り返しによって得られることの特徴付けとして得られる。
539:現代数学の系譜11 ガロア理論を読む
12/03/10 20:31:26.35
>>537
Kummerさん、乙です
>ここでやるわけないw
だよね
ま、よろしくね
540:132人目の素数さん
12/03/10 20:33:44.01
>>533
知ったかぶり乙w
541:現代数学の系譜11 ガロア理論を読む
12/03/10 20:40:21.95
>>536
>学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。
これだね
URLリンク(ja.wikipedia.org)
(抜粋)
Disquisitiones Arithmeticae(ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す)は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。
1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた[1]。
ラテン語の arithmetica(アリトメティカ)は通常「算術」と訳される[2]が、ガウスの意図したものは、今日「数論」もしくは「整数論」と呼ばれる学術的領域である[3]。
D. A. を『数論研究』と訳している書物もある[4]し、高瀬正仁による最初の D. A. の完全な日本語訳の書名は『ガウス整数論』である。
最後の第7章は、円周の等分に関する理論であり、1の冪根や円分多項式について議論している。特に、正多角形が定規とコンパスによる作図で構成可能であるための条件を与えている(最終第365条、366条)。
ガウスは、高次の合同式に関する、第8章に相当するものを書いていたが、完成することなく、死後に部分的に公表された[5]。
542:猫vs運営 ◆MuKUnGPXAY
12/03/10 20:41:52.78
>>540
オマエの様な奴が一番いやらしいワ。そやし攻撃したる。
猫
543:132人目の素数さん
12/03/10 21:19:07.40
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
544:132人目の素数さん
12/03/10 21:47:42.29
>>542
痴漢にそんなことをいう資格はない。痴漢はいやらしくないのかw
545:猫vs運営 ◆MuKUnGPXAY
12/03/10 21:53:40.49
>>544
攻撃するのはわしの勝手や。そやし気に入らんかったらオマエがワシを
攻撃したらエエのや。そうやってスレが焦土と化して行くだけや。
どや、文句アルかァ!
猫
546:猫vs運営 ◆MuKUnGPXAY
12/03/10 21:57:21.27
>>542
オマエをズタボロになるまで追い詰めて潰したる。許さんからナ。
猫
547:猫vs運営 ◆MuKUnGPXAY
12/03/10 21:59:23.43
アンカーを間違えたワ。攻撃の目標は>>540やったワ。
猫
548:猫vs運営 ◆MuKUnGPXAY
12/03/10 22:00:10.23
>>540
オマエをズタボロになるまで追い詰めて潰したる。許さんからナ。
猫
549:猫vs運営 ◆MuKUnGPXAY
12/03/10 22:01:45.16
>>540
オマエみたいな発想の奴が一番憎いんだヨ。徹底的に追い詰めたる。
猫
550:現代数学の系譜11 ガロア理論を読む
12/03/10 22:05:45.26
>>545
ねこさん、乙!
おいらも、ねこさんに賛成だな
まあ、この程度は焦土とは呼ばないが。焚き火だね。ちょっとホットにあったまって適温だな
999まで、先はまだまだ長いし、それで足りなければ次スレ立てるから
551:猫vs運営 ◆MuKUnGPXAY
12/03/10 22:09:17.32
ああ、そうですか。なるほど。
猫
552:132人目の素数さん
12/03/10 22:27:34.53
>>545-549
よほど痴漢と呼ばれたの答えたらしいなw
キチガイぶりでは、猫と熊はよく似ている。
553:132人目の素数さん
12/03/10 22:29:55.99
>>549
世の中には、人のいったことを、さも自分が考えたようにいう輩がいる。
痴漢猫はその仲間w
554:現代数学の系譜11 ガロア理論を読む
12/03/10 22:36:48.07
>>511
補足
アルティンが、線形群の補題を書いている
定理44の直前だ
補題 qを素数とし、Hをq個の文字の置換群とし、Hの正規部分群Nが線形であるとする。するとH自身も線形である
これのアルティンの証明もなかなか鮮やかだが
ともかく、「qを素数とし、Hをq個の文字の置換群とし」=Hは素数次の対称群Sqの部分群ってことで
線形群は、いくらべき根で正規拡大しようとしても、線形群以上にはならない
で、線形群の位数の最大値は、q(q-1)にしかならない(これは、アルティンの定理45の直前の記述)
なので、べき根で解けるのは、ガロア群がこの程度(位数の最大値q(q-1))まで
一般のガロア群では、対称群Sqの位数はq!(qの階乗)だから、それは線形群よりもっともっと複雑ってことがわかって、「なるほどべき根では解けないね」と
555:現代数学の系譜11 ガロア理論を読む
12/03/10 22:37:27.13
>>552-553
おまえ、そうとう馬鹿だな
556:現代数学の系譜11 ガロア理論を読む
12/03/10 22:48:44.71
>>554
補足
ガロア論文>>3の第VII節で、ガロアはアルティンの補題や定理44から45にかけての説明と同じ趣旨のことを書いている
しかし、ガロアの時代正規部分群という用語も線形群という用語や概念もはっきりしていないから、その表現がわかりづらい
アルティンや守屋解説>>3、倉田>>4などを読んでからでないと、とても読めたしろものではない
557:現代数学の系譜11 ガロア理論を読む
12/03/10 22:57:52.93
>>556
だが、守屋先生の解説も分かりにくい
えーと、守屋先生を検索すると・・
守屋 美賀雄(もりや みかお)、洗礼名は「ミカエル」か・・。「ミカエル」→美賀雄かも・・。高木貞治門下の一人か。
URLリンク(ja.wikipedia.org)
守屋 美賀雄(もりや みかお、1906年3月 - 1982年10月18日)は、日本の数学者。高木貞治門下の一人。
専攻は整数論。父親は守屋荒美雄(すさびお)で、帝国書院、関東第一高等学校、吉祥女子中学校・高等学校の創立者。
洗礼名は「ミカエル」。理学博士。
1949年から始まったイールズ事件(1949年占領軍総司令部民間情報部最高教育顧問官イールズが全国の大学をまわって、講演の中で共産主義者を大学から追放すべきだと主張していた)では、
1949年5月15日に北海道大学でイールズの講演に対し、カトリック信者として真っ向から反対している。
経歴
1923年 開成中学卒業。
・第一高等学校卒業。
1929年 東京帝国大学理学部数学科卒。
1931年10月 ドイツのマールブルク大学へ留学、ヘルムート・ハッセの下で学ぶ。
1934年3月 ドイツより帰国し、直ちに北海道帝国大学(のちの北海道大学)理学部数学科助教授
1938年 帝国第一高等女学校(のちの吉祥女子中学校・高等学校)の初代理事長に就任。(設立者)
1941年 北海道大学理学部数学科教授
1950年5月 岡山大学理学部数学科教授
1957年8月 東京大学教養学部教授
1965年3月 東京大学定年退官
1965年4月 上智大学理工学部数学科教授←数学科新設に伴い
1968年11月12日-1975年3月31日 上智大学第6代学長
1971年1月 ローマ教皇庁より聖グレゴリオ大勲章受章
学位
1938年 理学博士(東京大学)
558:132人目の素数さん
12/03/10 23:06:57.22
>>555
>なので、べき根で解けるのは、ガロア群がこの程度(位数の最大値q(q-1))まで
こんないい加減なことを書いておいてどっちがバカなんだかw
559:現代数学の系譜11 ガロア理論を読む
12/03/10 23:15:57.29
>>557
>だが、守屋先生の解説も分かりにくい
守屋先生1906年3月 - 1982年10月18日ですか
お亡くなりになっている人を悪くいうつもりはないが
P113の解説 「22)・・これ以降本節でガロアの述べていることは意味が明確でないし、また原文のままでは必ずしも正しくはない。
・・、もとの方程式のガロア群の元が線形置換とは断定できない。そのためには、以下に示すようにある制限が必要である。」
としておきながら、どんな制限かあいまい。この後、”制限”というキーワードが出ないまま、23)の解説になってしまう
”ガロアの述べていることは意味が明確でない”と批判した解説であるから、自分はもっとしっかり(意味明確の)手本を示すつもりで書いて欲しかったね
560:現代数学の系譜11 ガロア理論を読む
12/03/10 23:16:39.79
>>558
おまえに決まっているじゃん
561:現代数学の系譜11 ガロア理論を読む
12/03/10 23:22:35.53
>>558
>>なので、べき根で解けるのは、ガロア群がこの程度(位数の最大値q(q-1))まで
まあ、正確には、アルティン先生は
「よって、Gの位数はdqであり、Gの構造は位数dqによって一意に定まる。位数の最大値は(q-1)qである」(定理45の直前に)と書いてあるが、面倒なので縮めたんだよ
562:132人目の素数さん
12/03/10 23:24:56.83
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
563:132人目の素数さん
12/03/11 00:27:16.21
>>560
いい年したオッサンが、じゃんとかおいらとか恥ずかしいぞ。
564:132人目の素数さん
12/03/11 00:32:31.01
>>561
バカw 肝心なことがわかっていない。
565:Kummer ◆SgHZJkrsn08e
12/03/11 04:55:28.74
>>528
数学史の専門家でない俺が数学史について述べてるんだからオリジナルでないことは明らか。
似たようなことは高木の近世数学史談にも書いてある(ソースはそれだけじゃないが)。
しかし、高木の本にしたって歴史部分は高木のオリジナルじゃないだろ。
高木が超能力者なら別だがw
566:132人目の素数さん
12/03/11 05:12:15.40
>>565
阿呆
通報
567:現代数学の系譜11 ガロア理論を読む
12/03/11 08:07:47.69
>>563
馬鹿だな、おまえ。ここは2ちゃんねるってこと。全てはそのコンテキストで考えるべし。”おいら”は、かつて2ちゃんねるを立ち上げた西村の常套句でそれを借りているんだよ、おばかさん
>>564
馬鹿だな、おまえ。”肝心なことがわかっていない”か。
だが、「>なので、べき根で解けるのは、ガロア群がこの程度(位数の最大値q(q-1))まで
こんないい加減なことを書いておいてどっちがバカなんだかw」>>558と、アルティン先生からの引用>>561にインネンつけたお前の負けだ
”肝心なことがわかっていない”という指摘が何を意味するのか不明だが(おそらくそれを書けば反論されるのを恐れてボカシているのだろうが)、当たっているかも知らんし別に否定はしない
だが、「こんないい加減なことを書いておいて」→”肝心なことがわかっていない”は成り立たないぞ
そして、ここは2ちゃんねるってこと。全てはそのコンテキストで考えるべし。ここは学会ではない。専門書の記述そのままでは面白くない場合が多い。適当に(不正確でも可)変換すべし
正確さを求めるならアルティン先生を読めば良いだけだから
>>565-566
Kummerさんの勝ち
566のオッサン馬鹿だから、相手をしない方がいい。馬鹿が感染るぞ! おいらも今後馬鹿が感染らないようにスルー(無視)するよ
568:132人目の素数さん
12/03/11 08:11:22.47
>>567
阿呆w
569:現代数学の系譜11 ガロア理論を読む
12/03/11 08:40:06.76
>>559
>P113の解説 「22)・・これ以降本節でガロアの述べていることは意味が明確でないし、また原文のままでは必ずしも正しくはない。
>・・、もとの方程式のガロア群の元が線形置換とは断定できない。そのためには、以下に示すようにある制限が必要である。」
>としておきながら、どんな制限かあいまい。この後、”制限”というキーワードが出ないまま、23)の解説になってしまう
補足
倉田>>4が、P179で
「すなわち、ガロア群が線形置換群であるための必要十分条件は、方程式G(X)がkの元を根に持つことである。
ただし、A(r)からSpの置換によって生ずる相異なる量がちょうど p!/(p(p-1)) 個あるように有理数rを選ぶことができるという仮定のもとであることは、[守屋]によって指摘されている通りである」と書いている
1.守屋先生の記述との対応がイマイチはっきりしないが、P133の下から6行目の「m=1・2・・・・・(n-2)」のことだろうか
2.倉田もこれだけでは、言いたいことが分からない
3.ここは、エム・ポストニコフの『ガロアの理論』(1964年4月25日,東京図書出版発行)>>442のP146に書いてある通り、
既約な5次方程式で可解になるのは、メタ巡回群B’5(=線形置換群、位数20=5・4)、半メタ準海群B5(位数10)、C5巡回群(位数5)の3通りで、
”既約な5次方程式で可解→メタ巡回群B’5(=線形置換群)”に限らないってことを言いたいのだろう
ここは、URLリンク(staff.aist.go.jp) 5次方程式の可解性の高速判定法 元吉文男 著 - FM Memo 19961017-01 にも引用されている
まあ、先生がたは分かりすぎていて、いわずもがなということなのでしょうが、初めてガロア理論に触れる人には分からないだろうと
570:132人目の素数さん
12/03/11 08:40:31.77
意味のない書き込みw
571:猫vs運営 ◆MuKUnGPXAY
12/03/11 09:07:25.39
>>568
>>570
コラ、邪魔したらワシがシバいたるさかいナ。そやし静かにせえや。
猫
572:132人目の素数さん
12/03/11 09:15:22.46
芳雄に完全敗北w
573:現代数学の系譜11 ガロア理論を読む
12/03/11 09:31:48.37
>>571
猫さん、乙です。論理的反論も書けない、品性も知性も低いオッサンですが、568、570は。まあ、よろしくお願いします
574:132人目の素数さん
12/03/11 09:37:13.71
>>573
悔しいのうwwww
致命的な数学的間違いが散見される「害」のある書き込みばかりじゃないか、君。
もう少し知性を向上させたまえ。
575:現代数学の系譜11 ガロア理論を読む
12/03/11 09:56:08.63
>>569
因みに、守屋>>3のガリア論文の本文第VII節P39で
「この[群(G)の直前の]群について、前の群についてと同様に論ぜられるであろう。
その結果、[群の]分解の順序で第一の群、すなわち方程式の実際の群は
xk, xak+b
という形の置換だけを含むことができることになる。」
と、書かれているが、ここはちょっとおかしいだろう
つまり、ガロアは>>554アルティン「補題 qを素数とし、Hをq個の文字の置換群とし、Hの正規部分群Nが線形であるとする。するとH自身も線形である」を明確に意識し、
”線形群の正規拡大はまた線形になる”ので、結局べき根で解ける素数n次の既約方程式のガロア群は線形群だと主張していると思う
とすれば、
「この(正規部分群列(方程式のガロア群=G0>G1>G2>・・・>Gs-1>Gs=1 by アルティン>>511 ))について、前の群(Gs-1 by アルティン=群(G)の直前の群 by ガロア)についてと同様に論ぜられるであろう。
その結果、[群の]分解の順序で第一の群、すなわち方程式の実際の群は
xk, xak+b
という形の置換だけを含むことができることになる。」とされるべきだったろう。ガロアの原文が悪いのか、訳がどうなのか不明だが
576:現代数学の系譜11 ガロア理論を読む
12/03/11 10:03:35.78
>>558と、アルティン先生からの引用>>561にインネンつけたお前の負けだ。だから、具体的な指摘ができない。具体的な指摘をすれば、>>561のようにアルティン先生の本に還元されるからね
再度確認しておく「アルティン先生からの引用>>561にインネンつけたお前の負けだ」
なおこのレスは、>>558の再確認にすぎない
577:猫vs運営 ◆MuKUnGPXAY
12/03/11 10:06:20.19
>>573
ちゃんと読ませて貰ってます。出来る事は協力します。
猫
578:132人目の素数さん
12/03/11 10:09:23.35
芳雄に連戦敗北・・w
579:現代数学の系譜11 ガロア理論を読む
12/03/11 10:10:08.09
>>575
訂正スマソ
因みに、守屋>>3のガリア論文の本文第VII節P39で
↓
因みに、守屋>>3のガロア論文の本文第VII節P39で
(イカン、馬鹿が感染ってきた)
580:現代数学の系譜11 ガロア理論を読む
12/03/11 10:11:54.24
>>577
猫さん、乙です
間違いがあれば指摘してください
よろしくね (間違いを過度に恐れていては書けないので)
581:猫vs運営 ◆MuKUnGPXAY
12/03/11 10:44:43.84
>>580
気付いた事があれば書き込みますが、余り頼りにはしないで下さい。
でもその『間違いを恐れない』というのはとても大切な事だと思います。
私も何かをする時はそのポリシーですね。頑張って下さいまし。
猫拝
582:132人目の素数さん
12/03/11 11:54:59.72
>>579
移る前からバカだろ?キモいおっさんw
お前はいい加減なこと書きすぎだ。もう一度勉強し直してから書き込めよw
583:132人目の素数さん
12/03/11 12:04:44.59
>>567
>ここは2ちゃんねるってこと。全てはそのコンテキストで考えるべし。
だからバカと皆さん指摘している。
>”おいら”
おっさんの年って、50前後なのか? ”おいら”は、さすがに恥ずかしいww
584:Kummer ◆SgHZJkrsn08e
12/03/11 12:13:16.15
>>532
もちろん>>530はアホでない限り常識
>>528がその常識をわきまえてないから言ったまでw
585:Kummer ◆SgHZJkrsn08e
12/03/11 12:17:40.87
>>583
>おっさんの年って、50前後なのか? ”おいら”は、さすがに恥ずかしいww
”おいら”って古い言葉だろ(ビートたけしも使ってるし)
田舎なら今でも若いやつが使ってるかもしれないが
俺は田舎に詳しくないんで知らないw
586:132人目の素数さん
12/03/11 12:19:30.25
>>Kummer
消えろ。俺を怒らせんうちにな。
587:Kummer ◆SgHZJkrsn08e
12/03/11 12:20:21.78
www
588:猫vs運営 ◆MuKUnGPXAY
12/03/11 12:49:59.37
>>586
オマエが怒っても誰も困らん。そやし逆上して怒れや。ワシが攻撃したるがな。
猫
589:現代数学の系譜11 ガロア理論を読む
12/03/11 12:54:10.20
>>585
Kummerさん、乙です
”おいら”は、下記「2ちゃんねる鉄の掟」に由来する由緒ある言葉です
URLリンク(info.2ch.net)
2ちゃんねる鉄の掟
出されたご飯は残さず食べる。
転んでも泣かない。
おいらのギャグには大爆笑する。
590:現代数学の系譜11 ガロア理論を読む
12/03/11 13:02:03.62
>>588
猫さん、乙です
”俺を怒らせんうちにな”って、笑える。お茶目なおっさんだね。知能低そうだが
>>581
猫さん、乙です
>でもその『間違いを恐れない』というのはとても大切な事だと思います。
>私も何かをする時はそのポリシーですね。頑張って下さいまし。
間違ったことも書いているかも知れないし、誤解もあるかも知れない
なので、極力引用元を明確にして、正確性の担保にしている
まあ、このスレだけで終わらせずに、原本か他の文献に当たられることをお薦めします
元々、このスレだけで完璧になるように書くつもりはないので
(そんなことをすれば、数学の教科書と同じになるので、スレの意味がない。スレはもっと気楽に書き気楽に読むものだと思うから)
591:猫vs運営 ◆MuKUnGPXAY
12/03/11 13:05:52.56
>>590
どんな事をする場合でも、間違いを恐れてはいけません。間違いと判っ
た時にきちんと訂正をすれば、ソレで良いので。
猫
592:132人目の素数さん
12/03/11 13:19:49.36
”おいら”ってもともと田舎の言葉だろ
東京じゃ昔から”おいら”は子供も大人も普通は使わない。
だから俺なんかビートたけしの”おいら”に違和感がある。
593:現代数学の系譜11 ガロア理論を読む
12/03/11 19:47:15.03
>>591
猫さん、乙です。ありがとう
>>592
”おいら”は、書きをご参照。因みに、ご存知西村博之が2ちゃんねるの創始者
URLリンク(ja.wikipedia.org)
日本語の一人称代名詞は、日本語において、一人称すなわち話し手を指す代名詞である。
英語、フランス語、中国語など他の多くの言語と異なり、現代日本語には文法的に名詞とはっきり区別される代名詞がなく、様々な語が一人称代名詞として使え、それぞれ文体や立場が異なる[1]。
また同じ語でも平仮名か漢字かでも読み手に与える印象が異なる。
3.2.9 己等(おいら)
主に地方の男性が使用する。かわいこぶるときに男女とも使用する事もある。ちなみに「俺等」もしくは「俺等」「俺ら」と書いて「おいら」と呼ぶ表現もあるが、「おれら」とまぎらわしいので最近はあまり使われない。
映画「嵐を呼ぶ男」で石原裕次郎が唄った主題歌「嵐を呼ぶ男」(作詞:井上梅次)が有名。
常用している著名人としてはビートたけしや西村博之、上地雄輔、モーニング娘。
在籍当時の矢口真里、ブログ内での真鍋かをりが有名。
3.2.10 俺ら(おら)
「おいら」から派生[要出典]した。使用されるのは主に関東以北で、現代では「俺ら(おら)東京さ行ぐだ」という歌詞にもあるように、役割語として使用される場合が多い。
昭和初期の首相・陸軍大将の田中義一は山口県出身だが、一人称が「おら」だったことから「おらが大将」といわれた。
594:現代数学の系譜11 ガロア理論を読む
12/03/11 19:48:06.53
>>593
訂正
”おいら”は、書きをご参照。
↓
”おいら”は、下記をご参照。
595:あのこうちやんは始皇帝だった
12/03/11 19:55:55.31
ニート・無職の、ゴミ・クズ・カスのクソガキどもは、福島原発の作業員となって、
少しでも、人の役に立て!!!!!!!!!!!!!!!!!!!!!!!
596:現代数学の系譜11 ガロア理論を読む
12/03/11 22:13:17.52
>>569
補足
URLリンク(staff.aist.go.jp) 5次方程式の可解性の高速判定法 元吉文男 著
にも記されているが、
エム・ポストニコフの『ガロアの理論』(1964年4月25日,東京図書出版発行)>>442のP155には、
標準型 x^5 +px+q=0 の場合の係数の助変数を使った表示が与えられている
ただし、P154からP155の記述が分かりにくい
重根を持つ場合と重根を持たず決定多項式が基礎体Pに根を持つ場合の区別が明確でない(P154が重根を持つ場合でP155は重根を持たない場合と思う)
>>443 URLリンク(repository.hyogo-u.ac.jp) 可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003
を併読すると良い。ポストニコフとは違う表現が与えられている
597:現代数学の系譜11 ガロア理論を読む
12/03/11 22:28:19.15
>>596
補足
なお、大迎規宏は、”計算はMathematicaによる”などと書かれている
下記、関口 次郎先生もあとがきで、計算をMathematicaで再確認していったとある
Mathematicaなどの数式処理ソフトは、現代では必須なんだろう
URLリンク(www.amazon.co.jp)(長すぎるので勝手に改行する。必要な人はネット検索乞う)
-%E3%82%B7%E3%83%A5%E3%83%97%E3%83%AA%E3%83%B3%E3%82%AC%E3%83%BC%E6%95%B0%E5%AD%A6%E3%82%AF%E3%83%A9%E3%82%B7%E3%83%83%E3%82%AF%E3%82%B9-F-%E3%82%AF%E3%83%A9%E3%82%A4%E3%83%B3/dp/443171118X
正20面体と5次方程式 改訂新版 (シュプリンガー数学クラシックス) [単行本]
F.クライン (著), 関口 次郎 (翻訳), 前田 博信 (翻訳)
598:132人目の素数さん
12/03/11 22:37:36.44
>>593
一応忠告してやる。いい年して、リアルで”おいら”とか”じゃん”とか使うなよ。
あんたの年齢45以上だろ?
599:現代数学の系譜11 ガロア理論を読む
12/03/11 22:57:45.56
>>598
>一応忠告してやる。いい年して、リアルで”おいら”とか”じゃん”とか使うなよ。
忠告ありがとうよ。当然だよ。”おいら”なんて、あくまで2ちゃんねる用語だよ。”私は”じゃ硬すぎるだろ
>>あんたの年齢45以上だろ?
当然だわな。書いている内容見ればある程度年齢は分かるだろうよ
ところで、こちらから一つ忠告しておいてやる
ここで、おいらに突っかかってきても、返り討ちになるだけだぜ。そして、猫氏とKummer氏と3人から袋叩き。馬鹿を晒して、他のスレでの発言力にも影響するだろうよ・・
600:132人目の素数さん
12/03/11 23:19:26.57
おいらには解けない
601:現代数学の系譜11 ガロア理論を読む
12/03/11 23:41:57.81
>>596-597
これでほぼ、ガロア論文>>3の最後まで話は通した
あとは、適当に落穂拾いをして行く
602:132人目の素数さん
12/03/12 04:12:17.39
DDDD
603:現代数学の系譜11 ガロア理論を読む
12/03/12 22:40:24.78
>>385
Jean-Pierre Tignol「代数方程式のガロアの理論」P307に
”付録:ガロアによる置換群の表現”としてガロア記法>>28-32の解説がなされている
これはなかなか興味深いね
P311には、
「順列群というガロアの記述において、疑いのない明確な点は部分群、特に正規部分群の概念がこれから見ていくようにかなり自然なやり方で発生することである。」と書かれている
つまり、正規部分群こそがガロアの理論の核心であり、オリジナルな点だが、それはガロア記法があったればこそと言えよう
なお、ブルーバックス「ガロアの理論」中村亨>>2は高校生向けのガロア記法の解説であり、
Jean-Pierre Tignolは、大学の講義用の専門的な解説になっているので、両方読まれることをお勧めする
604:現代数学の系譜11 ガロア理論を読む
12/03/13 05:37:41.40
>>603
>「順列群というガロアの記述において、疑いのない明確な点は部分群、特に正規部分群の概念がこれから見ていくようにかなり自然なやり方で発生することである。」と書かれている
> つまり、正規部分群こそがガロアの理論の核心であり、オリジナルな点だが、それはガロア記法があったればこそと言えよう
アーベル ガロア 群と代数方程式 (現代数学の系譜 11) >>3のアーベルの論文を見ると
置換を上下2段の文字で表すコーシーの記法>>28(それは今日普通に使われる記法でもあるが)が、使われている
だが、ご存知のようにコーシーの記法の文字列は、常に同じ(例えば(a b c d・・・・k)>>28)なのだ
だから、ガロアはコーシーの記法の上段を省略する省エネ記法(=ガロア記法)を編み出した
そして、それを使って置換群を調べたのだろう
ガロア記法から、Jean-Pierre Tignolの指摘のように、正規部分群の概念がかなり自然なやり方で発生するのだった
ガロアは、省エネ記法として上段を省略するガロア記法を考案し、それを使って置換群を調べるうち、自然に正規部分群の概念に気付いた
数学では、新しい記法が進歩を促すことがある。これは覚えておいた方が良い。ガロア記法もこの例だろう。もしガロアが長生きしたら、ガロア記法はもっと広まっていたかもしれない優れものなのだ
605:現代数学の系譜11 ガロア理論を読む
12/03/13 05:48:54.88
>>604
訂正
ご存知のようにコーシーの記法の文字列は、常に同じ(例えば(a b c d・・・・k)>>28)なのだ
↓
ご存知のようにコーシーの記法の上段の文字列は、常に同じ(例えば(a b c d・・・・k)>>28)なのだ
606:現代数学の系譜11 ガロア理論を読む
12/03/13 06:31:12.19
>>604
Jean-Pierre Tignolの専門的な解説は>>603だが
おいらも、>>355-361に一般向けの解説を書いたので、ご参照ください
607:現代数学の系譜11 ガロア理論を読む
12/03/13 21:58:42.99
>>536
>同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。
>学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。
Jean-Pierre Tignol「代数方程式のガロアの理論」>>385 P217に、ガウスについて同じこと(5次方程式の一般解法に対する懐疑)が書かれている
608:現代数学の系譜11 ガロア理論を読む
12/03/14 06:14:48.60
>>607
ガウスは、べき根による可解性について、かなり深く理解し、直感的に5次方程式の一般解法に対する懐疑を深くしたのだろう
Jean-Pierre Tignol「代数方程式のガロアの理論」>>385P200に「12.5 べき根による可解性」という節がある
D. A. :『ガウス整数論』を取り上げた節だ
Kummer氏が>>533に書いているように、”背後には明らかに楕円関数の等分方程式の可解性の問題がある”と
近世数学史談 (岩波文庫) [文庫] 高木 貞治>>60にあるように、ガウスはD. A. を書いた時点ですでに楕円関数論を得ていた
そして、円分方程式と同様に楕円関数を用いて同じようなことが可能だとD. A. に暗示した(近世数学史談「9.書かれなかった楕円函数論」のSchumacherへの手紙)
円分方程式論や楕円関数論でのべき根による可解性の研究を通じて、ガウスはべき根による可解性の限界(=解かれるべき方程式と解かれざる方程式との違い)を直感的に理解していたのだろう
一般の5次方程式は解けないと
609:現代数学の系譜11 ガロア理論を読む
12/03/14 22:28:30.63
>>509
アルティン「ガロア理論入門」をあらためて眺めていたんだが
これ、群論の知識を前提として、群論部分はほとんど記述がないね・・
アルティン氏による”まえがき”に
「その初版のドイツ語訳の提案を受けたときに、私はついでに現代代数学の理論への入門をつけ加えるのが良いのではないかとも考えた。」
しかし、熟慮ののち、私は当初の方針を堅持し、前と同様の読者層を対象とすることを決意した。
今日世の中に現代代数学の基礎理論を与える教科書は十分なほどに用意されているからである。」と書かれている
前と同様の読者層=ノートルダム大学の夏期学校で行った講義
だと
URLリンク(ja.wikipedia.org)
ノートルダム大学(University of Notre Dame)は、アメリカ合衆国、インディアナ州サウスベンド近郊にあるカトリック教会創設の名門私立大学。
1842年エドワード・ソリンによって創設された。現地では英語式に、「ノーターデイム」と発音する。エモリー大学などとともにヒドゥン・アイビー(Hidden Ivies)に数えられる。
(引用おわり)
ご存知米国は9月入学。とすれば、夏期学校の対象は、最低1年の大学教育は終えた者
おそらくは、数学科だろう
なお、「ガロア理論入門」のドイツ語の題は入門はついていないのだった
とすれば、群論は履修済みとして、そこは飛ばして夏期学校の短い時間で担当直入に「ガロア理論」を展開した本だと
”入門”というより、”概括”とでも言った方がいいかも知れない
骨太にガロア理論のエッセンスを、数学科で最低1年の大学教育は終えた者に教えるのだと
索引に群論関係の用語がほとんどないこともうなづける
索引はおそらく原書のままで、ページだけを調整したのだろう
P37の節の見出しになっている「群指標」さえ索引にはない。巡回群もない。本文には、群の定義は与えられていない=知っているのが前提だと
アルティンは、そういう本なのだと思って読むことだね(=”まえがき”にある「現代代数学の基礎理論を与える教科書」を併読すべきだと)
610:現代数学の系譜11 ガロア理論を読む
12/03/14 22:40:10.99
>>609
寺田文行のあとがきに
問題は訳者のつけたものであり・・・、また各節のはじめに[概説]をつけて・・
とある
[概説]は、アルティン氏によるものだと思って読み進めると、あれ?と思う記述が出てくる
本のまえがき、あとがき、目次は最初に目を通すべきもの!という教訓だ
611:現代数学の系譜11 ガロア理論を読む
12/03/14 22:57:20.67
>>610
ジグソーパズルを知っているだろう
数学の本を読んでいると、次から次に定義・定理が出てくる
ジグソーパズルの一つのピースみたいなもの
早く全体像を掴んで、その一つのピースが全体のどこにはまるのかを考えないと
ジグソーパズルの各ピースを見ていても理解は進まない
だが、各ピースを見ないと、全体像が理解できない。数学の本を読むのはなかなか大変だ(一部の天才は別として)
わんこら式>>449というのも一理ある
前の方で分からないところが出てくる。だが、最後まで読むと、後ろの方で関連したところが出てきて、「ああ、そうか」と分かる場合がある
早く最後まで読んで、また前から読むべし。全体像を掴みながら
これが良いのでは・・
612:現代数学の系譜11 ガロア理論を読む
12/03/14 23:08:20.53
>>611
URLリンク(subsite.icu.ac.jp)
(ガロア理論、体論の参考書)
スチュアート 「ガロアの理論」共立全書
問題が多く自習にも適する。
(引用おわり)
これ、倉田>>4も文献に引用しているが、最初に章立ての構造図が入っている
なかなかユニークだ
けど、これいまは下記に変わっているかな?
出版社と訳者が変わってるかな。章立ても変わっているから、内容もだろう・・
URLリンク(www.bookclub.kodansha.co.jp)
明解ガロア理論 [原著第3版] 講談社
著者: イアン・スチュアート
翻訳者: 並木雅俊
翻訳者: 鈴木治郎
発行年月日:2008/03/15
613:現代数学の系譜11 ガロア理論を読む
12/03/14 23:13:28.94
>>612
それから、天才は別として、一つの本だけで理解しようとしないこと
誤植や誤記があるかも知れないし
分からないところがあれば、別の本に当るか、だれかに聞くかだろう
聞くときも、「教えてください」ではなく「自分はこう思う(こういう解釈でよろしいか)」と聞くこと
「教えてください」では、教える側も相手がどの程度理解しているか分からないので
どのレベルの説明をしたら良いか、分からず困ることになるから
614:現代数学の系譜11 ガロア理論を読む
12/03/14 23:34:48.34
>>521
>近世数学史談で面白い記述を見つけた
>”18.パリ便り”というアーベルの手紙に関する節だ。1826年10月24日付け
(中略)
>特に、五次方程式に関しては、若しもそれが代数的に解かれるならば、根の形は次のようでなければならないことが分かった。
>x=A+(R)^(1/5)+(R')^(1/5)+(R'')^(1/5)+(R''')^(1/5)
>ここで、R、R'、R''、R'''は一つの四方程式の四つの根で、それらは平方根ばかりで表されるのだ。
>(注:(R)^(1/5)などの項は、原文ではRの五乗根(ルート記号)を用いて表されているが、掲示板の制約でエクセル記法を用いた。)
>>443 URLリンク(repository.hyogo-u.ac.jp) 可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003
のP76の五乗根を使った実根表示を見ると、アーベルの手紙に近いかなと思う
アーベルは、やはりかなり山の頂上(=ガロア理論)付近まで来ていたのではないか
もし、アーベルが長命だったなら、ガロア論文が世に出る前にかなりレベルの高いアーベルの論文が余に出たのではないかと思う
615:現代数学の系譜11 ガロア理論を読む
12/03/14 23:36:17.80
>>614 訂正
かなりレベルの高いアーベルの論文が余に出た
↓
かなりレベルの高いアーベルの論文が世に出た
616:仙石60サポータ
12/03/15 01:29:32.39
寺田文行さんのつけた問題と解凍はすばらしい。
さすが心技ともにすぐれた先生方はすばらしい。
おかげでガロア理論の理解もかなり進んだ。
617:132人目の素数さん
12/03/15 06:40:36.86
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
618:現代数学の系譜11 ガロア理論を読む
12/03/15 06:46:59.90
>>616
乙です
619:現代数学の系譜11 ガロア理論を読む
12/03/15 07:50:03.07
>>609 訂正
そこは飛ばして夏期学校の短い時間で担当直入に「ガロア理論」を展開した本だと
そこは飛ばして夏期学校の短い時間で単刀直入に「ガロア理論」を展開した本だと
620:132人目の素数さん
12/03/15 10:31:35.73
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
621:132人目の素数さん
12/03/15 10:33:41.52
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
622:132人目の素数さん
12/03/15 10:38:48.14
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
623:132人目の素数さん
12/03/15 10:39:20.80
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
624:132人目の素数さん
12/03/15 10:39:39.79
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
625:132人目の素数さん
12/03/15 10:40:09.34
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
626:132人目の素数さん
12/03/15 10:40:32.27
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
627:132人目の素数さん
12/03/15 10:42:51.72
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
628:132人目の素数さん
12/03/15 14:35:32.56
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/
629:132人目の素数さん
12/03/15 14:36:09.54
__ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/ 私は只の数ヲタなんかとは付き合わないわ。
. | \ ∠イ ,イイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l^,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'\ ー' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l __/ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| (:::::`‐-、__ |::::`、 ヒニニヽ、 あなたの論文が Ann of Math に accept される確率は?
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\ それとも最近は Inv. Math. の方が上かしら?
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/