Zu einer Garbe G {\displaystyle {}{\mathcal {G}}} von kommutativen Gruppen und einer Untergarbe von Gruppen F ⊆ G {\displaystyle {}{\mathcal {F}}\subseteq {\mathcal {G}}} nennt man die Vergarbung der Prägarbe U ↦ G ( U ) / F ( U ) {\displaystyle {}U\mapsto {\mathcal {G}}{\left(U\right)}/{\mathcal {F}}{\left(U\right)}} die Quotientengarbe zu F ⊆ G {\displaystyle {}{\mathcal {F}}\subseteq {\mathcal {G}}}
