一个模块 超过a单元环 如果张量乘积函子 是准确的和忠实的。
一个忠实平坦的模块总是平坦且忠实的,但反过来通常不成立。例如,是一个忠实而平淡的人-模块,但它并不是完全平坦的:事实上减少所有商模(以及它们之间的映射)为零,因为以及所有:
此条目由贡献玛格丽塔巴里尔
更多需要尝试的事情:
玛格丽塔·巴里尔“Faithfully Flat Module”摘自数学世界--Wolfram Web资源,由创建埃里克韦斯特因。https://mathworld.wolfram.com/FaithfullyFlatModule.html