Proposition 6
Tag 04Z0, permanent. Cite it as [Bourbaki, Tag 04Z0].
Commutative Algebra, chapter VII, § 1. Krull domains
Let be a Krull domain, its field of fractions, a family of valuations on with the properties of Definition 3 and , the ring of . Let be a multiplicative subset of not containing and the set of indices such that is zero on . Then ; in particular is a Krull domain.
We write . Then and and hence . Conversely, let . Let denote the finite set of indices such that . If , then , hence and hence there exists such that . Let be an integer such that ; we write . Then for all and hence and . Thus .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- § 1. Krull domains
- Remark, § 1
- Proposition 12, § 1
- Proposition 16, § 1
- Corollary 1, § 1
- Theorem 3, § 1
- Theorem 4, § 1
- Definition 1, § 2