Construction of the Henselization of a valued field (Q1570369): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: EUROCAL '85. European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985. Proceedings. Vol. 2: Research contributions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ISSAC '88, Proceedings of the International Symposium on Symbolic and Algebraic Computation. Rome, Italy, July 4--8, 1988. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4365300 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4712921 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive rereading of Artin-Schreier theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3358841 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence and uniqueness of the real closure of an ordered field without Zorn's lemma / rank | |||
Normal rank |
Latest revision as of 11:38, 30 May 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