Graduierter Ring/Projektives Spektrum/Homogene Einheit/Homöomorphie/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein -graduierter Ring, der zumindest eine homogene Einheit positiven Grades besitze.

Dann ist die Abbildung

eine Bijektion, die bezüglich der Zariski-Topologien eine Homöomorphie und bezüglich der Strukturgarben ein Isomorphismus ist. Ferner ist dabei

Zum Beweis, Alternativen Beweis erstellen