Graduierter Ring/Projektives Spektrum/Zariski-Topologie/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, zusammen mit der Topologie, bei der die Teilmengen

$D_{+}\left(𝔞\right)=\{𝔭\in \mathrm{Proj}\left(R\right)\mid 𝔞\subseteq ̸𝔭\}$

als offen erklärt werden, das projektive Spektrum von $R$.