Es sei F {\displaystyle {}{\mathcal {F}}} ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul auf einem beringten Raum ( X , O X ) {\displaystyle {}{\left(X,{\mathcal {O}}_{X}\right)}} und G ⊆ F {\displaystyle {}{\mathcal {G}}\subseteq {\mathcal {F}}} ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Untermodul. Zeige, dass die Quotientengarbe F / G {\displaystyle {}{\mathcal {F}}/{\mathcal {G}}} in natürlicher Weise ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul ist.
