Der Ring der formalen Potenzreihen K [ [ T ] ] {\displaystyle {}K[\![T]\!]} in einer Variablen über einem Körper K {\displaystyle {}K}
ist ein kommutativer Ring.