- 731 名前：１３２人目の素数さん [03/11/15 03:36]
- ＞722さん
まず謝りたいのは>>693が間違いだと思ったのはXが整スキームという仮定を忘れてたからと
generic pointの性質を間違えて思ってたからで問題はないと思います。
あと議論が大雑把だったりするのは、あんまりパソコンの前座ってると熱上がるんで・・・
（だから、治してから来てって言われたんやけど・・・）
>>729 genericallya finiteの仮定はかなり本質的だと思います。
僕の説明が悪いのですが、零イデアルの逆像の座標環がArtin環になっているということです。
（そこの例でのK(x)[y]のことかな）
だから極小なイデアルしか逆像に入ってないんです。
後半が大事なのは当然です。ただ、genericallya finiteという言い方からもこういう方法でちょっとξ
の周りに伸ばせるのでは、と思ったので。
よかったらそんな方向で考えて教えて下さい。ヒントはその方向を示唆してるのだと思います。
