局所類体論使い方講座 存在定理編 - katsuブログ今回は局所類体論の存在定理と呼ばれる局所体上のAbel拡大の分類定理の使い方と、その強さを -進数版のKronecker-Weberの定理 -進数版のKronecker-Weberの定理 を素数とする。任意の 上有限次Abel拡大は、ある自然数 が存在して に含まれる。ここで とは の原始 乗根である。 を証明することで見ていく。 目次: 局所体の定義と性質 局所類体論の存在定理 最後に 参考文献 局所体の定義と性質 この節では以下の内容について話す。 局所体の定義。 局所体 は その整数環の素元 と単数群 により という構造をしている。 局所類体論の存在定理は の指数有限開部分群と 上のAbel拡大が対応するのでここでは の代数構造と位相的な情報が重要になるのである。 上で書いた内容を知っていれば、あるいは認めれば局所類体論の存在定理とKronecker-Weberの定理の証明の流れは追
