Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
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.