Exercise 13, § 2
Commutative Algebra, III, 236
Let be a field, the ring of formal power series and its maximal ideal, so that is Hausdorff and complete with the -adic topology (no. 6, Corollary to Proposition 6). On the additive group consider the filtration such that and is the intersection of and the ring ; this filtration is exhaustive and separated, the topology which it defines on is compatible with the additive group structure on and is finer than the -adic topology but is not a complete group with the topology (consider the sequence of polynomials ).
Solution
No solution has been written yet.