現代数学の系譜11 ガロア理論を読む

1 名前：名無しさん [2012/01/31(火) 22:32:36.78 ID:LTM9xtnu] ベストアンサー：”が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。”ですか？ detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1371534513 数学の歴史に興味ある方にお尋ねします。「現代数学の系譜11、アーベル、ガロア、...noranekokuma2004さん 質問日時： 2011/9/18 「現代数学の系譜11、アーベル、ガロア、群と代数方程式、守屋美賀雄訳」にチャレンジしております。 アーベル、ガロアとも、方程式の根の有理式を説明しています。 両者の説明とも、帰着するところは、根の有理式はいわゆるラグランジュの分解式のかたちをとるというところにあると、私は考えています。 ラグランジュは、３次方程式の根、α、β、γと1の3乗根によって u=α+βω+γω＾2 v=α+βω＾2+γω という式をつくることによって、3次方程式が解けることを示しました。 彼は、それを一般化し、素数次数の方程式の根と1の累乗根と組み合わせた、いわゆる、ラグランジュの分解式を提起しました。 皆さまの見解を伺いたいと思います。 ベストアンサーに選ばれた回答siolaglebaさん 回答日時：2011/9/21 ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。 高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。 が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。 自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。 ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。 ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。 513 名前：現代数学の系譜11 ガロア理論を読む [2012/03/07(水) 22:35:49.29 ] >>437 >ニュートンが、天体力学の要請から微分積分を発展させた >それから解析力学が出てきた（ハミルトニアン） （思い出したときに追加しておく） 天体力学から摂動計算が出て、後の量子力学へつながった 量子力学のハイゼンベルグの行列力学から固有値によるシュレージンガー方程式との同等性証明 天体力学の三体問題などから、ポアンカレの位相幾何学へ 514 名前：現代数学の系譜11 ガロア理論を読む [2012/03/07(水) 23:01:38.54 ] >>385 >最近気付いたが、下記Jean-Pierre Tignolも詳しい >というか、P156の定理10,7など、ガロア論文>>3のP39のラグランジュ分解式のn乗を扱っていることや補助方程式の次数が(n-2)!になることと、完全に一致している >一致という意味では小杉の方がお話風で読みやすいが >ともかく、こういうラグランジュが到達していた地点を見ると、ほとんどガロアに近い 繰り返しになるが ガロア論文>>3のP39のラグランジュ分解式のn乗と、補助方程式の次数が(n-2)!になること（５次方程式の場合(n-2)!＝６次）、この方程式が有理敵に解ければ、５次方程式は代数的に解けること（十分条件） ここまでは、ラグランジュがすでに確率していた ５次方程式の可解性とこの６次方程式が有理敵に解けることが必要十分であることは、ガロアが初めて示したが ラグランジュはもう一歩というところまで行っていた ガロアは、ラグランジュという巨人の肩の上で仕事をしたんだと思う 守屋>>3がP76で 「ガロア時代の数学者に難解と思われても無理とはいえない。当時の科学学士院がこの論文を受理しなかったのも、論文の内容を十分理解しえなかったためだと思う。 この点について、当時の科学学士院の無力を攻めるよりは、むしろはるかに遠く時代に先行していたガロアの天才を讃えるべき・・」と書いているが 書き方が雑ということも大きいように思う おそらく時間が無かったのと、ガロアは若かった 論文が革新的であれば、よけい丁寧に書かなければ理解は得られない ただ、ガロアがあと１０年存命であれば、ガロア理論はもっと早く理解を得られたと思う 「科学学士院がこの論文を受理しなかった」のではなく、書き直しを命じたのだった。決闘で若くして命を無くすとは思わず また、ガロアの時代は現代のようにワープロやコピー機はなく、手書き原稿を紛失されると痛い（がっくりするよね） それは手書き原稿時代に、原稿を紛失され書き直しを言われるとは、なんとも腹立たしいことだったろうとは思う 515 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 00:18:39.00 ] >>80 >近世数学史談 (岩波文庫) [文庫] 高木 貞治 www.amazon.co.jp/%E8%BF%91%E4%B8%96%E6%95%B0%E5%AD%A6%E5%8F%B2%E8%AB%87-%E5%B2%A9%E6%B3%A2%E6%96%87%E5%BA%AB-%E9%AB%98%E6%9C%A8-%E8%B2%9E%E6%B2%BB/dp/4003393910 「ガロアの方程式論は彼が期待したように四十年後にジョルダンが「判読」してぼう然たる置換論（1870）の述作をなした」と高木は書いている ”ラグランジュはもう一歩”>>514と書いたけれども、ガロアの後四十年群論を理解する人思いつく人は出なかった ガロアの遺稿がなければ、もっと遅れていただろうか だが、もし遺稿がなくとも、いずれガロア理論はだれかが書いたろうと思う、ジョルダンよりずっと後になったかも知れないが・・ 516 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 00:45:20.55 ] >>515 >ガロアの後四十年群論を理解する人思いつく人は出なかった 置換群論はCauchyが1844年にやっている。 そこで有名なCauchyの定理（有限群の位数が素数 p で割れればその群は位数 p の元を持つ）を証明している。 517 名前：１３２人目の素数さん mailto:sage [2012/03/08(木) 01:04:15.88 ] 群という概念自体はガロア以前にあったんじゃなかったっけ？ ガロアの評価されるべきところは正規部分群という概念を発見したところ っていうのをどっかで見たようなキガス。２ちゃんソースかもしれんがｗ 518 名前：１３２人目の素数さん mailto:sage [2012/03/08(木) 01:58:53.69 ] >>516 自分のスレでは相手にされないから、ちょっかい出しに来たのか？ｗ 519 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 06:38:35.67 ] >>516 Kummerさん、乙です なるほど そういえば、倉田>>4がデデキントについて書いていたね ja.wikipedia.org/wiki/%E3%83%AA%E3%83%92%E3%83%A3%E3%83%AB%E3%83%88%E3%83%BB%E3%83%87%E3%83%BC%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88 デデキントは1855年にゲッティンゲン大学でガロア理論に関する最初の講義を行ったことでも知られている[1]。 [1]^ 佐武一郎「解説「ガロア理論」について」、エミール・アルティン 『ガロア理論入門』 寺田文行訳、筑摩書房〈ちくま学芸文庫〉、2010年4月、p. 215。ISBN 978-4-480-09283-0。 （引用おわり） 近世数学史談 (岩波文庫) [文庫] 高木 貞治>>515によれば いわゆる第一論文は「1846年にリウーヴィルの手で発表された」とあるので、発表後９年でデデキントが最初の講義を行ったんだ >>517 乙 その見方も正しい ある事象Aについて、見る視点によって、見え方が違うという場合がある というか、多少複雑な事象については、視点を変えてみる必要がある場合が多い 例えば、Aが四角形の形に配列された煙突だとすると、視点によっては３本に見えたりする 上空から見れば、配列は一目瞭然としても、上空に上がれない場合にはその配列を周囲から調べるしか配列を知る方法はない 520 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 07:46:58.19 ] >>519 補足 これがまとまっているね ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E3%81%AE%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96 歴史 ガロアは1832年の（死の原因となる）決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。 その後、1846年になって、リューヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載したことで、多くの数学者が刺激を受けることになった。 デデキントは1855年から1857年にかけてゲッティンゲン大学でガロア理論に関する最初の講義をおこなった[1]。 早い時期に、ベッチ、クロネッカー、ケイリー、セレは群概念を厳密化していった。 カミーユ・ジョルダンによって1870年に発表された『置換と代数方程式論』 (Traite des substitutions et des equations algebraique) はガロア理論に関する包括的な解説として最も古いものである。 また、デデキントとウェーバーは1882年に代数関数体とリーマン面の代数的理論を構築した[1]。 ソフス・リーによって導入されたリー群はガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。 その後、エミール・アルティンによってガロア理論の線型代数学的な定式化が追求された。 アレクサンダー・グロタンディークによって圏論的な定式化と数論幾何・代数幾何への応用が押し進められた。 521 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 21:54:24.43 ] >>519 >近世数学史談 (岩波文庫) [文庫] 高木 貞治>>515によれば 近世数学史談で面白い記述を見つけた ”１８．パリ便り”というアーベルの手紙に関する節だ。1826年10月24日付け ・・次の一般的の問題を解く手掛かりが見つかったようだ。 それは「代数的に解きえる凡ての方程式の形を決定すること」というのだ。 僕は、五次、六次、七次等々のそれらを無数に見出した。 今までそれを嗅ぎつけたものはあるまいと思う。 同時に僕は最初の四つの次数の方程式の最も直接的なる解法を得た。 それに由れば、何故にこれらだけが解けて、他のものは解けないかが甚だ明白に理会されるのである。 特に、五次方程式に関しては、若しもそれが代数的に解かれるならば、根の形は次のようでなければならないことが分かった。 ｘ=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））は、一つの５次巡回群C5とクラインの４元群Vとの積（直積でいいのかな？）からなるので アーベルの述べた上記の根の形は、位数20 B'5 メタ巡回群の姿を確かに捉えているのではないだろうか アーベルは、1829年4月6日は亡くなったが、生きていれば、ガロアより先に五次方程式に関してなにか書いたかも知れない（それはおそらく上記を発展させたものだろう） ja.wikipedia.org/wiki/%E3%83%8B%E3%83%BC%E3%83%AB%E3%82%B9%E3%83%BB%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB ニールス・ヘンリック・アーベル（Niels Henrik Abel、1802年8月5日 - 1829年4月6日）はノルウェーの数学者である。 522 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 22:21:13.18 ] 楕円関数は代数関数論の一部として理解しなけりゃ真の意義が分からないだろ。 もっと言うと代数関数論はコンパクトリーマン面、非特異射影代数曲線、１変数代数関数体 この三つを総合して考える必要がある。 これ等は一つの実体の異なる化身と考えられる。 いわば三位一体 523 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 22:23:11.83 ] スレを間違えたｗ まったく無関係というわけじゃないが 524 名前：Kummer ◆SgHZJkrsn08e [2012/03/08(木) 22:43:09.82 ] GaussはDisquisitiones Arithmeticaeにおいてレムニスケートの等分理論についてほのめかしている。 Abelはそれに触発されて楕円関数の研究に向かったと思われる。 楕円関数の等分方程式の可解性の問題がAbelの方程式論の背後にある。 Galoisの問題意識も恐らくそこにあったと思われる。 525 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 22:46:56.28 ] >>521 補足 ラグランジュは、素数ｎ次の既約方程式について、補助方程式で次数が(n-2)!のものが解ければ、５次方程式などは代数的に解けること（十分条件）を示していた>>514 だから、これが必要十分条件であることを示せば、ガロアの得た結果と同じになる そして、５次方程式の一般の代数的解法が不可能（べき根による根の公式がない）なことはアーベル自身が証明している だから、アーベルはラグランジュよりさらに半歩、ガロア理論に近づいていたのだ あるいは、手が届いていたのかも ラグランジュも、５次の根の公式があると思い込んでいるから、記載ぶりや結論があやふやになった ５次の根の公式の存在を否定してしまえば、ラグランジュ自身が示した６次の補助方程式が有理解を持つことが必要十分という方向へ行ったろう まあ、一般５次方程式の代数的解法がないことを証明したアーベルだから、 それがガロアのような群論を用いたものになったかどうか不明だが、少なくとも>>521の手紙に記したようなことは、存命ならいずれ発表したろう ガロア論文の出版が遅れたから、おそらくガロア論文が世に出る前にアーベルの理論が出版されたのではないか となると、アーベル存命でアーベルの方程式論が発表されそれが発展すれば、ガロア論文に対する評価も現在とは違った形になったかもしれない 526 名前：現代数学の系譜11 ガロア理論を読む [2012/03/08(木) 22:48:49.34 ] >>522-524 Kummerさま、投稿乙です！ 527 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 11:13:55.42 ] >>367 >a_0x^4+a_1x^3+a_2x^2+a_3x+a_4=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%5E4%2Ba_1x%5E3%2Ba_2x%5E2%2Ba_3x%2Ba_4%3D0 Maxima>>283で同じ問題を解かせると a*x^4+b*x^3+c*x^2+d*x+c=0は、” << Expression too long to display! >>”となる ３次の項を落として a*x^4+c*x^2+d*x+c=0は解けるが、かなり長い結果表示で、上記のWolfram|Alphaの方が見やすいね。さすがに、こっちの方が上で、使いやすいか 528 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 15:06:00.79 ] >>524 人が言ったことをさも自分の考えのように言っちゃってｗ さすが、コピペスレのスレ主は違う。 529 名前：１３２人目の素数さん [2012/03/10(土) 15:15:12.64 ] >>524 失せろくんまー 通報するぞ 530 名前：Kummer ◆SgHZJkrsn08e [2012/03/10(土) 17:11:31.85 ] ドキュンはこれだから 誰の考えかは無関係 問題はその内容 531 名前：Kummer ◆SgHZJkrsn08e [2012/03/10(土) 17:19:51.14 ] >>529 お前はもう死んでいる 532 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 19:11:58.15 ] >>530 >問題はその内容 どれもどこかで聞いた内容ですがｗ 533 名前：Kummer ◆SgHZJkrsn08e [2012/03/10(土) 19:40:22.50 ] Abelの方程式論の背後には明らかに楕円関数の等分方程式の可解性の問題がある。 Galoisの書いたものから判断して彼も同様だと思われる。 この問題はKroneckerの青春の夢につながり最終的には高木により解決された。 534 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/03/10(土) 19:53:41.11 ] 　お前たちは、定職に就くのが先決だろがああああああ！！！！！！！！ 　ニート・無職の、ゴミ・クズ・カスのクソガキどもがああああ！！！！！！！ 535 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 19:59:52.44 ] >>528-532 おいらは、Kummerさんも歓迎だよ 但し、定理の証明は自スレでやってもらえば それから”通報するぞ”は無意味だ 通報してから、書くように もっとも、この程度では通報しても荒しとは認められないだろうな 536 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 20:11:48.70 ] >>525 こんなのが、あった ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB-%E3%83%AB%E3%83%95%E3%82%A3%E3%83%8B%E3%81%AE%E5%AE%9A%E7%90%86 （抜粋） アーベル-ルフィニの定理（Abel-Ruffini theorem）は、五次以上の代数方程式には解の公式が存在しない、と主張する定理である。 より正確には、5以上の任意の整数 n に対して、一般の n 次方程式を代数的に解く方法は存在しない、という定理である。 1770年　ラグランジュが代数方程式の解法と根の置換について考察し、代数方程式が解けるための条件を初めて見いだす。 1799年　ルフィニが最初の不可能性の論文を発表。同年ガウスが代数学の基本定理を証明した学位論文中で五次方程式の不可能性について予言。 1824年　最初の論文によりアーベルによってルフィニの欠陥が解決される。定理の成立。 1829年　アーベル没。ガロアが代数方程式の可解性について最初の論文を書く。 1832年　ガロア没。 1846年　リウヴィルによりガロアの仕事が世に出る。 同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。 代数的に可解な系列として円分方程式論を展開しているが、これはアーベルやガロアの理論のプロトタイプといえるものであり、両者に影響を与えた。 なおガウスは後年アーベル、ガロアの論文を受け取っているが、全く関心を示さなかったという。ガウスにとって既に重要な問題とは見えなかったらしい。 ラグランジュを学んだアーベルは、当初五次方程式の解法を発見しようとしていたが、そのうちに不可能かも知れないと考えるようになり、研究の方向を転換する。 一方ガロアはアーベルとは独立でほぼ同じ経路を辿っていた。アーベルの仕事については知らなかったが、後に恩師に薦められて存在を知る。 コーシーが自分の時と同じく、アーベルの論文も紛失したことに憤慨する手紙が残されている。 どちらの証明も、本質的にはガロア群の構造に触れることで不可能性を証明しているが、アーベル、ルフィニらには「群」という意識がまだ存在しておらず、技巧的な証明に留まっていた。 537 名前：Kummer ◆SgHZJkrsn08e [2012/03/10(土) 20:28:25.80 ] >但し、定理の証明は自スレでやってもらえば ここでやるわけないｗ 538 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 20:28:58.07 ] >>536 >同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。 >代数的に可解な系列として円分方程式論を展開しているが、これはアーベルやガロアの理論のプロトタイプといえるものであり、両者に影響を与えた。 ガウスは、作図可能な正多角形の研究を通じて、円分方程式論を展開している。これは、正にべき根と巡回群に関する研究である。それを通じて、べき根拡大には限界があり、一般の５次方程式はべき根では解けないことがガウスには直感的に分かったのではないだろうか ja.wikipedia.org/wiki/%E5%AE%9A%E8%A6%8F%E3%81%A8%E3%82%B3%E3%83%B3%E3%83%91%E3%82%B9%E3%81%AB%E3%82%88%E3%82%8B%E4%BD%9C%E5%9B%B3 （抜粋） 作図可能な正多角形 正三角形と正五角形、この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 ガロア理論を読む [2012/03/10(土) 20:31:26.35 ] >>537 Kummerさん、乙です >ここでやるわけないｗ だよね ま、よろしくね 540 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 20:33:44.01 ] >>533 知ったかぶり乙ｗ 541 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 20:40:21.95 ] >>536 >学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。 これだね ja.wikipedia.org/wiki/Disquisitiones_Arithmeticae (抜粋) 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 mailto:age [2012/03/10(土) 20:41:52.78 ] >>540 オマエの様な奴が一番いやらしいワ。そやし攻撃したる。 猫 543 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 21:19:07.40 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 544 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 21:47:42.29 ] >>542 痴漢にそんなことをいう資格はない。痴漢はいやらしくないのかｗ 545 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 21:53:40.49 ] >>544 攻撃するのはわしの勝手や。そやし気に入らんかったらオマエがワシを 攻撃したらエエのや。そうやってスレが焦土と化して行くだけや。 どや、文句アルかァ！ 猫 546 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 21:57:21.27 ] >>542 オマエをズタボロになるまで追い詰めて潰したる。許さんからナ。 猫 547 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 21:59:23.43 ] アンカーを間違えたワ。攻撃の目標は>>540やったワ。 猫 548 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 22:00:10.23 ] >>540 オマエをズタボロになるまで追い詰めて潰したる。許さんからナ。 猫 549 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 22:01:45.16 ] >>540 オマエみたいな発想の奴が一番憎いんだヨ。徹底的に追い詰めたる。 猫 550 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 22:05:45.26 ] >>545 ねこさん、乙！ おいらも、ねこさんに賛成だな まあ、この程度は焦土とは呼ばないが。焚き火だね。ちょっとホットにあったまって適温だな 999まで、先はまだまだ長いし、それで足りなければ次スレ立てるから 551 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/10(土) 22:09:17.32 ] ああ、そうですか。なるほど。 猫 552 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 22:27:34.53 ] >>545-549 よほど痴漢と呼ばれたの答えたらしいなｗ キチガイぶりでは、猫と熊はよく似ている。 553 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 22:29:55.99 ] >>549 世の中には、人のいったことを、さも自分が考えたようにいう輩がいる。 痴漢猫はその仲間ｗ 554 名前：現代数学の系譜11 ガロア理論を読む [2012/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 ガロア理論を読む [2012/03/10(土) 22:37:27.13 ] >>552-553 おまえ、そうとう馬鹿だな 556 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 22:48:44.71 ] >>554 補足 ガロア論文>>3の第VII節で、ガロアはアルティンの補題や定理44から45にかけての説明と同じ趣旨のことを書いている しかし、ガロアの時代正規部分群という用語も線形群という用語や概念もはっきりしていないから、その表現がわかりづらい アルティンや守屋解説>>3、倉田>>4などを読んでからでないと、とても読めたしろものではない 557 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 22:57:52.93 ] >>556 だが、守屋先生の解説も分かりにくい えーと、守屋先生を検索すると・・ 守屋 美賀雄（もりや みかお）、洗礼名は「ミカエル」か・・。「ミカエル」→美賀雄かも・・。高木貞治門下の一人か。 ja.wikipedia.org/wiki/%E5%AE%88%E5%B1%8B%E7%BE%8E%E8%B3%80%E9%9B%84 守屋 美賀雄（もりや みかお、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 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 23:06:57.22 ] >>555 >なので、べき根で解けるのは、ガロア群がこの程度（位数の最大値q(q-1)）まで こんないい加減なことを書いておいてどっちがバカなんだかｗ 559 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 23:15:57.29 ] >>557 >だが、守屋先生の解説も分かりにくい 守屋先生1906年3月 - 1982年10月18日ですか お亡くなりになっている人を悪くいうつもりはないが P113の解説 「22)・・これ以降本節でガロアの述べていることは意味が明確でないし、また原文のままでは必ずしも正しくはない。 ・・、もとの方程式のガロア群の元が線形置換とは断定できない。そのためには、以下に示すようにある制限が必要である。」 としておきながら、どんな制限かあいまい。この後、”制限”というキーワードが出ないまま、23)の解説になってしまう ”ガロアの述べていることは意味が明確でない”と批判した解説であるから、自分はもっとしっかり（意味明確の）手本を示すつもりで書いて欲しかったね 560 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 23:16:39.79 ] >>558 おまえに決まっているじゃん 561 名前：現代数学の系譜11 ガロア理論を読む [2012/03/10(土) 23:22:35.53 ] >>558 >>なので、べき根で解けるのは、ガロア群がこの程度（位数の最大値q(q-1)）まで まあ、正確には、アルティン先生は 「よって、Gの位数はdqであり、Gの構造は位数dqによって一意に定まる。位数の最大値は(q-1)qである」（定理45の直前に）と書いてあるが、面倒なので縮めたんだよ 562 名前：１３２人目の素数さん mailto:sage [2012/03/10(土) 23:24:56.83 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 563 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 00:27:16.21 ] >>560 いい年したオッサンが、じゃんとかおいらとか恥ずかしいぞ。 564 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 00:32:31.01 ] >>561 バカｗ　肝心なことがわかっていない。 565 名前：Kummer ◆SgHZJkrsn08e [2012/03/11(日) 04:55:28.74 ] >>528 数学史の専門家でない俺が数学史について述べてるんだからオリジナルでないことは明らか。 似たようなことは高木の近世数学史談にも書いてある（ソースはそれだけじゃないが）。 しかし、高木の本にしたって歴史部分は高木のオリジナルじゃないだろ。 高木が超能力者なら別だがｗ 566 名前：１３２人目の素数さん [2012/03/11(日) 05:12:15.40 ] >>565 阿呆 通報 567 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 08:07:47.69 ] >>563 馬鹿だな、おまえ。ここは２ちゃんねるってこと。全てはそのコンテキストで考えるべし。”おいら”は、かつて２ちゃんねるを立ち上げた西村の常套句でそれを借りているんだよ、おばかさん >>564 馬鹿だな、おまえ。”肝心なことがわかっていない”か。 だが、「>なので、べき根で解けるのは、ガロア群がこの程度（位数の最大値q(q-1)）まで こんないい加減なことを書いておいてどっちがバカなんだかｗ」>>558と、アルティン先生からの引用>>561にインネンつけたお前の負けだ ”肝心なことがわかっていない”という指摘が何を意味するのか不明だが（おそらくそれを書けば反論されるのを恐れてボカシているのだろうが）、当たっているかも知らんし別に否定はしない だが、「こんないい加減なことを書いておいて」→”肝心なことがわかっていない”は成り立たないぞ そして、ここは２ちゃんねるってこと。全てはそのコンテキストで考えるべし。ここは学会ではない。専門書の記述そのままでは面白くない場合が多い。適当に（不正確でも可）変換すべし 正確さを求めるならアルティン先生を読めば良いだけだから >>565-566 Kummerさんの勝ち 566のオッサン馬鹿だから、相手をしない方がいい。馬鹿が感染るぞ！　おいらも今後馬鹿が感染らないようにスルー（無視）するよ 568 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 08:11:22.47 ] >>567 阿呆ｗ 569 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 08:40:06.76 ] >>559 >P113の解説 「22)・・これ以降本節でガロアの述べていることは意味が明確でないし、また原文のままでは必ずしも正しくはない。 >・・、もとの方程式のガロア群の元が線形置換とは断定できない。そのためには、以下に示すようにある制限が必要である。」 >としておきながら、どんな制限かあいまい。この後、”制限”というキーワードが出ないまま、23)の解説になってしまう 補足 倉田>>4が、P179で 「すなわち、ガロア群が線形置換群であるための必要十分条件は、方程式G(X)がkの元を根に持つことである。 　ただし、A(r)からSpの置換によって生ずる相異なる量がちょうど　p！/(p(p-1)) 個あるように有理数rを選ぶことができるという仮定のもとであることは、[守屋]によって指摘されている通りである」と書いている １．守屋先生の記述との対応がイマイチはっきりしないが、P133の下から６行目の「m=1・2・・・・・(n-2)」のことだろうか ２．倉田もこれだけでは、言いたいことが分からない ３．ここは、エム・ポストニコフの『ガロアの理論』(1964年4月25日，東京図書出版発行)>>442のP146に書いてある通り、 　既約な５次方程式で可解になるのは、メタ巡回群B’5（＝線形置換群、位数20＝5・4）、半メタ準海群B5（位数10）、C5巡回群（位数５）の３通りで、 　”既約な５次方程式で可解→メタ巡回群B’5（＝線形置換群）”に限らないってことを言いたいのだろう 　ここは、staff.aist.go.jp/f.motoyoshi/java/deg5.pdf　5次方程式の可解性の高速判定法　元吉文男 著 - FM Memo 19961017-01　にも引用されている まあ、先生がたは分かりすぎていて、いわずもがなということなのでしょうが、初めてガロア理論に触れる人には分からないだろうと 570 名前：１３２人目の素数さん [2012/03/11(日) 08:40:31.77 ] 意味のない書き込みｗ 571 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/11(日) 09:07:25.39 ] >>568 >>570 コラ、邪魔したらワシがシバいたるさかいナ。そやし静かにせえや。 猫 572 名前：１３２人目の素数さん [2012/03/11(日) 09:15:22.46 ] 芳雄に完全敗北ｗ 573 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 09:31:48.37 ] >>571 猫さん、乙です。論理的反論も書けない、品性も知性も低いオッサンですが、568、570は。まあ、よろしくお願いします 574 名前：１３２人目の素数さん [2012/03/11(日) 09:37:13.71 ] >>573 悔しいのうｗｗｗｗ 致命的な数学的間違いが散見される「害」のある書き込みばかりじゃないか、君。 もう少し知性を向上させたまえ。 575 名前：現代数学の系譜11 ガロア理論を読む [2012/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 ガロア理論を読む [2012/03/11(日) 10:03:35.78 ] >>558と、アルティン先生からの引用>>561にインネンつけたお前の負けだ。だから、具体的な指摘ができない。具体的な指摘をすれば、>>561のようにアルティン先生の本に還元されるからね 再度確認しておく「アルティン先生からの引用>>561にインネンつけたお前の負けだ」 なおこのレスは、>>558の再確認にすぎない 577 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/11(日) 10:06:20.19 ] >>573 ちゃんと読ませて貰ってます。出来る事は協力します。 猫 578 名前：１３２人目の素数さん [2012/03/11(日) 10:09:23.35 ] 芳雄に連戦敗北・・ｗ 579 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 10:10:08.09 ] >>575 訂正スマソ 因みに、守屋>>3のガリア論文の本文第VII節P39で 　↓ 因みに、守屋>>3のガロア論文の本文第VII節P39で （イカン、馬鹿が感染ってきた） 580 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 10:11:54.24 ] >>577 猫さん、乙です 間違いがあれば指摘してください よろしくね　（間違いを過度に恐れていては書けないので） 581 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/11(日) 10:44:43.84 ] >>580 気付いた事があれば書き込みますが、余り頼りにはしないで下さい。 でもその『間違いを恐れない』というのはとても大切な事だと思います。 私も何かをする時はそのポリシーですね。頑張って下さいまし。 猫拝 582 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 11:54:59.72 ] >>579 移る前からバカだろ？キモいおっさんｗ お前はいい加減なこと書きすぎだ。もう一度勉強し直してから書き込めよｗ 583 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 12:04:44.59 ] >>567 >ここは２ちゃんねるってこと。全てはそのコンテキストで考えるべし。 だからバカと皆さん指摘している。 >”おいら” おっさんの年って、５０前後なのか？　”おいら”は、さすがに恥ずかしいｗｗ 584 名前：Kummer ◆SgHZJkrsn08e [2012/03/11(日) 12:13:16.15 ] >>532 もちろん>>530はアホでない限り常識 >>528がその常識をわきまえてないから言ったまでｗ 585 名前：Kummer ◆SgHZJkrsn08e [2012/03/11(日) 12:17:40.87 ] >>583 >おっさんの年って、５０前後なのか？　”おいら”は、さすがに恥ずかしいｗｗ ”おいら”って古い言葉だろ（ビートたけしも使ってるし） 田舎なら今でも若いやつが使ってるかもしれないが 俺は田舎に詳しくないんで知らないｗ 586 名前：１３２人目の素数さん [2012/03/11(日) 12:19:30.25 ] >>Kummer 消えろ。俺を怒らせんうちにな。 587 名前：Kummer ◆SgHZJkrsn08e [2012/03/11(日) 12:20:21.78 ] www 588 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/11(日) 12:49:59.37 ] >>586 オマエが怒っても誰も困らん。そやし逆上して怒れや。ワシが攻撃したるがな。 猫 589 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 12:54:10.20 ] >>585 Kummerさん、乙です ”おいら”は、下記「２ちゃんねる鉄の掟」に由来する由緒ある言葉です info.2ch.net/guide/ ２ちゃんねる鉄の掟 出されたご飯は残さず食べる。 転んでも泣かない。 おいらのギャグには大爆笑する。 590 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 13:02:03.62 ] >>588 猫さん、乙です ”俺を怒らせんうちにな”って、笑える。お茶目なおっさんだね。知能低そうだが >>581 猫さん、乙です >でもその『間違いを恐れない』というのはとても大切な事だと思います。 >私も何かをする時はそのポリシーですね。頑張って下さいまし。 間違ったことも書いているかも知れないし、誤解もあるかも知れない なので、極力引用元を明確にして、正確性の担保にしている まあ、このスレだけで終わらせずに、原本か他の文献に当たられることをお薦めします 元々、このスレだけで完璧になるように書くつもりはないので （そんなことをすれば、数学の教科書と同じになるので、スレの意味がない。スレはもっと気楽に書き気楽に読むものだと思うから） 591 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/03/11(日) 13:05:52.56 ] >>590 どんな事をする場合でも、間違いを恐れてはいけません。間違いと判っ た時にきちんと訂正をすれば、ソレで良いので。 猫 592 名前：１３２人目の素数さん [2012/03/11(日) 13:19:49.36 ] ”おいら”ってもともと田舎の言葉だろ 東京じゃ昔から”おいら”は子供も大人も普通は使わない。 だから俺なんかビートたけしの”おいら”に違和感がある。 593 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 19:47:15.03 ] >>591 猫さん、乙です。ありがとう >>592 ”おいら”は、書きをご参照。因みに、ご存知西村博之が２ちゃんねるの創始者 ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E8%AA%9E%E3%81%AE%E4%B8%80%E4%BA%BA%E7%A7%B0%E4%BB%A3%E5%90%8D%E8%A9%9E#.E5.B7.B1.E7.AD.89.EF.BC.88.E3.81.8A.E3.81.84.E3.82.89.EF.BC.89 日本語の一人称代名詞は、日本語において、一人称すなわち話し手を指す代名詞である。 英語、フランス語、中国語など他の多くの言語と異なり、現代日本語には文法的に名詞とはっきり区別される代名詞がなく、様々な語が一人称代名詞として使え、それぞれ文体や立場が異なる[1]。 また同じ語でも平仮名か漢字かでも読み手に与える印象が異なる。 3.2.9 己等（おいら） 主に地方の男性が使用する。かわいこぶるときに男女とも使用する事もある。ちなみに「俺等」もしくは「俺等」「俺ら」と書いて「おいら」と呼ぶ表現もあるが、「おれら」とまぎらわしいので最近はあまり使われない。 映画「嵐を呼ぶ男」で石原裕次郎が唄った主題歌「嵐を呼ぶ男」（作詞：井上梅次）が有名。 常用している著名人としてはビートたけしや西村博之、上地雄輔、モーニング娘。 在籍当時の矢口真里、ブログ内での真鍋かをりが有名。 3.2.10 俺ら（おら） 「おいら」から派生[要出典]した。使用されるのは主に関東以北で、現代では「俺ら（おら）東京さ行ぐだ」という歌詞にもあるように、役割語として使用される場合が多い。 昭和初期の首相・陸軍大将の田中義一は山口県出身だが、一人称が「おら」だったことから「おらが大将」といわれた。 594 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 19:48:06.53 ] >>593 訂正 ”おいら”は、書きをご参照。 　↓ ”おいら”は、下記をご参照。 595 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/03/11(日) 19:55:55.31 ] 　ニート・無職の、ゴミ・クズ・カスのクソガキどもは、福島原発の作業員となって、 　少しでも、人の役に立て！！！！！！！！！！！！！！！！！！！！！！！ 596 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 22:13:17.52 ] >>569 補足 staff.aist.go.jp/f.motoyoshi/java/deg5.pdf　5次方程式の可解性の高速判定法　元吉文男 著 にも記されているが、 エム・ポストニコフの『ガロアの理論』(1964年4月25日，東京図書出版発行)>>442のP155には、 標準型 x^5 +px+q=0 の場合の係数の助変数を使った表示が与えられている ただし、P154からP155の記述が分かりにくい 重根を持つ場合と重根を持たず決定多項式が基礎体Pに根を持つ場合の区別が明確でない（P154が重根を持つ場合でP155は重根を持たない場合と思う） >>443 repository.hyogo-u.ac.jp/dspace/bitstream/10132/1612/1/ZD30301003.pdf　可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003 を併読すると良い。ポストニコフとは違う表現が与えられている 597 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 22:28:19.15 ] >>596 補足 なお、大迎規宏は、”計算はMathematicaによる”などと書かれている 下記、関口 次郎先生もあとがきで、計算をMathematicaで再確認していったとある Mathematicaなどの数式処理ソフトは、現代では必須なんだろう www.amazon.co.jp/%E6%AD%A320%E9%9D%A2%E4%BD%93%E3%81%A85%E6%AC%A1%E6%96%B9%E7%A8%8B%E5%BC%8F-%E6%94%B9%E8%A8%82%E6%96%B0%E7%89%88（長すぎるので勝手に改行する。必要な人はネット検索乞う） -%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 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 22:37:36.44 ] >>593 一応忠告してやる。いい年して、リアルで”おいら”とか”じゃん”とか使うなよ。 あんたの年齢４５以上だろ？ 599 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 22:57:45.56 ] >>598 >一応忠告してやる。いい年して、リアルで”おいら”とか”じゃん”とか使うなよ。 忠告ありがとうよ。当然だよ。”おいら”なんて、あくまで２ちゃんねる用語だよ。”私は”じゃ硬すぎるだろ >>あんたの年齢４５以上だろ？ 当然だわな。書いている内容見ればある程度年齢は分かるだろうよ ところで、こちらから一つ忠告しておいてやる ここで、おいらに突っかかってきても、返り討ちになるだけだぜ。そして、猫氏とKummer氏と３人から袋叩き。馬鹿を晒して、他のスレでの発言力にも影響するだろうよ・・ 600 名前：１３２人目の素数さん mailto:sage [2012/03/11(日) 23:19:26.57 ] おいらには解けない 601 名前：現代数学の系譜11 ガロア理論を読む [2012/03/11(日) 23:41:57.81 ] >>596-597 これでほぼ、ガロア論文>>3の最後まで話は通した あとは、適当に落穂拾いをして行く 602 名前：１３２人目の素数さん [2012/03/12(月) 04:12:17.39 ] DDDD 603 名前：現代数学の系譜11 ガロア理論を読む [2012/03/12(月) 22:40:24.78 ] >>385 Jean-Pierre Tignol「代数方程式のガロアの理論」P307に ”付録：ガロアによる置換群の表現”としてガロア記法>>28-32の解説がなされている これはなかなか興味深いね P311には、 「順列群というガロアの記述において、疑いのない明確な点は部分群、特に正規部分群の概念がこれから見ていくようにかなり自然なやり方で発生することである。」と書かれている 　つまり、正規部分群こそがガロアの理論の核心であり、オリジナルな点だが、それはガロア記法があったればこそと言えよう なお、ブルーバックス「ガロアの理論」中村亨>>2は高校生向けのガロア記法の解説であり、 Jean-Pierre Tignolは、大学の講義用の専門的な解説になっているので、両方読まれることをお勧めする 604 名前：現代数学の系譜11 ガロア理論を読む [2012/03/13(火) 05:37:41.40 ] >>603 >「順列群というガロアの記述において、疑いのない明確な点は部分群、特に正規部分群の概念がこれから見ていくようにかなり自然なやり方で発生することである。」と書かれている >　つまり、正規部分群こそがガロアの理論の核心であり、オリジナルな点だが、それはガロア記法があったればこそと言えよう アーベル ガロア 群と代数方程式 (現代数学の系譜 11) >>3のアーベルの論文を見ると 置換を上下２段の文字で表すコーシーの記法>>28（それは今日普通に使われる記法でもあるが）が、使われている だが、ご存知のようにコーシーの記法の文字列は、常に同じ（例えば（a b c d・・・・k）>>28）なのだ だから、ガロアはコーシーの記法の上段を省略する省エネ記法（＝ガロア記法）を編み出した そして、それを使って置換群を調べたのだろう ガロア記法から、Jean-Pierre Tignolの指摘のように、正規部分群の概念がかなり自然なやり方で発生するのだった ガロアは、省エネ記法として上段を省略するガロア記法を考案し、それを使って置換群を調べるうち、自然に正規部分群の概念に気付いた 数学では、新しい記法が進歩を促すことがある。これは覚えておいた方が良い。ガロア記法もこの例だろう。もしガロアが長生きしたら、ガロア記法はもっと広まっていたかもしれない優れものなのだ 605 名前：現代数学の系譜11 ガロア理論を読む [2012/03/13(火) 05:48:54.88 ] >>604 訂正 ご存知のようにコーシーの記法の文字列は、常に同じ（例えば（a b c d・・・・k）>>28）なのだ 　↓ ご存知のようにコーシーの記法の上段の文字列は、常に同じ（例えば（a b c d・・・・k）>>28）なのだ 606 名前：現代数学の系譜11 ガロア理論を読む [2012/03/13(火) 06:31:12.19 ] >>604 Jean-Pierre Tignolの専門的な解説は>>603だが おいらも、>>355-361に一般向けの解説を書いたので、ご参照ください 607 名前：現代数学の系譜11 ガロア理論を読む [2012/03/13(火) 21:58:42.99 ] >>536 >同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。 >学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。 Jean-Pierre Tignol「代数方程式のガロアの理論」>>385 P217に、ガウスについて同じこと（５次方程式の一般解法に対する懐疑）が書かれている 608 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 06:14:48.60 ] >>607 ガウスは、べき根による可解性について、かなり深く理解し、直感的に５次方程式の一般解法に対する懐疑を深くしたのだろう Jean-Pierre Tignol「代数方程式のガロアの理論」>>385P200に「12.5 べき根による可解性」という節がある D. A. ：『ガウス整数論』を取り上げた節だ Kummer氏が>>533に書いているように、”背後には明らかに楕円関数の等分方程式の可解性の問題がある”と 近世数学史談 (岩波文庫) [文庫] 高木 貞治>>60にあるように、ガウスはD. A. を書いた時点ですでに楕円関数論を得ていた そして、円分方程式と同様に楕円関数を用いて同じようなことが可能だとD. A. に暗示した（近世数学史談「9.書かれなかった楕円函数論」のSchumacherへの手紙） 円分方程式論や楕円関数論でのべき根による可解性の研究を通じて、ガウスはべき根による可解性の限界（＝解かれるべき方程式と解かれざる方程式との違い）を直感的に理解していたのだろう 一般の５次方程式は解けないと 609 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 22:28:30.63 ] >>509 アルティン「ガロア理論入門」をあらためて眺めていたんだが これ、群論の知識を前提として、群論部分はほとんど記述がないね・・ アルティン氏による”まえがき”に 「その初版のドイツ語訳の提案を受けたときに、私はついでに現代代数学の理論への入門をつけ加えるのが良いのではないかとも考えた。」 　しかし、熟慮ののち、私は当初の方針を堅持し、前と同様の読者層を対象とすることを決意した。 　今日世の中に現代代数学の基礎理論を与える教科書は十分なほどに用意されているからである。」と書かれている 前と同様の読者層＝ノートルダム大学の夏期学校で行った講義 だと ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC%E3%83%88%E3%83%AB%E3%83%80%E3%83%A0%E5%A4%A7%E5%AD%A6 ノートルダム大学（University of Notre Dame）は、アメリカ合衆国、インディアナ州サウスベンド近郊にあるカトリック教会創設の名門私立大学。 1842年エドワード・ソリンによって創設された。現地では英語式に、「ノーターデイム」と発音する。エモリー大学などとともにヒドゥン・アイビー（Hidden Ivies）に数えられる。 （引用おわり） ご存知米国は９月入学。とすれば、夏期学校の対象は、最低１年の大学教育は終えた者 おそらくは、数学科だろう なお、「ガロア理論入門」のドイツ語の題は入門はついていないのだった とすれば、群論は履修済みとして、そこは飛ばして夏期学校の短い時間で担当直入に「ガロア理論」を展開した本だと ”入門”というより、”概括”とでも言った方がいいかも知れない 骨太にガロア理論のエッセンスを、数学科で最低１年の大学教育は終えた者に教えるのだと 索引に群論関係の用語がほとんどないこともうなづける 索引はおそらく原書のままで、ページだけを調整したのだろう P37の節の見出しになっている「群指標」さえ索引にはない。巡回群もない。本文には、群の定義は与えられていない＝知っているのが前提だと アルティンは、そういう本なのだと思って読むことだね（＝”まえがき”にある「現代代数学の基礎理論を与える教科書」を併読すべきだと） 610 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 22:40:10.99 ] >>609 寺田文行のあとがきに 問題は訳者のつけたものであり・・・、また各節のはじめに[概説]をつけて・・ とある [概説]は、アルティン氏によるものだと思って読み進めると、あれ？と思う記述が出てくる 本のまえがき、あとがき、目次は最初に目を通すべきもの！という教訓だ 611 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 22:57:20.67 ] >>610 ジグソーパズルを知っているだろう 数学の本を読んでいると、次から次に定義・定理が出てくる ジグソーパズルの一つのピースみたいなもの 早く全体像を掴んで、その一つのピースが全体のどこにはまるのかを考えないと ジグソーパズルの各ピースを見ていても理解は進まない だが、各ピースを見ないと、全体像が理解できない。数学の本を読むのはなかなか大変だ（一部の天才は別として） わんこら式>>449というのも一理ある 前の方で分からないところが出てくる。だが、最後まで読むと、後ろの方で関連したところが出てきて、「ああ、そうか」と分かる場合がある 早く最後まで読んで、また前から読むべし。全体像を掴みながら これが良いのでは・・ 612 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 23:08:20.53 ] >>611 subsite.icu.ac.jp/people/hsuzuki/science/class/algebra3/algebra3.html （ガロア理論、体論の参考書） スチュアート 「ガロアの理論」共立全書 問題が多く自習にも適する。 （引用おわり） これ、倉田>>4も文献に引用しているが、最初に章立ての構造図が入っている なかなかユニークだ けど、これいまは下記に変わっているかな？ 出版社と訳者が変わってるかな。章立ても変わっているから、内容もだろう・・ www.bookclub.kodansha.co.jp/bc2_bc/search_view.jsp?b=155770X 明解ガロア理論　［原著第３版］　 講談社 著者： イアン・スチュアート 翻訳者： 並木雅俊 翻訳者： 鈴木治郎 発行年月日：2008/03/15 613 名前：現代数学の系譜11 ガロア理論を読む [2012/03/14(水) 23:13:28.94 ] >>612 それから、天才は別として、一つの本だけで理解しようとしないこと 誤植や誤記があるかも知れないし 分からないところがあれば、別の本に当るか、だれかに聞くかだろう 聞くときも、「教えてください」ではなく「自分はこう思う（こういう解釈でよろしいか）」と聞くこと 「教えてください」では、教える側も相手がどの程度理解しているか分からないので どのレベルの説明をしたら良いか、分からず困ることになるから

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef