- 930 名前：１３２人目の素数さん [03/12/07 05:00]
- 補題
S をスキームとし、f: X → Y を S-スキームの射とする。
T → S をスキームの射とする。
g: (X x T)/S → (Y x T)/S を f により誘導される射とする。
f が全射であれば、g も全射である。
証明
(X x T)/S = (X x ((Y x T)/S))/Y だから、補題(>>929)より明らか
である。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
大好き★代数幾何
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef