Ein Potenzreihenring K [ [ T 1 , … , T n ] ] {\displaystyle {}K[[T_{1},\ldots ,T_{n}]]} über einem Körper K {\displaystyle {}K}
ist ein lokaler Ring mit dem maximalen Ideal ( T 1 , … , T n ) {\displaystyle {}(T_{1},\ldots ,T_{n})} und dem Restekörper K {\displaystyle {}K} .
![{\displaystyle {}K[[T_{1},\ldots ,T_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6760d5fc1fb0006b8b079c0415c1ff1b46360e1d)
