Note on the coincidence of two Henselizations
We compare two Henselizations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathematics. Although this isomorphism is implicitly accepted as obvious in the literature, it seems that no proof was previously available.
Authors
- Henri Lombardi (ORCID: https://orcid.org/0000-0002-7920-9282)
- Stefan Neuwirth (ORCID: https://orcid.org/0000-0001-9139-4911)
- María Emilia Alonso García (ORCID: https://orcid.org/0000-0002-3668-3806)
Institutions
- Universidad Complutense de Madrid (ES)
- Centre National de la Recherche Scientifique (FR)
- Laboratoire de Mathématiques de Besançon (FR)
- Université Marie et Louis Pasteur (FR)
Publication Details
- Journal
- Journal of Algebra and Its Applications
- Published
- 2025-03-07
- DOI
- https://doi.org/10.1142/s021949882650194x
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00