Bourbaki

Exercise 19, § 1

Commutative Algebra, IV, 290

It is set in small type as supplementary.

Let A be the ring of a valuation of height 2, Γ\Gamma its order group, Γ1\Gamma_1 the unique isolated subgroup of Γ\Gamma distinct from {0}\{0\} and Γ\Gamma and y>0y > 0 an element of Γ\Gamma not belonging to Γ1\Gamma_1. Let aa be the ideal of those x∈Ax \in A such that v(x)≥yv(x) \geq y, bb the ideal of those x∈Ax \in A such that v(x)>yv(x) > y, E=A/aE = A/a and F=A/bF = A/b. Show that Ass⁡f(Hom⁡A(E,F))\operatorname{Ass}_f(\operatorname{Hom}_A(E, F)) is distinct from Ass⁡f(F)∩Supp⁡(E)\operatorname{Ass}_f(F) \cap \operatorname{Supp}(E). \*

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.