Es sei θ : R → S {\displaystyle {}\theta \colon R\rightarrow S} ein Ringhomomorphismus zwischen kommutativen Ringen und φ : Spek ( S ) → Spek ( R ) {\displaystyle {}\varphi \colon \operatorname {Spek} {\left(S\right)}\rightarrow \operatorname {Spek} {\left(R\right)}} der zugehörige Schemamorphismus. Es sei M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul.
Dann ist
