module such that taking the tensor product with it induces an exact functor
在抽象代數中,一個環 上的平坦模是一個 -模 ,使得函子 保持序列的正合性;若此函子還是忠實函子,則稱之為忠實平坦模 域上的向量空間都是平坦模。自由模或更一般的射影模也是平坦模。对于一个局部諾特環上的有限生成模,平坦性、射影性與自由性三者等價。 自塞爾的論文《》以降,平坦性便在同調代數與代數幾何中扮演重要角色。其幾何意義甚深,詳見條目平坦態射。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).