# The Stacks Project

## Tag 0C6H

Lemma 10.121.9. Let $A \to B$ and $B \to C$ be finite type ring homomorphisms. Let $\mathfrak r$ be a prime of $C$ lying over $\mathfrak q \subset B$ and $\mathfrak p \subset A$. If $A \to C$ is quasi-finite at $\mathfrak r$, then $B \to C$ is quasi-finite at $\mathfrak r$.

Proof. Using property (3) of Lemma 10.121.2: By assumption there exists some $c \in C$ such that $$\{\mathfrak r' \subset C \text{ lying over }\mathfrak p\} \cap D(c) = \{\mathfrak{r}\}.$$ Since the primes $\mathfrak r' \subset C$ lying over $\mathfrak q$ form a subset of the primes $\mathfrak r' \subset C$ lying over $\mathfrak p$ we conclude. $\square$

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

\begin{lemma}
\label{lemma-quasi-finite-permanence}
Let $A \to B$ and $B \to C$ be finite type ring homomorphisms.
Let $\mathfrak r$ be a prime of $C$ lying over
$\mathfrak q \subset B$ and $\mathfrak p \subset A$.
If $A \to C$ is quasi-finite at $\mathfrak r$, then
$B \to C$ is quasi-finite at $\mathfrak r$.
\end{lemma}

\begin{proof}
Using property (3) of Lemma \ref{lemma-isolated-point-fibre}:
By assumption there exists some $c \in C$ such that
$$\{\mathfrak r' \subset C \text{ lying over }\mathfrak p\} \cap D(c) = \{\mathfrak{r}\}.$$
Since the primes $\mathfrak r' \subset C$ lying over $\mathfrak q$
form a subset of the primes $\mathfrak r' \subset C$ lying over
$\mathfrak p$ we conclude.
\end{proof}

There are no comments yet for this tag.

## Add a comment on tag 0C6H

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