Es sei K {\displaystyle {}K} ein Körper und R = K [ [ T ] ] {\displaystyle {}R=K[\![T]\!]} der Potenzreihenring in einer Variablen. Dann ist R {\displaystyle {}R} ein diskreter Bewertungsring.
![{\displaystyle {}R=K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fdef2c8554b3d609db2b0a270523a569b14bfd7)
