[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む14 [転載禁止]©2ch.net (562ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
1(2): 現代数学の系譜11 ガロア理論を読む [sage] 2015/06/20(土) 07:34:10.52 ID:w8s6oXPV(1/9) AAS
旧スレが500KBオーバーに近づいたので、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。）
過去スレ
現代数学の系譜11 ガロア理論を読む13
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む12
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む11
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む10
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む9
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む8
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む7
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む6
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む5
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む(4)
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む3
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む2
2chｽﾚ:math
現代数学の系譜11 ガロア理論を読む
2chｽﾚ:math
（古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。）
2(1): １３２人目の素数さん [sage] 2015/06/20(土) 07:38:32.11 ID:w8s6oXPV(2/9) AAS
現代数学の系譜11 ガロア理論を読む13 [転載禁止](c)2ch.net
>> 2chｽﾚ:math
関連 有限群
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E7%BE%A4
抜粋
20世紀の間数学者は、特に有限群の局所解析（英語版）や、可解群や冪零群 の理論などといった、有限群の理論のさまざまな面を深く研究していた。
全ての有限群の構造の完全な決定は余りに遠大な目標だった: あり得る構造の数はすぐに圧倒的に大きくなった。
しかし、単純群の完全な分類という目標は達成された。つまり任意の有限群の「組み立て部品」は現在では完全に知られている(任意の有限群は組成列を持つ)。
他方で、"連続的対称性（英語版）"を扱っているようにもみなせるリー群の理論は、関連するワイル群（英語版）の影響を強く受ける。
与えられた位数を持つ群の個数
シローの定理などの結果から、位数 n の群の構造には n の素因数分解に依存してある制限が加わる。
例えば素数 p , q に対して、 q < p かつ p -1が q で割り切れない場合は、位数 pq の群は必ず巡回群となる。
必要十分条件については巡回数 (群論)（英語版）を参照されたい。
n に平方因子が存在しない場合、位数 n の群はすべて可解である。群の指標の理論（英語版）を用いて証明されたウィリアム・バーンサイド（英語版）の定理によれば、n が2個以下の素因数でのみ割り切れるのであれば、位数 n の群はすべて可解である。
ファイト-トンプソンの定理（英語版）という、証明が長く複雑な定理によると、n が奇数ならば位数 n の群は可解である。
任意の正の整数 n について、位数 n の群のほとんどは可解群である。
特定の位数 n についてこの事実を確認することはそれほど困難なことではない(例えば位数60の群には、同型を除いて非可解なものが1個、可解なものが12個存在する)。
しかし、任意の位数 n についてこの事実を証明するには有限単純群の分類（英語版）を要する。
任意の正の整数 n に対して位数 n の単純群は最大でも2種類しか存在せず、位数 n の同型でない単純群が2種類存在するような正の整数 n は無限に存在する。
有限単純群の分類（英語版）
有限単純群の一覧（英語版）
4: １３２人目の素数さん [sage] 2015/06/20(土) 08:45:50.37 ID:w8s6oXPV(3/9) AAS
>>2
有限単純群の分類（英語版）
https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups
抜粋
Gorenstein's program
In 1972 Gorenstein (1979, Appendix) announced a program for completing the classification of finite simple groups, consisting of the following 16 steps:
1.Groups of low 2-rank. This was essentially done by Gorenstein and Harada, who classified the groups with sectional 2-rank at most 4.
Most of the cases of 2-rank at most 2 had been done by the time Gorenstein announced his program.
2.The semisimplicity of 2-layers. The problem is to prove that the 2-layer of the centralizer of an involution in a simple group is semisimple.
3.Standard form in odd characteristic. If a group has an involution with a 2-component that is a group of Lie type of odd characteristic,
the goal is to show that it has a centralizer of involution in "standard form" meaning that a centralizer of involution has a component that is of Lie type in odd characteristic and also has a centralizer of 2-rank 1.
4.Classification of groups of odd type. The problem is to show that if a group has a centralizer of involution in "standard form"
then it is a group of Lie type of odd characteristic. This was solved by Aschbacher's classical involution theorem.
5.Quasi-standard form
6.Central involutions
7.Classification of alternating groups.
8.Some sporadic groups
9.Thin groups. The simple thin finite groups, those with 2-local p-rank at most 1 for odd primes p, were classified by Aschbacher in 1978
10.Groups with a strongly p-embedded subgroup for p odd
11.The signalizer functor method for odd primes. The main problem is to prove a signalizer functor theorem for nonsolvable signalizer functors. This was solved by McBride in 1982.
12.Groups of characteristic p type. This is the problem of groups with a strongly p-embedded 2-local subgroup with p odd, which was handled by Aschbacher.
略
5: １３２人目の素数さん [sage] 2015/06/20(土) 08:49:21.45 ID:w8s6oXPV(4/9) AAS
>>3
どうも。スレ主です。これですが。でも、彌永本の方をお薦めします
http://www.amazon.co.jp/dp/4320011643
アーベル ガロア 群と代数方程式 (現代数学の系譜 11) ハードカバー ? 1975/4/20
N.H.ABEL (著), E.GALOIS (著), 正田 建次郎 (監修, 監修), 吉田 洋一 (監修, 監修), 守屋 美賀雄 (翻訳)
6: １３２人目の素数さん [sage] 2015/06/20(土) 08:54:24.63 ID:w8s6oXPV(5/9) AAS
>>3
http://booklog.kinokuniya.co.jp/kato/archives/2013/12/post_377.html
『ガロアの時代 ガロアの数学』時代篇＆数学篇 彌永昌吉 丸善出版 2013年12月28日
ガロアの時代 ガロアの数学〈２〉数学篇
百歳の天壽をまっとうした日本を代表する数学者が93歳と96歳の時に上梓した本である。
原資料や最新の研究にあたって書かれた本格的な著作である。文章はきびきびしていて無用のくりかえしはない。90代半ばにしてこれだけの文章が書けるとは。かくありたいものだ。
「数学篇」は3章にわかれる。
第1章「19世紀遺稿の数学の発展から」は「歴史篇」の数学史の章のつづきであるが、いきなり偏微分が出てきてまったく歯が立たなかった。
第2章「ガロアの理論」は純粋数学の基礎として発展した現代の群論の視点から再構成したガロア理論だが、これもまったく歯が立たない。
結城浩『数学ガール ガロア理論』の1〜9章までと展開が似ているような気がするので、『数学ガール』を読み終えてからもう一度チャレンジしたが、やはりわからない。
『数学ガール』の群の解説は非常に明快でわかったようなつもりになったが、ラスボスのガロア理論となるとやはりわかっていなかった。
第3章「ガロアの主著」は科学アカデミーに提出した三度目の論文の全訳をもとに、ガロアがどのように証明したかを再検証している。
最初はまったく歯が立たなかったが、
金重明『１３歳の娘に語るガロアの数学』と、ガロアの論文を逐条的に解説している『数学ガール ガロア理論』の10章を読んだ後にながめたら、何をやっているかがうっすらとわかるような気がした（気がしただけで理解できたわけではない）。
考える材料をたくさん提供してくれる本だ。数学に自信のない人は「数学篇」は飾っておくだけになってしまうかもしれないが、「歴史篇」の方は十分有益だろう。
7(1): 現代数学の系譜11 ガロア理論を読む [] 2015/06/20(土) 09:05:48.80 ID:w8s6oXPV(6/9) AAS
気付いたら、コテハンなしのsageになっていた・・
現代数学の系譜11 ガロア理論を読む3
2chｽﾚ:math
100 名前：１３２人目の素数さん[sage] 投稿日：2012/04/17(火) 05:44:00.05
も自分かも知れない（なにか環境が変わったときに、コテハンなしのsageになっていたと）
ところで、過去何度も引用した五味健作先生下記
http://homepage3.nifty.com/gomiken/math/cfsg.htm
別冊数理科学「群とその応用（サイエンス社，１９９１年１０月）」より 転記に際し誤字・誤表記等を修正
有限単純群の分類 五味健作
抜粋
１．Thompsonの業績
（２）奇数位数の単純群が可換群であることの証明（Feitと共同で）．
（２）は非可換単純群は偶数位数をもち，したがって位数２の元を持つことを意味する． 一方それ以前に，Brauer-Fowlerによって，偶数位数の単純群Gの位数と，Gの位数２の元の中心化群Hの位数との間には，不等式
|G|＜f(|H|), f(x)はある関数
が成り立つことが証明されていた． このことは，Gの構造がHの構造によって決まってしまうことを意味する．
そこでBrauerは，偶数位数の単純群を位数２の元の中心化群の構造によって分類するというプログラムを提唱し，鈴木等とともにこの研究を旺盛に推進していた． （２）はこのプログラムに礎を提供したのである．
Feit-Thompsonによる（２）の証明は背理法によるもので，奇数位数の非可換単純群の中で位数の一番小さいものを考察する． このような群では，真の部分群はすべて可解群となる．
しかも，証明の多くの部分においては，位数が奇数であることではなく，真の部分群が可解群であるという性質だけが必要となる． このことに気付いたThompsonは，「真の部分群がすべて可解であるような非可換単純群」すなわち「極小単純群」の研究へと導かれた．
Thompsonはさらに，すべての真部分群が可解であることは必要でなく，「p-局所部分群」すなわち「自明でないp-部分群の正規化群」が，すべての素数pに対して可解であれば十分であることに気付いた．
この条件をみたす群が「N-群」と呼ばれ，（３）において研究されたものである．
8: 現代数学の系譜11 ガロア理論を読む [] 2015/06/20(土) 09:09:23.97 ID:w8s6oXPV(7/9) AAS
>>7
うんうん、思い出してきた
Feit-Thompsonの定理で、非可換単純群は偶数位数をもち，したがって位数２の元を持つ
Brauerは，偶数位数の単純群を位数２の元の中心化群の構造によって分類するというプログラムを提唱し，鈴木等とともにこの研究を旺盛に推進していた．・・って話だった
10: 現代数学の系譜11 ガロア理論を読む [] 2015/06/20(土) 09:52:47.59 ID:w8s6oXPV(8/9) AAS
2chｽﾚ:math
648 名前：１３２人目の素数さん[sage] 投稿日：2015/06/16(火) 19:01:28.59 ID:a1EkKwzR
>ピカール・ヴェッシオに関するURLが週末に5つくらい貼られるんだろうな
ピカール・ヴェッシオ理論の情報が少ないです
良く分からなかった
検索でヒットするのは、梅村先生の話が多い
https://research-er.jp/researchers/search/freeword:%E3%83%94%E3%82%AB%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%B4%E3%82%A7%E3%82%B7%E3%82%AA%E7%90%86%E8%AB%96
ピカール・ヴェシオ理論 研究者検索結果 12 件 日本の研究.com:
筑波大学が多い
https://www.kinokuniya.co.jp/f/dsg-01-9784431709381
リーマンからポアンカレにいたる線型微分方程式と群論
グレイ，ジェレミー・Ｊ．【著】〈Ｇｒａｙ，Ｊｅｒｅｍｙ Ｊ．〉/関口 次郎/室 政和【訳】シュプリンガー・ジャパン（2002/12発売）
内容説明
数学が大きな発展をとげた１９世紀、後世にその名を残す多くの数学者たちが、ときには協力しときには対立しながらも、その研究を現代数学へと統合し高めていく様を数学的・歴史的に解説する。
目次
第１章 超幾何関数
第２章 ラザルス・フックス
第３章 微分方程式の代数関数解
第４章 モジュラー方程式
第５章 代数曲線
第６章 保型関数
付録（等角表現に関してのリーマン、ショトキ、そしてシュワルツ；リーマンの講義とリーマン・ヒルベルトの問題；ｎ階の微分方程式のフックスによる解析；非ユークリッドの幾何学の歴史について；一意化定理；
ピカール・ヴェシオ理論；多変数超幾何方程式、アッペルとピカール
著者紹介
グレイ，ジェレミー・Ｊ．［グレイ，ジェレミーＪ．］［Ｇｒａｙ，Ｊｅｒｅｍｙ Ｊ．］ オープン大学（Ｔｈｅ Ｏｐｅｎ Ｕｎｉｖｅｒｓｉｔｙ）
関口次郎［セキグチジロウ］
１９７４年東京工業大学理学部数学科卒。理学博士。現在、東京農工大学工学部教授。専攻は群の表現論
室政和［ムロマサカズ］
１９７４年名古屋大学理学部数学科卒。理学博士。現在、岐阜大学工学部教授。専攻は代数解析、超局所解析、概均質ベクトル空間
11(1): 現代数学の系譜11 ガロア理論を読む [] 2015/06/20(土) 09:58:33.96 ID:w8s6oXPV(9/9) AAS
>>9
どうも。スレ主です。
可換群→加群と考えるわけね
で、有理数体Q上の線型空間Vを考える
が、頭がすぐそちらに回転していかない
ざんねんながらスルーです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s