Kommutativer Ring/Spektrum/Zariski-Topologie/Abgeschlossene und offene Teilmengen/Fakt

Es sei ${}R$ ein kommutativer Ring. Dann gelten folgende Aussagen.

1. Zu einem Ideal ${}{\mathfrak {a}}\subseteq R$ und der Restklassenabbildung

   $q\colon R\longrightarrow R/{\mathfrak {a}}$

   ist die Spektrumsabbildung

   $q^{*}\colon \operatorname {Spek} {\left(R/{\mathfrak {a}}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   eine abgeschlossene Einbettung, deren Bild ${}V({\mathfrak {a}})$ ist.

2. Zu einem multiplikativen System ${}M\subseteq R$ ist die zur kanonischen Abbildung

   $\iota \colon R\longrightarrow R_{M}$

   gehörige Abbildung

   $\iota ^{*}\colon \operatorname {Spek} {\left(R_{M}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   injektiv, und das Bild besteht aus der Menge der Primideale von ${}R$, die zu ${}M$ disjunkt sind.

3. Zu ${}f\in R$ ist die zur kanonischen Abbildung

   $\iota \colon R\longrightarrow R_{f}$

   gehörige Abbildung

   $\iota ^{*}\colon \operatorname {Spek} {\left(R_{f}\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

   eine offene Einbettung, deren Bild gleich ${}D(f)$ ist.

Zum Beweis, Alternativen Beweis erstellen