Local Bézout theorem for Henselian rings
- M. Emilia Alonso García
- Henri Lombardi
ISSN: 0010-0757
Argitalpen urtea: 2017
Alea: 68
Faszikulua: 3
Orrialdeak: 419-432
Mota: Artikulua
Beste argitalpen batzuk: Collectanea mathematica
Laburpena
In this paper we prove what we call Local Bézout Theorem (Theorem 3.7). It is a formal abstract algebraic version, in the frame of Henselian rings and � -adic topology, of a well known theorem in the analytic complex case. This classical theorem says that, given an isolated point of multiplicity r as a zero of a local complete intersection, after deforming the coefficients of these equations we find in a sufficiently small neighborhood of this point exactly r isolated zeroes counted with multiplicities. Our main tools are, first the border bases [11], which turned out to be an efficient computational tool to deal with deformations of algebras. Second we use an important result of de Smit and Lenstra [7], for which there exists a constructive proof in [13]. Using these tools we find a very simple proof of our theorem, which seems new in the classical literature.
Finantzaketari buruzko informazioa
Finantzatzaile
-
Spanish GR
- MTM-2011-22435
- MTM-2014-55565
-
Spanish GR
- MTM-2014-55565
- MTM-2011-22435