平坦模 在抽象代數中一個環 R displaystyle R 上的平坦模是一個 R displaystyle R 模 M displaystyle M 使得函子   R M displaystyle otimes RM 保持序列的正合性若此函子還是忠實函子則稱之為忠實平坦模 域上的向量空間都是平坦模自由模或更一般的射影模也是平坦模对于一个局部諾特環上的有限生成模平坦性射影性與自由性三者等價 自塞爾的論文代數幾何與微分幾何以降平坦性便在同調代數與代數幾何中扮演重要角色其幾何意義甚深詳見條目平坦態射