K-Spektrum/Ringhomomorphismus induziert Morphismus/Auf D(F)/Bemerkung

In der Situation von Fakt ist der zu ${}U=D(f)$ gehörende Ringhomomorphismus die natürliche Abbildung

$\Gamma (D(f),{\mathcal {O}})\cong R_{f}\longrightarrow \Gamma ((\varphi ^{*})^{-1}(D(f)),{\mathcal {O}})=\Gamma (D(\varphi (f)),{\mathcal {O}})=S_{\varphi (f)}.$