扁平模块

A类模块 超过单元环 被称为扁平若（iff）这个张量乘积函子 （或同等地张量积函子 )是一个准确的函子.

对于每个-模块，服从暗示

一般来说，这是无法逆转的。

A类-模块是扁平的若（iff）它是无扭转的：因此和无限直积是扁平的-模块，但它们不是投影的。事实上，通过诺埃特人戒指或a局部环，平坦意味着射影仅适用于有限生成的模块。此属性以及塞雷的问题，可以得出结论，上述三个含义是等价的如果是上的有限生成模块一多项式环 ，其中是一个字段。