Wiki. 忠实平坦环同态 [忠实平坦环同态]SimplicialCat 观念 忠实平坦环同态是仿射概形的平坦覆盖. 定义 称环同态 $A\to B$ 忠实平坦, 是指 $$ {-}\otimes B\colon B\mathsf {Mod}\to A\mathsf {Mod} $$ 全忠实且正合. 相关概念 平坦环同态