Bourbaki

Exercise 25, § 1

Commutative Algebra, VII, 552

An integrally closed domain AA is said to be of finite character if there exists a family (vi)i∈I(v_i)_{i \in I} of valuations on the field of fractions of AA satisfying properties (AKII_{\text{II}}) and (AKIII_{\text{III}}).

(a) Show that, if AA is integrally closed and of finite character, for every element x≠0x \neq 0 in AA, there can only be a finite number of extremal elements of the ordered group of principal divisors which are ≤div⁡(x)\leq \operatorname{div}(x). (Let J⊂IJ \subset I be the finite set of indices such that vi(x)>0v_i(x) > 0. If mm is the number of elements in JJ, show that there cannot be m+1m + 1 elements yjy_j (1≤j≤m+11 \leq j \leq m + 1) dividing xx and such that the elements div⁡(yj)\operatorname{div}(y_j) are extremal, observing that, for all jj, div⁡(yj)\operatorname{div}(y_j) must be prime to ∑k≠jdiv⁡(yk)\sum_{k \neq j} \operatorname{div}(y_k).)

(b) Show that the ring of integral functions of one complex variable (Chapter V, § 1, Exercise 12) is a pseudo-principal domain (Exercise 21) but not a domain of finite character (use (a)). \*

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.