- 610 名前：１３２人目の素数さん [03/11/03 22:11]
- 定義
X を整スキームとする。
X~ を正規な整スキームとし、射 f: X~ → X が以下の性質を
持つとする。
U = Spec(A) を X の任意の空でないアフィン開集合とする。
f^(-1)(U) は、Spec(A~) と同一視され、射 f^(-1)(U) → U は
自然な射 Spec(A~) → Spec(A) と見なせる。ここで、A~ は、A の
商体における A の整閉包である。
このとき、X~ を X の正規化と呼ぶ。
