Graduierter Ring/Projektives Spektrum/Definition

Projektives Spektrum

Es sei ${}R$ ein ${}\mathbb {Z}$-graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von ${}R$, die nicht ${}R_{+}$ umfassen, das projektive Spektrum von ${}R$. Es wird mit ${}\operatorname {Proj} {\left(R\right)}$ bezeichnet.