11/03/25 14:50:35.09
>>553
f^(-1)(V) はアフィン開集合になるというのはいい？
f^(-1)(V) = Spec(C) とすると C は B-加群として有限生成だから C は B 上整。
各 p ∈ X に対して O_p を p における正則関数の芽とする。
C = ∩{O_p； p ∈ V} で各 O_p は正則だから整閉、よって C も整閉
よって C = A
11/03/25 14:50:35.09
>>553
f^(-1)(V) はアフィン開集合になるというのはいい？
f^(-1)(V) = Spec(C) とすると C は B-加群として有限生成だから C は B 上整。
各 p ∈ X に対して O_p を p における正則関数の芽とする。
C = ∩{O_p； p ∈ V} で各 O_p は正則だから整閉、よって C も整閉
よって C = A