 It is again a field since the field operations extend to the completion.The subring of Q"p" consisting of elements "x" with formula_211 is isomorphic to Z"p".Similarly, the formal power series ring formula_212 is the completion of formula_110 at formula_214 (see also Hensel's lemma)

A complete ring has much simpler structure than a commutative ring.