K-Spektrum/Integre Algebren/Dominante Morphismen/Charakterisierung/Aufgabe

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}R$ und ${}S$ integre ${}K$-Algebren von endlichem Typ. Es sei ${}\varphi \colon R\rightarrow S$ ein ${}K$-Algebrahomomorphismus mit zugehörigem Morphismus ${}=\varphi ^{*}\colon K\!\!-\!\operatorname {Spek} \,{\left(S\right)}\rightarrow K\!\!-\!\operatorname {Spek} \,{\left(R\right)}$. Zeige, dass folgende Aussagen äquivalent sind.

1. ${}\varphi$ ist injektiv.
2. Das Bild von ${}\varphi ^{*}$ ist dicht in ${}K\!\!-\!\operatorname {Spek} \,{\left(R\right)}$.
3. ${}\varphi$ induziert einen Ringhomomorphismus ${}Q(R)\rightarrow Q(S)$.

Eine Lösung erstellen