Wiki. “分离映射” [分离映射]

定义

概形的态射 $f\colon X\to Y$ 称为分离映射, 是指对角线 $X\to X\times_Y X$ 是闭映射.

概形 $X$ 称为分离概形是指 $X\to\operatorname{Spec}(\mathbb{Z})$ 是分离映射.

例

相关概念

分离几何态射