[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
269(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/27(日)12:35 ID:EUeYkluT(9/14) AAS
つづき
Dedekind discriminant theorem
Much of the significance of the discriminant lies in the fact that ramified ultrametric places are all places obtained from factorizations in Qp where p divides the discriminant.
This is even true of the polynomial discriminant; however the converse is also true, that if a prime p divides the discriminant, then there is a p-place which ramifies.
For this converse the field discriminant is needed. This is the Dedekind discriminant theorem. In the example above, the discriminant of the number field Q(x) with x^3 - x - 1 = 0 is -23, and as we have seen the 23-adic place ramifies.
The Dedekind discriminant tells us it is the only ultrametric place which does. The other ramified place comes from the absolute value on the complex embedding of F.
外部ﾘﾝｸ:ja.wikipedia.org
分岐 (数学)
(抜粋)
数学における分岐 (ramification) とは、例えば多価関数としての平方根が零点から符号の異なる二つの枝に分かれているような意味で、「枝分かれ」することをいう。
またその逆に、例えばある点で退化しているような被覆写像により複数のファイバーが合流するような場合も（逆の視点から見れば枝分かれしているので）分岐という。
画像ﾘﾝｸ
系統的に分岐を図示：Y 上のほとんど全ての点のファイバーは、3個の点から構成される。
しかし例外は、Y のドットでマークした 2か所の点では、ファイバーがそれぞれ 1つと 2つの点からなる。
写像 f は Y のこれらの点で分岐するといわれる。
目次
1 複素解析
2 代数トポロジー
3 代数的整数論
3.1 Q の代数拡大
3.2 局所体
4 代数学
5 代数幾何学
つづく
270: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/27(日)12:36 ID:EUeYkluT(10/14) AAS
>>269
つづき
代数的整数論
Q の代数拡大
「ガロア拡大での素イデアルの分解」も参照
代数的整数論での分岐は、ある素イデアルへの素数の繰り返しの分解を意味する。R を代数体 K の整数環とし、P を R の素イデアルとする。各々の K の体の拡大 L に対し、L の中の T の整閉包 S と S のイデアル PS とを考えることができる。PS は素であるかどうか分からないが、[L:K] を有限とすると、素イデアルの積
P1e(1) ? Pke(k)
となる。ここに Pi はそれぞれ S の異なる素イデアルである。すると P が L で分岐しているとは、ある i に対して e(i) > 1 であるときとを言う。言い換えると、P が L で分岐するとは、分岐指数 e(i) が 1 より大きな Pi が存在することを言う。全ての i に対して、e(i) = 1 の場合を不分岐と言う。
同値な条件としては、S/PS が零でない冪零元を持つことである。べき零元は有限体の積ではない。リーマン面との類似は、19世紀に既にリヒャルト・デーデキント (Richard Dedekind) とハインリッヒ・ウェーバー（英語版） (Heinrich M. Weber) が指摘していた。
つづく
271: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/27(日)12:36 ID:EUeYkluT(11/14) AAS
>>269
つづき
分岐は、相対判別式（英語版）(relative discriminant)により K にエンコードされ、相対差イデアル（英語版）(relative different)により L にエンコードされる。相対判別式は K の整数環のイデアルであり、P で割りきれることと、P を割る S のイデアル Pi が存在し分岐することをは同値である。
相対差イデアルは L の整数環のイデアルであり、Pi が分岐するとき、S の素イデアル Pi で割り切れる。
分岐指数 e(i) が全て P の標数 p と互いに素であるときを、分岐が順 (tame) と言い、そうでない場合を激 (wild) と言う。この条件はガロア加群の理論に重要である。デデキント整域の有限生成なエタール拡大 B/A が順であることと、トレース Tr: B → A が全射であることとは同値である。
局所体
詳細は「局所体の分岐（英語版）」を参照
数体での分岐のさらに詳しい分析は、局所的な問題であるので、p-進数の拡大を使い進めることができる。局所的な場合には、基本的にはどのくらいガロア群が計量から動くかを問うことで、分岐を測る量がガロア拡大に対して定義される。
分岐群（英語版）の列が定義され、とりわけ、暴 (wild) 分岐が具体化される。つまり、幾何学的な類似を超えた意味を持っている。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.045s