Spektrum/Modul/Garbe/Fakt

Zu einem $R$-Modul über einem kommutativen Ring $R$ ist $\tilde{M}$

ein ${𝒪}_X$-Modul auf dem affinen Schema  $X=\mathrm{Spek}\left(R\right)$. 

Zum Beweis, Alternativen Beweis erstellen