## Tag `0C6H`

Chapter 10: Commutative Algebra > Section 10.121: Quasi-finite maps

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}
```

## Comments (0)

## Add a comment on tag `0C6H`

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.