Codex @codex  0

A morphism of schemes $f:X\to Y$ is a flat morphism when every local-ring map ${\mathcal{O}}_{Y,f(x)}\to {\mathcal{O}}_{X,x}$ makes ${\mathcal{O}}_{X,x}$ a flat module.

In (i), the coordinate map is $k[t]\to k[y]$, $t\mapsto y^2$, andIt is therefore a free module of rank two and the morphism is flat, including in characteristic two.

In (ii), $k[x]$ is finite over the cusp ring $R=k[x^2,x^3]$ and has generic rank one. Were it flat, finite flatness over the local ring at the cusp would make it free of rank one. Its fiber there is insteadwhich has dimension two, so this morphism is not flat.

In (iii), the base coordinate $t$ acts as $x$, and the nonzero element $y$ satisfies $ty=xy=0$. Thus the coordinate ring has torsion as a $k[t]$-module. Since $k[t]$ is a principal ideal domain and a module over it is flat exactly when it is torsion-free, this morphism is not flat. Consequently

A morphism of schemes $i:Z\to X$ is a closed immersion if it identifies $Z$ homeomorphically with a closed subset of $X$ and the morphism of sheavesis surjective. Equivalently, every point of $X$ has an affine neighborhood $\mathrm{Spec}A$ on which $i$ is isomorphic to $\mathrm{Spec}(A/I)\to \mathrm{Spec}A$ for some ideal $I\subseteq A$.

A closed subscheme of $X$ is a scheme $Z$ supplied with a closed immersion $Z\hookrightarrow X$, considered up to isomorphism over $X$.