平坦性

数学において、平坦加群（へいたんかぐん、英: flat module）とは、テンソル積をとる関手 M ⊗ – が完全となる加群 M のことである。ホモロジー代数学および代数幾何学における基本的な概念のひとつ。ジャン＝ピエール・セールによって導入された。