Graduierter Ring/Projektives Spektrum/Hauptmenge/Schema/Fakt/Beweis

Beweis

Dies folgt aus Fakt, angewendet auf ${}R_{f}$, unter Berücksichtigung, dass die homogenen Primideale von ${}D_{+}(f)$ den homogenen Primidealen von ${}R_{f}$ entsprechen. Die Schemaeigenschaft folgt, da die ${}D_{+}(f)$ zu ${}f\in R_{+}$ das projektive Spektrum überdecken.

Zur bewiesenen Aussage