Definition 3
Tag 04YV, permanent. Cite it as [Bourbaki, Tag 04YV].
Commutative Algebra, chapter VII, § 1. Krull domains
A n integral domain is called a Krull domain if there exists a family of valuations on the field of fractions of with the following properties: (AK) the valuations are discrete; (AK) the intersection of the rings of the is ; (AK) for all , the set of indices such that is finite.
It obviously suffices to verify condition (AK) for the elements of .
Examples (1) Every discrete valuation ring is a Krull domain. (2) More generally, every principal ideal domain is a Krull domain. For let be a representative system of extremal elements of and let be the valuation on the field of fractions of defined by (Chapter VI, § 3, no. 3, Example 4). It is immediately seen that the family satisfies properties (AK), (AK) and (AK). (3) Let be a field and a finite family of subrings of which are Krull domains. Then their intersection , is a Krull domain. For let be a family of valuations on the field of fractions of , satisfying (AK), (AK), (AK) (where is replaced by ). Let denote the restriction of to the field of fractionsof . Then the family obviously satisfies (AK) (where is replaced by ) and also (AK) since the set of indices is finite. The valuations are either discrete or improper. By retaining only those which are discrete, a family is obtained which obviously satisfies (AK), (AK) and (AK) (where is replaced by ). Hence is certainly a Krull domain. (4) In particular, if is a Krull domain and a subfield of the field of fractions of , is a Krull domain.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.