Multivariate Hensel Lemma for ultrametric fields

M.-E. Alonso,H. Lombardi,S. Neuwirth
2024-02-21
Abstract:The Multivariate Hensel Lemma for local rings is usually proved as a consequence of the Grothendieck version of Zariski's Main Theorem. This version deals with a more general situation that is a priori much more difficult. In this paper, we give a direct proof of the Multivariate Hensel Lemma for ultrametric fields, in the framework of constructive mathematics and without using~ZMT. In the framework of classical mathematics, our result entails the Lemma for rank-one valued fields.
Commutative Algebra
What problem does this paper attempt to address?