Wiki. “平坦模” [平坦模]

定义

根据 MO 上的一篇回答,

$A$-模 $M$ 平坦当且仅当对任意理想 $I$, $$ I\otimes_A M \to IM $$ 为同构. 其直观为, $I$ 对应 $\operatorname{spec}A$ 的闭子概形 $\operatorname{spec}(A/I)$,