参考：Section 17.11 (01BM): Modules of finite presentation—The Stacks project
定义
设 $(X,\calO_X)$ 是一个环空间。设 $\scrF$ 是 $\calO_X$ 模层。如果对于任意 $x\in X$ 都存在 $x$ 的一个开邻域 $U$ 使得以下正合列成立
$$ \bigoplus_{j=1}^{m} \calO_U\to \bigoplus_{i=1}^{n} \calO_U \to \scrF|_U \to 0 .$$
引理
设 $(X,\calO_X)$ 是一个环空间，如果 $\scrF$ 是有限表示的模层，那么 $\scrF$ 是拟凝聚的。
任务优先