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 \colon A\rightarrow B$ ein homogener Ringhomomorphismus.

Dann gibt es einen natürlichen Schemamorphismus

$D_{+}(\theta (A_{+})B)\longrightarrow \operatorname {Proj} {\left(A\right)},\,{\mathfrak {p}}\longmapsto \theta ^{-1}({\mathfrak {p}}).$