Bourbaki

Exercise 4, § 5

Commutative Algebra, VI, 455

Let vv be a valuation on a field K, A the ring of vv and m its maximal ideal.

(a) For the topology defined by vv on A to be identical with the m-adic topology, it is necessary and sufficient that A be a field or a discrete valuation ring.

(b) For the topology defined by vv to make A into a strictly linearly compact ring (Chapter 111, § 2, Exercise 21), it is necessary and sufficient that A be a field or a discrete valuation ring (use (a) and Chapter III, § 2, Exercise 22 (a)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.