Lemma 27.5.11. Let $S$ be a Noetherian scheme. Let $T \subset S$ be an infinite subset. Then there exists an infinite subset $T' \subset T$ such that there are no nontrivial specializations among the points $T'$.

**Proof.**
Let $T_0 \subset T$ be the set of $t \in T$ which do not specialize to another point of $T$. If $T_0$ is infinite, then $T' = T_0$ works. Hence we may and do assume $T_0$ is finite. Inductively, for $i > 0$, consider the set $T_ i \subset T$ of $t \in T$ such that

$t \not\in T_{i - 1} \cup T_{i - 2} \cup \ldots \cup T_0$,

there exist a nontrivial specialization $t \leadsto t'$ with $t' \in T_{i - 1}$, and

for any nontrivial specialization $t \leadsto t'$ with $t' \in T$ we have $t' \in T_{i - 1} \cup T_{i - 2} \cup \ldots \cup T_0$.

Again, if $T_ i$ is infinite, then $T' = T_ i$ works. Let $d$ be the maximum of the dimensions of the local rings $\mathcal{O}_{S, t}$ for $t \in T_0$; then $d$ is an integer because $T_0$ is finite and the dimensions of the local rings are finite by Algebra, Proposition 10.59.8. Then $T_ i = \emptyset $ for $i > d$. Namely, if $t \in T_ i$ then we can find a sequence of nontrivial specializations $t = t_ i \leadsto t_{i - 1} \leadsto \ldots \leadsto t_0$ with $t_0 \in T_0$. As the points $t = t_ i, t_{i - 1}, \ldots , t_0$ are in $\mathop{\mathrm{Spec}}(\mathcal{O}_{S, t_0})$ (Schemes, Lemma 25.13.2), we see that $i \leq d$. Thus $\bigcup T_ i = T_ d \cup \ldots \cup T_0$ is a finite subset of $T$.

Suppose $t \in T$ is not in $\bigcup T_ i$. Then there must be a specialization $t \leadsto t'$ with $t' \in T$ and $t' \not\in \bigcup T_ i$. (Namely, if every specialization of $t$ is in the finite set $T_ d \cup \ldots \cup T_0$, then there is a maximum $i$ such that there is some specialization $t \leadsto t'$ with $t' \in T_ i$ and then $t \in T_{i + 1}$ by construction.) Hence we get an infinite sequence

of nontrivial specializations between points of $T \setminus \bigcup T_ i$. This is impossible because the underlying topological space of $S$ is Noetherian by Lemma 27.5.4. $\square$

## Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)

There are also: