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
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