Bourbaki

Exercise 13, § 2

Commutative Algebra, VIII, p. 85

Bourbaki marks this one as harder than the rest.

Let AA be an integral domain and KK its field of fractions. For every integer k≥0k \geq 0, the following properties are equivalent: (i) Every subring BB of KK containing AA is of dimension ≤k\leq k. (ii) Every valuation ring VV of KK containing AA is of dimension ≤k\leq k. (iii) For every choice of kk elements t1,...,tkt_1, ..., t_k of KK, one has dim⁡(A[t1,...,tk])≤k\dim(A[t_1, ..., t_k]) \leq k. (iv) One has dim⁡(A[X1,...,Xm])≤k+m\dim(A[X_1, ..., X_m]) \leq k + m for every integer m≥0m \geq 0.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.