À 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
| dc.contributor.author | Alonso García, María Emilia | |
| dc.contributor.author | Lombardi, Henri | |
| dc.contributor.author | Neuwirth, Stefan | |
| dc.date.accessioned | 2023-06-17T08:27:57Z | |
| dc.date.available | 2023-06-17T08:27:57Z | |
| dc.date.issued | 2020-05-04 | |
| dc.description.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. | |
| dc.description.department | Depto. de Álgebra, Geometría y Topología | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | FALSE | |
| dc.description.status | unpub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/72737 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/7203 | |
| dc.language.iso | fra | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 512.71 | |
| dc.subject.keyword | Henselization | |
| dc.subject.keyword | Henselian rings | |
| dc.subject.keyword | Constructive mathematics | |
| dc.subject.keyword | Valuation | |
| dc.subject.ucm | Álgebra | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1201 Álgebra | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | À 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 | |
| dc.type | journal article | |
| dcterms.references | [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 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 784665c6-b0a6-479e-ac77-a2735116b521 | |
| relation.isAuthorOfPublication.latestForDiscovery | 784665c6-b0a6-479e-ac77-a2735116b521 |
Download
Original bundle
1 - 1 of 1
