Lemma 10.123.8 (00Q0)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.123: Zariski's Main Theorem
Lemma 10.123.8 (cite)

numberstags

Lemma 10.123.8. Suppose $R \subset S$ is an inclusion of reduced rings and suppose that $x \in S$ is strongly transcendental over $R$ . Let $\mathfrak q \subset S$ be a minimal prime and let $\mathfrak p = R \cap \mathfrak q$ . Then the image of $x$ in $S/\mathfrak q$ is strongly transcendental over the subring $R/\mathfrak p$ .

Proof. Suppose $u(a_0 + a_1x + \ldots + a_ k x^ k) \in \mathfrak q$ . By Lemma 10.25.1 the local ring $S_{\mathfrak q}$ is a field, and hence $u(a_0 + a_1x + \ldots + a_ k x^ k)$ is zero in $S_{\mathfrak q}$ . Thus $uu'(a_0 + a_1x + \ldots + a_ k x^ k) = 0$ for some $u' \in S$ , $u' \not\in \mathfrak q$ . Since $x$ is strongly transcendental over $R$ we get $uu'a_ i = 0$ for all $i$ . This in turn implies that $ua_ i \in \mathfrak q$ . $\square$

Comments (0)

There are also:

3 comment(s) on Section 10.123: Zariski's Main Theorem

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

Comments (0)

Post a comment