Wiki. 分离态射 [分离态射]

定义

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

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

例

相关概念

分离几何态射