平坦加群

この環上の加群が平坦加群であることを、テンソル積の完全性を用いて証明する。

自由加群は常に平坦加群であるが、その逆は必ずしも成り立たない。

平坦加群の概念は、代数幾何学における射の平坦性を定義する基礎となる。