- 721 名前：１３２人目の素数さん [03/11/14 05:58]
- >>720
病人ですがまた来てしまいました・・・寝てると考えることこればっかりなので・・・
また間違えてるかもしれないし、その時は指摘してください。
とりあえず>>712は間違えてます。イデアルに対応する、ってのが大嘘です。
だから>>698は今のところあってるか分かりません。
なんとなく幾何的に考えたんで、適当でした。
それとex3.7の方ですが
f^(-1)(ξ）→ξ がfinite で左辺はXの極小イデアルに対応するから整スキームより１点（genericのみ）
でこれは体の有限拡大K/kを表してます。
そのaffine近傍をとると、SpecB→SpecA でB=A[x_1,・・・,x_n]という形。
（x_iは生成元で超越的とは限りません。）
またBの商体がK、Aの商体がkであるので、
x_i はk上整でその最小多項式の分母の最小公倍元Nをとり、SpecAの開近傍U=D(N)とする。
Vをその逆像（上のSpec間の射での）とすると、V→Uはfiniteになっている（と思う←自信なくしつつある）
