[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
類体論
(抜粋)
数学における類体論（るいたいろん、英: class field theory, 独: Klassenkorpertheorie）は、有限体上の曲線の函数体や数体のアーベル拡大について、およびそのようなアーベル拡大に関する数論的性質について研究する、代数的整数論の一大分野である。
理論の対象となる体は、一般に大域体もしくは一次元大域体と呼ばれるものである。
与えられた大域体の有限次アーベル拡大と、その体の適当なイデアル類もしくはその体のイデール類群の開部分群との間に一対一対応が取れるという事実によって、類体論の名がある。
例えば、数体の最大不分岐アーベル拡大であるヒルベルト類体は、非常に特別なイデアル類に対応する。類体論は、大域体のイデール類群（即ち、体の乗法群によるイデールの商）によってその大域体の最大アーベル拡大のガロワ群へ作用する相互律準同型 (reciprocity homomorphism) を含む。
大域体のイデール類群の各開部分群は、対応する類体拡大からもとの大域体へ落ちるノルム写像の像になっているのである。
標準的な方法論は、1930年代以降発達した局所類体論（英語版）で、これは大域体の完備化である局所体のアーベル拡大を記述するものであり、これを用いて大域類体論が構築される。
つづく
192(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(3/7) AAS
>>191
つづき
目次
1 現代的な定式化
2 素イデアル
3 類体論の一般化
4 歴史
5 脚注
6 参考文献
7 関連項目
現代的な定式化
現代的な言葉で言えば、基礎体 K の最大アーベル拡大 A は存在して、その拡大次数は K 上無限大となり得るから、その時 A に対応するガロワ群 G は副有限群となり、従ってコンパクト位相群かつまたアーベル群になる。
類体論の中心定な目的は、この群 G を基礎体 K の言葉で記述することである。特に、K の有限次アーベル拡大と K に対する適当な（有限な剰余体を持つ局所体の場合の乗法群や大域体の場合のイデール類群のような）対象におけるノルム群との間の一対一対応を確立し、それらのノルム群を（例えば、指数有限な開部分群といったように）直截的に記述することである。
そのような部分群に対応する有限次アーベル拡大を類体と呼び、これが理論の名称の由来となっている。
類体論の基本的な結果は「最大アーベル拡大のガロワ群 G は、基礎体 K のイデール類群 CK の（基礎体 K の特定の構造に関係して CK に入る自然な位相に関する）副有限完備化に自然同型である」ことを主張する。
同じことだが、K の任意の有限次ガロワ拡大 L に対し、この拡大のガロワ群の最大アーベル商（アーベル化）と、K のイデール類群を L のイデール類群のノルム写像による像で割ったものとの間に、同型
Gal(L / K)ab → CK / NL/K CL
が存在する[1]。
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 2.188s*