Construction of the Henselization of a valued field (Q1570369): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q323733 |
Changed an Item |
||
Property / author | |||
Property / author: Franz-Viktor Kuhlmann / rank | |||
Normal rank |
Revision as of 05:06, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Construction of the Henselization of a valued field |
scientific article |
Statements
Construction of the Henselization of a valued field (English)
0 references
23 October 2000
0 references
The aim of the paper is to present an explicit construction of the henselization of a valued field and to prove its constructive validity. A classic theorem states that for every valued field \((K,V)\) there exists an algebraically closed valued extension \((K^{ac},V^{ac})\) such that \(V^{ac}\cap K=V.\) But there exists no constructive proof of the theorem as well as no consructive method to obtain the algebraic closure of a valued field. Still there exists a constructive version of the theorem [\textit{M. Coste, H. Lombardi} and \textit{M. F. Roy}, Dynamical method in algebra: Effective Nullstellensätze, preprint (1996)]. It is known that inside the valued algebraic closure \((K^{ac},V^{ac}))\) of a valued field there exists the henselization \((K^H,V^H)\) of \((K,V)\) where \(V^H=V^{ac}\cap K^H.\) The authors use Hensel's lemma in terms of Newton's polygon to build constructively the henselization of \((K,V).\)
0 references
henselization
0 references
constructive mathematics
0 references
valued field
0 references
Newton polygon
0 references