Bourbaki

Definition 3

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

Commutative Algebra, chapter VII, § 1. Krull domains

A n integral domain AA is called a Krull domain if there exists a family (vi)i∈I(v_i)_{i \in I} of valuations on the field of fractions KK of AA with the following properties: (AKI_I) the valuations viv_i are discrete; (AKII_{II}) the intersection of the rings of the viv_i is AA; (AKIII_{III}) for all x∈K∗x \in K^*, the set of indices t∈It \in I such that vt(x)≠0v_t(x) \neq 0 is finite.

It obviously suffices to verify condition (AKIII_{III}) for the elements xx of A−(0)A - (0).

Examples (1) Every discrete valuation ring is a Krull domain. (2) More generally, every principal ideal domain AA is a Krull domain. For let (pi)i∈I(p_i)_{i \in I} be a representative system of extremal elements of AA and let viv_i be the valuation on the field of fractions of AA defined by pip_i (Chapter VI, § 3, no. 3, Example 4). It is immediately seen that the family (vi)i∈I(v_i)_{i \in I} satisfies properties (AKI_I), (AKII_II) and (AKIII_{III}). (3) Let FF be a field and (Ri)1≤i≤n(R_i)_{1 \leq i \leq n} a finite family of subrings of FF which are Krull domains. Then their intersection S=⋂j=1nRjS = \bigcap_{j=1}^n R_j, is a Krull domain. For 1≤j≤n1 \leq j \leq n let (vj,t)t∈Ij(v_{j,t})_{t \in I_j} be a family of valuations on the field of fractions of RjR_j, satisfying (AKI_I), (AKII_{II}), (AKIII_{III}) (where AA is replaced by RjR_j). Let wj,tw_{j,t} denote the restriction of vj,tv_{j,t} to the field of fractionsof SS. Then the family (vj,t)1≤j≤n,t∈Ij(v_{j,t})_{1 \leq j \leq n, t \in I_j} obviously satisfies (AKII_{II}) (where AA is replaced by SS) and also (AKIII_{III}) since the set of indicesjj is finite. The valuations wj,tw_{j,t} are either discrete or improper. By retaining only those which are discrete, a family is obtained which obviously satisfies (AKI_I), (AKII_{II}) and (AK,,_{,,}) (where AA is replaced by SS). Hence SS is certainly a Krull domain. (4) In particular, if AA is a Krull domain and K′K' a subfield of the field of fractions KK of AA, K′∩AK' \cap A is a Krull domain.

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.