Es sei ${\displaystyle {}\varphi \colon R\rightarrow S}$ ein Ringhomomorphismus zwischen zwei kommutativen Ringen und es sei

${\displaystyle \varphi ^{*}\colon \operatorname {Spek} {\left(S\right)}\longrightarrow \operatorname {Spek} {\left(R\right)},\,{\mathfrak {p}}\longmapsto \varphi ^{*}({\mathfrak {p}}),}$

die zugehörige Spektrumsabbildung.

Dann ist die Faser über einem Primideal ${\displaystyle {}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}}$ gleich ${\displaystyle {}\operatorname {Spek} {\left((S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}\right)}}$.

D.h. die Faser besteht aus allen Primidealen ${\displaystyle {}{\mathfrak {p}}\in \operatorname {Spek} {\left(S\right)}}$ mit ${\displaystyle {}{\mathfrak {q}}S\subseteq {\mathfrak {p}}}$ und mit ${\displaystyle {}{\mathfrak {p}}\cap \varphi (R\setminus {\mathfrak {q}})=\emptyset }$.