Es sei A {\displaystyle {}A} ein noetherscher Ring und D ( a ) ⊆ Spek ( A ) = X {\displaystyle {}D({\mathfrak {a}})\subseteq \operatorname {Spek} {\left(A\right)}=X} eine offene Teilmenge. Es sei A → A ′ {\displaystyle {}A\rightarrow A'} ein flacher Ringhomomorphismus mit A ′ {\displaystyle {}A'} noethersch.
Dann ist Γ ( D ( a A ′ ) , O X ′ ) = Γ ( D ( a ) , O X ) ⊗ A A ′ {\displaystyle {}\Gamma (D({\mathfrak {a}}A'),{\mathcal {O}}_{X'})=\Gamma (D({\mathfrak {a}}),{\mathcal {O}}_{X})\otimes _{A}A'} .
