Exercise 35, § 2
Commutative Algebra, IV, 301
It is set in small type as supplementary.
Let be a commutative field, the valuation ring, whose order group is , consisting of the "formal power series" , where and the set of such that is well ordered; the ring defined in § 1, Exercise 2 is a subring of and is a flat -module. If is the -module defined in § 1, Exercise 2, show that although (consider an element of the canonical image of an element of of valuation ). \*
Solution
No solution has been written yet.