Projective morphism
= Projective morphism
{wiki}
A morphism $X\to S$ is projective when it factors as a <closed immersion> $X\hookrightarrow\mathbb P_S^n$ followed by the projection to $S$. Every projective morphism is proper.
= Projective morphism
{wiki}
A morphism $X\to S$ is projective when it factors as a <closed immersion> $X\hookrightarrow\mathbb P_S^n$ followed by the projection to $S$. Every projective morphism is proper.