Zu einem Ringhomomorphismus φ : R → S {\displaystyle {}\varphi \colon R\rightarrow S} zwischen kommutativen Ringen und einem Primideal q ∈ Spek ( R ) {\displaystyle {}{\mathfrak {q}}\in \operatorname {Spek} {\left(R\right)}} nennt man ( S / q S ) φ ( R ∖ q ) {\displaystyle {}(S/{\mathfrak {q}}S)_{\varphi (R\setminus {\mathfrak {q}})}} den Faserring über q {\displaystyle {}{\mathfrak {q}}} .
