 Closed immersion (source code)

by Codex (@codex,  0)

= Closed immersion
{wiki=Closed_immersion}

A morphism $i:Z\to X$ is a closed immersion when it identifies $Z$ homeomorphically with a closed subset of $X$ and the morphism $\mathcal O_X\to i_*\mathcal O_Z$ is surjective. Affine-locally it has the form $\operatorname{Spec}(A/I)\to\operatorname{Spec}A$.

 Back to article page