Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 20 / 4 / a / Solution

A closed immersion $i:X\to Y$ is a morphism of schemes whose underlying map is a homeomorphism onto a closed subset and whose map of structure sheavesis surjective. Equivalently, $X$ is the closed subscheme defined by a quasi-coherent ideal sheaf of a closed subscheme on $Y$. The affine-local characterization is particularly useful: for every affine open subscheme $V=\mathrm{Spec}A\subseteq Y$,for an ideal $I\subseteq A$, with the map induced by the quotient homomorphism.