分からない問題はここに書いてね382
レス数が950を超えています。1000を超えると書き込みができなくなります。
0950１３２人目の素数さん
2013/07/25(木) NY:AN:NY.ANBの閉集合は、BのイデアルIを用いてV(I)と書ける。
f*(V(I))=V(f^(-1)(I)) を示せばよい。
⊂は略。
P∈V(f^(-1)(I))とすると、f(P)はf(A)の素イデアル。(詳細略。Ker(f)⊂f^(-1)(I)⊂Pに注意。)
Bはf(A)上整だから、上昇定理より、Q∈SpecB で Q∩f(A)=f(P) となるものが存在する。
このときP=f*(Q)∈f*(V(I)) □
レス数が950を超えています。1000を超えると書き込みができなくなります。