- 358 名前：１３２人目の素数さん [03/10/27 00:07]
- Hartshorn II Ex. 2.14.
(a) S を次数付き環とする。Proj(S) が空であるためには
S+ = S_1 + S_2 + ... のすべての元がベキ零であることが
必要十分であることを示せ。
(b) ψ: S → T を次数付き環の(次数を保存する)射とする。
U = {P ∈ Proj(T) ; P は ψ(S+) を含まない} とする。
U は Proj(T) の開集合であることを示せ。
さらに、ψ は射 f: U → Proj(S) を定めることを示せ。
