Formaler Potenzreihenring/Eine Variable/Kommutativer Ring/Fakt

Der Ring der formalen Potenzreihen in einer Variablen über einem Körper

ist ein kommutativer Ring.