# The Stacks Project

## Tag 01NF

Definition 26.13.2. The scheme $\mathbf{P}^n_{\mathbf{Z}} = \text{Proj}(\mathbf{Z}[T_0, \ldots, T_n])$ is called projective $n$-space over $\mathbf{Z}$. Its base change $\mathbf{P}^n_S$ to a scheme $S$ is called projective $n$-space over $S$. If $R$ is a ring the base change to $\mathop{\rm Spec}(R)$ is denoted $\mathbf{P}^n_R$ and called projective $n$-space over $R$.

The code snippet corresponding to this tag is a part of the file constructions.tex and is located in lines 2773–2782 (see updates for more information).

\begin{definition}
\label{definition-projective-space}
The scheme
$\mathbf{P}^n_{\mathbf{Z}} = \text{Proj}(\mathbf{Z}[T_0, \ldots, T_n])$
is called {\it projective $n$-space over $\mathbf{Z}$}.
Its base change $\mathbf{P}^n_S$ to a scheme $S$ is called
{\it projective $n$-space over $S$}. If $R$ is a ring the base change
to $\Spec(R)$ is denoted $\mathbf{P}^n_R$ and called
{\it projective $n$-space over $R$}.
\end{definition}

There are no comments yet for this tag.

## Add a comment on tag 01NF

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 lower-right corner).