Ganzer Ringhomomorphismus/Spektrumsabbildung abgeschlossen/Surjektiv/Fakt

Es seien ${}R$ und ${}S$ kommutative Ringe und es sei

$\varphi \colon R\longrightarrow S$

ein ganzer Ringhomomorphismus.

Dann ist die Spektrumsabbildung

$\varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

abgeschlossen.

Wenn ${}\varphi$ zusätzlich injektiv ist, so ist ${}\varphi ^{*}$ surjektiv.

Zum Beweis, Alternativen Beweis erstellen