一个 模 在一个 单位环
上被称为忠实平坦的,如果 张量积函子
是 正合 且 忠实 的。
一个忠实平坦模总是平坦且忠实的,但反之一般不成立。例如, 是一个忠实且平坦的
-模,但它不是忠实平坦的:事实上
将所有商模
(以及它们之间的映射)都约化为零,因为对于所有
和所有
一个 模 在一个 单位环
上被称为忠实平坦的,如果 张量积函子
是 正合 且 忠实 的。
一个忠实平坦模总是平坦且忠实的,但反之一般不成立。例如, 是一个忠实且平坦的
-模,但它不是忠实平坦的:事实上
将所有商模
(以及它们之间的映射)都约化为零,因为对于所有
和所有
此条目由 Margherita Barile 贡献
Barile, Margherita. "Faithfully Flat Module." 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/FaithfullyFlatModule.html