- 616 名前：１３２人目の素数さん [03/11/03 23:05]
- 補題
X 整スキームとする。
X~ を>>610の意味の X の正規化とする。
f: X~ → X を標準射とする。
任意の正規な整スキーム Z と任意の支配的射 g: Z → X
に対して、g は Z → X~ → X と一意に分解する。
証明
U = Spec(A) を x の任意の空でないアフィン開集合とする。
>>615より、g^(-1)(U) → U は、g^(-1)(U) → f^(-1)(U) → U
と一意に分解する。これより、補題がいえる。
|
 |
