2021-04-11から1日間の記事一覧
数学 局所体についてよくわかっていない。L/K を局所体の不分岐拡大として、P が p の上の分岐指数 1 の素イデアルの時、 U_p = N_{L/K} U_P (N はノルム写像) というのが非直観的。例えば L/K = Q(i)/Q で P = (3), p = (3) のとき、なんとなく U_p は mod …
数学 局所体についてよくわかっていない。L/K を局所体の不分岐拡大として、P が p の上の分岐指数 1 の素イデアルの時、 U_p = N_{L/K} U_P (N はノルム写像) というのが非直観的。例えば L/K = Q(i)/Q で P = (3), p = (3) のとき、なんとなく U_p は mod …