大好き★代数幾何 - 暇つぶし2ch

大好き★代数幾何 at MATH

956:１３２人目の素数さん
03/12/23 13:34
補題
S, T を次数環で S_0 = T_0 = A とする。
次数環 U をその d 次部分 U_d = (S_d (x) T_d)/A として
定義する。ここに、(S_d (x) T_d)/A は S_d と T_d の A 上の
テンソル積である。
Proj(U) は (Proj(S) x Proj(T))/A に同型である。

証明
補題(>>955)より明らか。

次ページ

続きを表示

1を表示