Projective scheme (source code)

= Projective scheme
{wiki=Projective_scheme}

A projective scheme over a base $S$ is an $S$-scheme admitting a closed immersion into some projective space $\mathbb P_S^n$. Every projective morphism is <proper morphism>[proper].