Multivariate Hensel lemma for ultrametric fields
This paper is part of a series of articles whose objective is to rewrite the theory of valued fields in constructive terms, without using non-constructive tools, commonly used in mathematics, such as Zorn's lemma or Law of excluded middle.\N\NIn this paper, the authors provide a direct constructive proof of the Multivariate Hensel Lemma for ultrametric discrete fields, without using the Zariski's Main Theorem.\N\NRecall that an ultrametric field \((K,|\cdot|)\) is an ultrametric discrete field if \(K\) is discret (there is a zero test) and if the disjunction \(|x| = 1\) or \(|x| < 1\) or \(|x| > 1\) is valid for all \(x \in K\). This amounts to saying that \(V\) is an integral residually discrete local ring.\N\NThus, given an ultrametric field \((K, |\cdot|)\) with a nontrivial absolute value, together with its separable closure \(\widetilde{K}\) in its completion \(\widehat{K}\), the authors prove first that given a Newton polynomial system \(F=(f_1, \ldots , f_n)\) at (\(\underline{0}\)) over \((V, m)\), it admits a unique zero with coordinates in \(\widetilde{m}\). Then, it's proved that \((K^H,V^H)\) is isomorphic to \((\widetilde{K},\widetilde{V} )\), where \((K^H,V^H)\) is the henselisation of \((K,V)\) constructed as in [\textit{F. V. Kuhlmann} and \textit{H. Lombardi}, J. Algebra 228, No. 2, 624--632 (2000; Zbl 0966.12004)].\N\NHence, from these two results, it's concluded that the system \(F\) also admits a unique zero with coordinates in \(mV^H\).
- A course in constructive algebra
- A general Hensel's lemma
- A note on Hensel’s lemma in several variables
- Anneaux henséliens
- Anneaux à diviseurs et anneaux de Krull (une approche constructive)
- Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Construction of the Henselization of a valued field
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Dynamical method in algebra: Effective Nullstellensätze
- Elementary constructive theory of Henselian local rings
- Galoissche Theorie bewerteter Körper.
- scientific article; zbMATH DE number 1703931 (Why is no real title available?)
- scientific article; zbMATH DE number 1824114 (Why is no real title available?)
- scientific article; zbMATH DE number 4210287 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 1200746 (Why is no real title available?)
- scientific article; zbMATH DE number 3439001 (Why is no real title available?)
- scientific article; zbMATH DE number 2020233 (Why is no real title available?)
- scientific article; zbMATH DE number 3310901 (Why is no real title available?)
- scientific article; zbMATH DE number 3198931 (Why is no real title available?)
- Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
- On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case
- On Maximally Central Algebras
- On the Theory of Henselian Rings
- Revisiting Zariski main theorem from a constructive point of view
- Some remarks about normal rings
- Untersuchungen zur arithmetischen Theorie der Körper. (Die Theorie der Teilbarkeit in allgemeinen Körpern. I-III.)
- Valuative Lattices and Spectra
- Valued Fields
- Verzweigungstheorie bewerteter Körper
This page was built for publication: Multivariate Hensel lemma for ultrametric fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027428)
