Formaler Potenzreihenring/Eine Variable/Konstante nicht null, dann Einheit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Körper und sei der Ring der formalen Potenzreihen in einer Variablen.

Dann ist eine formale Potenzreihe genau dann eine Einheit, wenn der konstante Term ist.

Zum Beweis, Alternativen Beweis erstellen