Es sei R {\displaystyle {}R} ein kommutativer Ring und R [ [ T 1 , … , T n ] ] {\displaystyle {}R[[T_{1},\ldots ,T_{n}]]} der Potenzreihenring über R {\displaystyle {}R} .
Dann ist
ein
kommutativer Ring
und ![{\displaystyle {}R[[T_{1},\ldots ,T_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b77fbcfeb64df835c9de49d8aa9c08171e11378e)
der
Potenzreihenring
über .
![{\displaystyle {}R[[T_{1},\ldots ,T_{n}]]/(T_{n})\cong R[[T_{1},\ldots ,T_{n-1}]]\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0880f50ed1f92d73cce592c39c5374e5024559aa)
