Es sei R {\displaystyle {}R} ein kommutativer Ring.
Dann ist die Komplettierung des Polynomringes R [ T 1 , … , T n ] {\displaystyle {}R[T_{1},\ldots ,T_{n}]} am Ideal
isomorph zum Potenzreihenring R [ [ T 1 , … , T n ] ] {\displaystyle {}R[[T_{1},\ldots ,T_{n}]]} .
![{\displaystyle {}R[T_{1},\ldots ,T_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13417f8179d67a5e95cfe3756d4d7730d2082f55)
![{\displaystyle {}R[[T_{1},\ldots ,T_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b77fbcfeb64df835c9de49d8aa9c08171e11378e)