数学
局所体についてよくわかっていない。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 3 で {1, 2}, N_{L/K} U_P は mod 3 で {1} とかなのでは? というイメージがあったが、冷静に考えたら (x^2 + y^2 mod 3 は (x, y) != (0, 0) mod 3 のとき 1 も 2 もとるので) {1, 2} だった。つまり直観が間違っている。HELP!
こういう変な直観を持っていると修正に手間取るからよくない。
Corestriction map (有限群とその部分群に対して定義される写像) の定義が well-defined であることの証明がよくわからない。群の表現論に登場する誘導表現に雰囲気が似ているがそのくらいしかわからない。
