Beringter Raum/Modul/Definition

Modulgarbe

Eine Garbe ${}{\mathcal {M}}$ auf einem beringten Raum ${}(X,{\mathcal {O}}_{X})$ heißt ${}{\mathcal {O}}_{X}$-Modul, wenn es für jede offene Menge ${}U\subseteq X$ auf ${}\Gamma {\left(U,{\mathcal {M}}\right)}$ eine ${}\Gamma {\left(U,{\mathcal {O}}_{X}\right)}$-Modulstruktur gegeben ist, die mit den Restriktionsabbildungen zu ${}U\subseteq V$ verträglich ist.