Bourbaki

Exercise 35, § 2

Commutative Algebra, IV

It is set in small type as supplementary.

Let K be a commutative field, B the valuation ring, whose group of orders is R, formed by the “formal series” ∑xcxTx\sum_{x} c_x T^x where cx∈Kc_x \in K, x∈R+x \in \mathbf{R}_+ and the set of x such that cx≠0c_x \neq 0 is well ordered; the ring A defined in § 1, Exercise 2 is a subring of B and B is a flat A-module. If C is the A-module defined in § 1, Exercise 2, now prove that one has Ass⁡B(C⊗AB)≠∅\operatorname{Ass}_B(C \otimes_A B) \neq \varnothing though Ass⁡A(C)=∅\operatorname{Ass}_A(C) = \varnothing (consider an element of C⊗AB=B/aBC \otimes_A B = B/\mathfrak{a}B, canonical image of an element of B of valuation α).*

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.