Schema/Kohärenter Modul/Definition

Kohärenter Modul

Ein quasikohärenter ${𝒪}_X$-Modul $ℳ$ auf einem Schema $(X,{𝒪}_X)$ heißt kohärent, wenn es eine offene affine Überdeckung  $X=\bigcup _{i\in I}{U}_i$  derart gibt, dass $\Gamma (U_i,ℳ)$ ein endlich erzeugter $\Gamma (U_i,{𝒪}_X)$-Modul ist.