Beringter Raum/Modulgarbe/Einbettung/Injektive Garbe/Fakt

Es sei ${\displaystyle {}(X,{\mathcal {O}}_{X})}$ ein beringter Raum und es sei ${\displaystyle {}{\mathcal {M}}}$ ein ${\displaystyle {}{\mathcal {O}}_{X}}$-Modul.

Dann gibt es eine injektive Modulgarbe ${\displaystyle {}{\mathcal {I}}}$ auf ${\displaystyle {}X}$ mit ${\displaystyle {}{\mathcal {M}}\subseteq {\mathcal {I}}}$.