Ringwechsel/Spektrumsabbildung/Vorgeschobener Modul/Aufgabe

Es sei ein Ringhomomorphismus zwischen den kommutativen Ringen und und sei die zugehörige Spektrumsabbildung. Es sei ein -Modul mit der zugehörigen Modulgarbe auf . Zeige

wobei einfach der -Modul , aufgefasst als -Modul, ist.