Zum Inhalt springen

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

Aus Wikiversity

Es sei K ein algebraisch abgeschlossener Körper und seien R und S integre K-Algebren von endlichem Typ. Es sei φ:RS ein K-Algebrahomomorphismus mit zugehörigem Morphismus φ:KSpek(S)KSpek(R). Zeige, dass folgende Aussagen äquivalent sind.

a) φ ist injektiv.


b) Das Bild von φ ist dicht in KSpek(R).


c) φ induziert einen Ringhomomorphismus Q(R)Q(S).