Lemma 10.50.6 (0AS4)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.50: Valuation rings
Lemma 10.50.6 (cite)

numberstags

Valuation rings are stable under filtered direct limits

Lemma 10.50.6. Let $I$ be a directed set. Let $(A_ i, \varphi _{ij})$ be a system of valuation rings over $I$. Then $A = \mathop{\mathrm{colim}}\nolimits A_ i$ is a valuation ring.

Proof. It is clear that $A$ is a domain. Let $a, b \in A$. Lemma 10.50.5 tells us we have to show that either $a | b$ or $b | a$ in $A$. Choose $i$ so large that there exist $a_ i, b_ i \in A_ i$ mapping to $a, b$. Then Lemma 10.50.4 applied to $a_ i, b_ i$ in $A_ i$ implies the result for $a, b$ in $A$. $\square$

Comments (3)

Comment #2477 by Dario Weißmann on April 07, 2017 at 12:10

(Why) Is the condition $\varphi_{ij}$ local necessary?

Comment #2510 by Johan on April 14, 2017 at 00:33

OK, I guess not. Thanks! Change is here.

Comment #3796 by slogan_bot on November 20, 2018 at 04:45

Suggested slogan: "Valuation rings are stable under filtered direct limits"

There are also:

4 comment(s) on Section 10.50: Valuation rings

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 (3)

Post a comment