Bourbaki

Exercise 11, § 1

Commutative Algebra, VII, 547

A divisor dd in an integral domain AA is called finitely generated if it is of the form div⁡(a)\operatorname{div}(a), where aa is a finitely generated fractional ideal (which is not necessarily divisorial; cf. (b)).

(a) Show that, if AA is a Krull domain, every divisor of D(A)D(A) is of the form div⁡(a)\operatorname{div}(a), where a=Ax+Aya = Ax + Ay, x,yx, y being elements ≠0\neq 0 of the field of fractions of AA (use Corollary 2 to Proposition 9 of no. 5).

(b) Let KK be a field, A=K[Xn]n∈NA = K[X_n]_{n \in \mathbf{N}} the ring of polynomials over KK in a denumerable set of indeterminates, which is a Krull ring (Exercise 8). Let A′A' be the subring of AA generated by the unit element and the monomials XiXjX_i X_j for all pairs (i,j)(i, j) (equivalently, A′A' is the set of polynomials all whose terms have even degree). If LL and L′L' are the fields of fractions of AA and A′A', show that A′=A∩L′A' = A \cap L', hence A′A' is a Krull ring. Let pp be the ideal in A′A' generated by the products XiXjX_i X_j for all i≥0i \geq 0; show that pp is a prime ideal of height 1 (hence divisorial) but that it k not finitely generated.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.