Publication: À propos d’un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien
Loading...
Official URL
Full text at PDC
Publication Date
2020-05-04
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This paper gives an elementary proof of a theorem by de Felipe and Teissier in the paper “Valuations and henselization” (arxiv.org/abs/1903.10793v1), to appear in Math. Annalen. The theorem compares two henselizations of a local domain dominated by a valuation domain. Our proofs are written in the constructive Bishop style.
Description
UCM subjects
Unesco subjects
Keywords
Citation
[1] M. E. Alonso, T. Coquand et H. Lombardi : Revisiting Zariski main theorem from a constructive point of view. J. Algebra, 406:46–68, 2014. 9
[2] María E. Alonso, Henri Lombardi et Hervé Perdry : Elementary constructive theory of Henselian local rings. MLQ Math. Log. Q., 54(3):253–271, 2008. 1, 2, 4, 5
[3] Errett Bishop : Foundations of constructive analysis. McGraw-Hill, New York, 1967. 1
[4] Errett Bishop et Douglas Bridges : Constructive analysis. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 279. SpringerVerlag, Berlin, 1985. 1
[5] Douglas Bridges et Fred Richman : Varieties of constructive mathematics. London Mathematical Society Lecture Note Series, 97. Cambridge university press, Cambridge, 1987. 1
[6] Thierry Coquand et Henri Lombardi : Some remarks about normal rings. In Concepts of proof in mathematics, philosophy, and computer science, volume 6 de Ontos Math. Log., pages 141–149. De Gruyter, Berlin, 2016. 5
[7] Thierry Coquand, Henri Lombardi, Claude Quitté et Claire Tête : Résolutions libres finies. Méthodes constructives. Preprint disponible en https://arxiv.org/abs/1811.01873, 2019. 1
[8] Michel Coste, Henri Lombardi et Marie-Françoise Roy : Dynamical method in algebra : effective Nullstellensätze. Ann. Pure Appl. Logic, 111(3):203–256, 2001. 1, 6, 7
[9] F. J. Herrera Govantes, M. A. Olalla Acosta, M. Spivakovsky et B. Teissier : Extending a valuation centred in a local domain to the formal completion. Proc. Lond. Math. Soc. (3), 105(3):571–621, 2012. 1
[10] F.-V. Kuhlmann et Henri Lombardi : Construction of the Henselization of a valued field. (Construction du hensélisé d’un corps valué.). J. Algebra, 228(2):624–632, 2000. 1, 2, 6
[11] Franz-Viktor Kuhlmann, Henri Lombardi et Hervé Perdry : Dynamic computations inside the algebraic closure of a valued field., 2003. 1
[12] Henri Lombardi et Claude Quitté : Algèbre commutative. Méthodes constructives. Modules projectifs de type fini. Cours et exercices. Paris : Calvage & Mounet, 2011. Traduction en anglais (version révisée et étendue par les auteurs) par Tania K. Roblot : Commutative algebra : constructive methods. Finite projective modules. Springer, Dordrecht, 2015. 1
[13] Ray Mines, Fred Richman et Wim Ruitenburg : A course in constructive algebra. Universitext. Springer, New York, 1988. 1
[14] M. Raynaud : Anneaux locaux henséliens. Lecture Notes in Mathematics. 169. Berlin-Heidelberg-New York : Springer-Verlag, 1970. 5
[15] Ihsen Yengui : Constructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases. Lecture Notes in Mathematics, 2138. Springer, Cham, 2015. 1