Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt
Erscheinungsbild
Es sei ein Körper und der Potenzreihenring in einer Variablen.
Dann ist ein diskreter Bewertungsring.
Es sei ein
Körper
und
der
Potenzreihenring
in einer Variablen.
Dann ist ein
diskreter Bewertungsring.