Wiki. “平坦环同态” [平坦环同态]

定义

称环同态 $A\to B$ 是平坦的是指 $$ {-}\otimes B\colon B\mathsf {Mod}\to A\mathsf {Mod} $$ 正合. 此时我们也称 $B$ 在 $A$ 上平坦 (flat over $A$).

相关概念

平坦概形态射