19/10/27 12:36:45.86 EUeYkluT.net
>>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) 分岐が具体化される。つまり、幾何学的な類似を超えた意味を持っている。
(引用終り)
以上