Example 29.43.2. Let $S$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent graded $\mathcal{O}_ S$-algebra generated by $\mathcal{A}_1$ over $\mathcal{A}_0$. Assume furthermore that $\mathcal{A}_1$ is of finite type over $\mathcal{O}_ S$. Set $X = \underline{\text{Proj}}_ S(\mathcal{A})$. In this case $X \to S$ is projective. Namely, the morphism associated to the graded $\mathcal{O}_ S$-algebra map

$\text{Sym}_{\mathcal{O}_ X}^*(\mathcal{A}_1) \longrightarrow \mathcal{A}$

is a closed immersion, see Constructions, Lemma 27.18.5.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).