## Tag `02Z4`

Chapter 56: Algebraic Spaces > Section 56.14: Examples of algebraic spaces

Lemma 56.14.5. Notation and assumptions as in Lemma 56.14.3. Assume $G$ is finite. Then

- if $U \to S$ is quasi-separated, then $U/G$ is quasi-separated over $S$, and
- if $U \to S$ is separated, then $U/G$ is separated over $S$.

Proof.In the proof of Lemma 56.13.1 we saw that it suffices to prove the corresponding properties for the morphism $j : R \to U \times_S U$. If $U \to S$ is quasi-separated, then for every affine open $V \subset U$ which maps into an affine of $S$ the opens $g(V) \cap V$ are quasi-compact. It follows that $j$ is quasi-compact. If $U \to S$ is separated, the diagonal $\Delta_{U/S}$ is a closed immersion. Hence $j : R \to U \times_S U$ is a finite coproduct of closed immersions with disjoint images. Hence $j$ is a closed immersion. $\square$

The code snippet corresponding to this tag is a part of the file `spaces.tex` and is located in lines 2300–2309 (see updates for more information).

```
\begin{lemma}
\label{lemma-quotient-finite-separated}
Notation and assumptions as in Lemma \ref{lemma-quotient}.
Assume $G$ is finite. Then
\begin{enumerate}
\item if $U \to S$ is quasi-separated, then $U/G$ is quasi-separated
over $S$, and
\item if $U \to S$ is separated, then $U/G$ is separated over $S$.
\end{enumerate}
\end{lemma}
\begin{proof}
In the proof of Lemma \ref{lemma-properties-diagonal}
we saw that it suffices to prove the
corresponding properties for the morphism $j : R \to U \times_S U$.
If $U \to S$ is quasi-separated, then for every affine open $V \subset U$
which maps into an affine of $S$
the opens $g(V) \cap V$ are quasi-compact. It follows that $j$ is
quasi-compact.
If $U \to S$ is separated, the diagonal $\Delta_{U/S}$ is a closed
immersion. Hence $j : R \to U \times_S U$ is a finite coproduct
of closed immersions with disjoint images. Hence $j$ is a closed immersion.
\end{proof}
```

## Comments (0)

## Add a comment on tag `02Z4`

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.

There are also 7 comments on Section 56.14: Algebraic Spaces.