諾特環
對一個仿射簇formula_25，formula_26給出從擬凝聚層到 formula_27-模的範疇等價；若formula_27是諾特環，則凝聚層恰對應至有限生成的formula_27-模。