Valuation theory: A constructive view (Q800426)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Valuation theory: A constructive view |
scientific article |
Statements
Valuation theory: A constructive view (English)
0 references
1984
0 references
In Weiterführung früherer Arbeiten [\textit{W. Julian} und Verff., Pac. J. Math. 74, 91-102 (1978; Zbl 0347.12001), und Verff., Rocky Mt. J. Math. 12, 43-54 (1982; Zbl 0499.12019)] entwickeln die Verff. die Theorie einrangiger Bewertungen eines Körpers im konstruktiven Sinne von \textit{E. A. Bishop} [Foundations of constructive analysis (1967; Zbl 0183.015)]. Eine besondere Rolle spielen dabei Bewertungen \(| |\) von k, die pseudofaktoriell sind, d.h. derart, daß für jedes Polynom \(F\in k[X]\) das Infimum von \(\{| F(a)|:\quad a\in k\}\) konstruierbar ist. Für komplette nichtarchimedisch bewertete Körper werden die konstruktiven Analoga zu klassischen Sätzen, u.a. dem Henselschen Lemma, bewiesen. Ferner wird mit Hilfe der Henselisierung die Fortsetzung einer diskreten Bewertung auf eine n-dimensionale separable Erweiterung, einschließlich des Beweises der Gleichung \(n=\sum e_ i\cdot f_ i,\) konstruktiv behandelt, und zwar unter gewissen die Konstruierbarkeit garantierenden Zusatzvoraussetzungen, die im Falle algebraischer Zahlkörper stets erfüllt sind.
0 references
constructive methods
0 references
rank one valuations
0 references
pseudofactorial fields
0 references
henselization
0 references
Henselian lemma
0 references