[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
190(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:50 ID:xcx18NtP(1/7) AAS
>>176
なるほど なるほど
分かりました 分かりました
"ガロアの逆問題"：
「ある基礎体Eに対して、群Gを与えたとき、拡大体Fを求めよ」という問題ですね
で、この視点から、これを広く解釈すれば、類体論もこの類の問題になる（後述）
１）可換の場合
省24
191(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(2/7) AAS
>>190
つづき
フェセンコは同研究のサーベイ論文[pub 19]及び一般論説[pub 20]の著者であり、数学界の難問ABC予想を証明できたとする望月の論文（2012年）に関して「証明内容に誤りは無い」と後押しする主張を行った数学者の1人である[4]。
フェセンコは、IUTに関する（同理論を理解したいと考える数学者に向けて内容を説明する）2つの国際ワークショップを共同開催した[pub 21][pub 22]。
外部ﾘﾝｸ:en.wikipedia.org
Class field theory
外部ﾘﾝｸ:ja.wikipedia.org
省9
192(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(3/7) AAS
>>191
つづき
目次
1 現代的な定式化
2 素イデアル
3 類体論の一般化
4 歴史
省12
193: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(4/7) AAS
>>192
つづき
幾つかの小さい体、例えば有理数体 Q やその虚二次拡大体については、もっとたくさんの情報が得られる詳細な理論が存在する。
例えば、Q のアーベル化絶対ガロワ群 G は、全ての素数に亙って取った p-進整数環の単元群の無限直積（に自然同型）であり、対応する Q の最大アーベル拡大は 1 の冪根全てによって生成された体となる。
このことは、もとはレオポルト・クロネッカーの予想であったクロネッカー?ヴェーバーの定理として知られる。
この場合の、類体論の相互律同型（あるいはアルティンの相互律写像）も同定理に従って具体的に書くことができる。
1 の全ての冪根からなる群を
省12
194(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:52 ID:xcx18NtP(5/7) AAS
>>192
つづき
素イデアル
G の抽象的な記述だけではなくて、そのアーベル拡大においてどのように素イデアルが分解するかを理解することが数論の目的にとってより本質的である。
この記述はフロベニウス元を用いて、二次体における素数の因数分解の様子を完全に与える二次の相互律を非常に広範に一般化するものである。
つまり、類体論の内容には、（三次の相互律といったような）より高次の「冪剰余の相互律」についての理論が含まれるのである。
類体論の一般化
省9
195(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:52 ID:xcx18NtP(6/7) AAS
>>194
つづき
歴史
詳細は「類体論の歴史（英語版）」を参照
類体論の起源はガウスによって与えられた平方剰余の相互律にある。
それが一般化されるまでには長きに亙る歴史的な取り組み、たとえば二次形式とその「種の理論」、クンマー・クロネッカー・ヘンゼルなどのイデアルおよび完備化に関する業績、円分体およびクンマー拡大の理論などがあった。
最初の二つの類体論は、非常にはっきりした円分類体論と虚数乗法類体論である。
省6
196: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:53 ID:xcx18NtP(7/7) AAS
>>195
つづき
著しく重要な高木の存在定理が1920年に知られ、全ての主要な結果は1930年ごろまでには出そろっていた。
証明されるべき古典的な予想の最後の一つは単項化定理（英語版）であった。類体論の最初の証明には、頑強な解析学的手法が用いられた。
1930年代以降は、無限次元拡大とそのガロワ群に関するヴォルフガンク・クルルの理論が有効であることが次第に認められていく。
この理論はポントリャーギン双対性と結びついて、中心的な結果であるアルティンの相互律のより抽象的な定式化が分かり易くなった。
重要な段階は、1930年代にクロード・シュヴァレーによってイデールが導入されたことである。
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s