Spektrum/Modul/Prägarbe/Beispiel

Es sei $M$ ein $R$-Modul über dem kommutativen Ring $R$. Dann kann man eine Prägarbe von Moduln definieren, indem man zu einer offenen Menge  $U\subseteq X$  die Festlegung

$𝒫\left(U\right)={\mathrm{colim}}_{U\subseteq D(f)}{M}_f$

trifft. Dies sind Moduln über dem Ring ${\mathrm{colim}}_{U\subseteq D(f)}{R}_f$ und es liegen natürliche Restriktionshomomorphismen vor, die mit den Modulstrukturen verträglich sind. Der Halm dieser Prägarbe in einem Primideal $𝔭$ ist $M_{𝔭}$