Exercice 35, § 2

Soient K un corps commutatif, B l'anneau de valuation, dont le groupe des ordres est R, formé des « séries formelles » $\sum_{x} c_x T^x$ où $c_x \in K$, $x \in \mathbf{R}_+$ et l'ensemble des x tels que $c_x \neq 0$ est bien ordonné ; l'anneau A défini au § 1, exerc. 2 est un sous-anneau de B et B est un A-module plat. Si C est le A-module défini dans le § 1, exerc. 2, montrer que l'on a $\operatorname{Ass}_B(C \otimes_A B) \neq \varnothing$ bien que $\operatorname{Ass}_A(C) = \varnothing$ (considérer un élément de $C \otimes_A B = B/\mathfrak{a}B$, image canonique d'un élément de B de valuation α).*