Graduierter Ring/Z/Homogener Ringhomomorphismus/Morphismus/Fakt

Es seien $A$ und $B$ $\mathbb{Z}$-graduierte Ringe über einem kommutativen Ring  $R=A_0$  und sei $\theta :A\to B$ ein homogener Ringhomomorphismus.

Dann gibt es einen natürlichen Schemamorphismus

$D_{+}(\theta (A_{+})B)⟶\mathrm{Proj}\left(A\right),𝔭⟼{\theta }^{-1}(𝔭).$

Zum Beweis, Alternativen Beweis erstellen