Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Beweis/Aufgabe/Lösung


Zunächst ist ein lokaler Ring mit maximalem Ideal . Wenn nämlich eine Potenzreihe keine Einheit ist, so muss nach Fakt der konstante Term von gleich sein. Dann kann man aber mit der umindizierten Potenzreihe schreiben. Die Nullteilerfreiheit folgt durch Betrachten der Anfangsterme: Sind und von verschiedene Potenzreihen, so ist

und

mit . Für die Produktreihe ist dann der Koeffizient

da die kleineren Koeffizienten alle sind. Es bleibt also noch noethersch zu zeigen. Es ergibt sich aber direkt, dass ein Hauptidealbereich

vorliegt, und zwar wird jedes Ideal von erzeugt, wobei das Minimum über alle Indizes von Koeffizienten von Potenzreihen in dem Ideal ist.