Exercise 2, § 1
Commutative Algebra, IV, 286
It is set in small type as supplementary.
Let be a commutative field and the valuation ring, whose order group is , consisting of the "formal power series" , where , and the set of such that is well ordered. Let be an irrational number , the ideal of consisting of the elements with valuation and the ring . Then reduces to a point ; for all in , , but for all , there exists in such that . In particular, , although .
Solution
No solution has been written yet.