About absolute convergence and completeness in rings EDIT: Let R be a commutative ring with unit ring and $I$ a maximal ideal in R. The completion of R with respect to $I$ is the inverse limit of the factor rings $R / I^k$ under the usual quotient maps.
A ring is said to be complete with respect to a maximal ideal if the map to its completion with respect to that ideal is an isomorphism.
See this page for additional info on convergence and ring completions.
Let $R$ be a ring such that it is complete w.r.t. some ideal $I$ and let $(x_n)_n$ be a sequence in $I$. I was told that $$\sum_{n=1}^\infty x_n\quad\mbox{converges}\iff x_n\mbox{ converges to }0.$$
The direction $\implies$ is trivial, the other direction is harder. How can I prove this part?

I've just figured it out and for those interested, here is my proof:
Note that in any complete ring, a series converges if and only if the sequence of its partial sums $(s_n=\sum_{k=1}^nx_k)_n$ converges.
Since $(x_k)$ converges to $0$, there is a $M\in\mathbf N$ such that $x_n\in I^k$ for each $n\ge M$. So by choosing $N = M$,$$s_j-s_n=\sum_{i=1}^jx_{j+i}\in I^k$$
for each $j,n\ge N$.
