一個 模 在一個 單位環
上被稱為忠實平坦的,如果 張量積函子
是 正合 且 忠實 的。
一個忠實平坦模總是平坦且忠實的,但反之一般不成立。例如, 是一個忠實且平坦的
-模,但它不是忠實平坦的:事實上
將所有商模
(以及它們之間的對映)都約化為零,因為對於所有
和所有
一個 模 在一個 單位環
上被稱為忠實平坦的,如果 張量積函子
是 正合 且 忠實 的。
一個忠實平坦模總是平坦且忠實的,但反之一般不成立。例如, 是一個忠實且平坦的
-模,但它不是忠實平坦的:事實上
將所有商模
(以及它們之間的對映)都約化為零,因為對於所有
和所有
此條目由 Margherita Barile 貢獻
Barile, Margherita. "Faithfully Flat Module." 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/FaithfullyFlatModule.html