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” where , and the set of x such that 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 though (consider an element of , canonical image of an element of B of valuation α).*
Solution
No solution has been written yet.