Direkter Summand/Spektrumsabbildung/Surjektiv/Fakt

Es seien ${}R,S$ kommutative Ringe und ${}R\subseteq S$ ein direkter Summand.

Dann ist die Spektrumsabbildung

$\operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)}$

surjektiv.

Beweis 1, 2, Alternativen Beweis erstellen