Bourbaki

Proposition 6

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

Commutative Algebra, chapter VII, § 1. Krull domains

Let AA be a Krull domain, KK its field of fractions, (vt)t∈I(v_t)_{t \in I} a family of valuations on KK with the properties of Definition 3 and AA, the ring of vtv_t. Let SS be a multiplicative subset of AA not containing 00 and JJ the set of indices t∈It \in I such that vtv_t is zero on SS. Then S−1A=⋂t∈JAtS^{-1}A = \bigcap_{t \in J} A_t; in particular S−1AS^{-1}A is a Krull domain.

We write B=⋂t∈JAtB = \bigcap_{t \in J} A_t. Then S−1⊂BS^{-1} \subset B and A⊂BA \subset B and hence S−1A⊂BS^{-1}A \subset B. Conversely, let x∈Bx \in B. Let J′J' denote the finite set of indices tt such that vt(x)<0v_t(x) < 0. If t∈J′t \in J', then x∉Atx \notin A_t, hence t∉Jt \notin J and hence there exists st∈Ss_t \in S such that vt(st)>0v_t(s_t) > 0. Let n(t)n(t) be an integer >0> 0 such that vt(stn(t)x)≥0v_t(s_t^{n(t)}x) \geq 0; we write s=∏t∈J′stn(t)s = \prod_{t \in J'} s_t^{n(t)}. Then vt(sx)≥0v_t(sx) \geq 0 for all t∈It \in I and hence sx∈Asx \in A and x∈S−1Ax \in S^{-1}A. Thus B=S−1AB = S^{-1}A.

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.