# The Stacks Project

## Tag 02Z4

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

1. if $U \to S$ is quasi-separated, then $U/G$ is quasi-separated over $S$, and
2. 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}

There are no comments yet for this tag.

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

## Add a comment on tag 02Z4

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