模层 数学中赋环空间  X    O  displaystyle X O 上O模的层或O模是层F使得对开的 U  X displaystyle Usubseteq X  F  U  displaystyle FU 是 O  U  displaystyle OU 模 F  U   F  V  displaystyle FUto FV 的限制映射与 O  U   O  V  displaystyle OUto OV 的限制映射相容  f  O  U     s  F  U  displaystyle forall fin OU sin FU fs的限制是f的限制乘以s的限制 标准情况是当X是概形O是其结构层若O是常层 Z  displaystyle underline mathbf Z  则O模的层等同于阿贝尔群层即阿贝尔层 若X是环R的主谱则R模会自然地确定一个 O X displaystyle OX 模称作相关层相似地若R是分次环X是R的射影构造则分次模会自然地确定一个 O X displaystyle OX 模这样产生的 O X displaystyle OX 模是准凝聚层的例子事实上在仿射与射影概形上所有准凝聚层都可这样生成 赋环空间上的模层形成阿贝尔范畴而且这范畴有足内射enough injective因此定义了层上同调 H i   X    displaystyle operatorname H iX 为全局截面函子 Γ  X    displaystyle Gamma X 的第i右导出函子