Valuation theory: A constructive view

From MaRDI portal





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.











This page was built for publication: Valuation theory: A constructive view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800426)