Spektrum/Modul/Definition

Modulgarbe (affines Schema)

Es sei das affine Schema eines kommutativen Ringes und sei ein -Modul. Unter dem zu gehörenden -Modul auf versteht man die Zuordnung, die jeder offenen Menge die kommutative Gruppe

zusammen mit der Skalarmultiplikation

zuordnet, und wobei jeder Inklusion die natürliche Projektion zugeordnet wird.