Ein quasikohärenter O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul M {\displaystyle {}{\mathcal {M}}} auf einem Schema ( X , O X ) {\displaystyle {}{\left(X,{\mathcal {O}}_{X}\right)}} heißt kohärent, wenn es eine offene affine Überdeckung X = ⋃ i ∈ I U i {\displaystyle {}X=\bigcup _{i\in I}U_{i}} derart gibt, dass Γ ( U i , M ) {\displaystyle {}\Gamma {\left(U_{i},{\mathcal {M}}\right)}} ein endlich erzeugter Γ ( U i , O X ) {\displaystyle {}\Gamma (U_{i},{\mathcal {O}}_{X})} -Modul ist.
