1. On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case
- Author
-
María Emilia Alonso García, Stefan Neuwirth, Henri Lombardi, Departamento de Álgebra [Madrid], Universidad Complutense de Madrid = Complutense University of Madrid [Madrid] (UCM), Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), María Emilia Alonso García was partially supported by the Instituto de Matemática Interdisciplinar (IMI)., ANR-19-CE40-0002,ANCG,Analyse non commutative sur les groupes et les groupes quantiques(2019), Universidad Complutense de Madrid [Madrid] (UCM), Fédération Bourgogne Franche-Comté Mathématiques (BFC-Math ), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), and Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)
- Subjects
Noetherian ,Pure mathematics ,[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] ,Field (mathematics) ,Commutative Algebra (math.AC) ,01 natural sciences ,Constructive ,Mathematics - Algebraic Geometry ,minimal valuation ,0103 physical sciences ,FOS: Mathematics ,MSC 2020: 13B40 13J15 12J10 14B25 ,0101 mathematics ,Algebraic number ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics ,Valuation (algebra) ,Algebra and Number Theory ,010102 general mathematics ,Local ring ,Mathematics - Commutative Algebra ,henselisation of a residually discrete local ring ,henselisation of a valuated discrete field ,Maximal ideal ,010307 mathematical physics - Abstract
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R h , the henselisation of R as local ring, and v ˜ , the henselisation of the valuation v, by focussing on the recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.
- Published
- 2021
- Full Text
- View/download PDF