Bourbaki

Corollary 2

Tag 04Z2, permanent. Cite it as [Bourbaki, Tag 04Z2].

Commutative Algebra, chapter VII, § 1. Krull domains

Let AA be a Krull domain, KK its field of fractions and (vt)t∈I(v_t)_{t \in I} a family of valuations with the properties of Definition 3. Then every essential valuation of AA is equivalent to one of the vtv_t.

Let PP be an extremal divisor of AA and pp the corresponding divisorial ideal. By Corollary 1, Proposition 5, Lemma 1 and assertion (1) in the proof of Theorem 2, no. 3, there exists t∈It \in I such that the ring AtA_t of vtv_t contains the ring AA, of vPv_P. As vtv_t and vPv_P are of height 1, they are therefore equivalent (Chapter VI, § 4, no. 5, Proposition 6).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.