## Tag `01NF`

Chapter 26: Constructions of Schemes > Section 26.13: Projective space

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 calledprojective $n$-space over $S$. If $R$ is a ring the base change to $\mathop{\rm Spec}(R)$ is denoted $\mathbf{P}^n_R$ and calledprojective $n$-space over $R$.

The code snippet corresponding to this tag is a part of the file `constructions.tex` and is located in lines 2777–2786 (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}
```

## Comments (0)

## Add a comment on tag `01NF`

Your email address will not be published. Required fields are marked.

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).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.