Lemma 10.119.10. Let $R \to S$ be a homomorphism of domains inducing an injection of fraction fields $K \subset L$. If $R$ is Noetherian local of dimension $1$ and $[L : K] < \infty $ then
each prime ideal $\mathfrak n_ i$ of $S$ lying over the maximal ideal $\mathfrak m$ of $R$ is maximal,
there are finitely many of these, and
$[\kappa (\mathfrak n_ i) : \kappa (\mathfrak m)] < \infty $ for each $i$.
Proof. Pick $x \in \mathfrak m$ nonzero. Apply Lemma 10.119.9 to the submodule $S \subset L \cong K^{\oplus n}$ where $n = [L : K]$. Thus the ring $S/xS$ has finite length over $R$. It follows that $S/\mathfrak m S$ has finite length over $\kappa (\mathfrak m)$. In other words, $\dim _{\kappa (\mathfrak m)} S/\mathfrak m S$ is finite (Lemma 10.52.6). Thus $S/\mathfrak mS$ is Artinian (Lemma 10.53.2). The structural results on Artinian rings implies parts (1) and (2), see for example Lemma 10.53.6. Part (3) is implied by the finiteness established above. $\square$
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 toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)