Formaler Potenzreihenring/Eine Variable/Kommutativer Ring/Fakt

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

ist ein kommutativer Ring.