Local Bézout Theorem

• Autores: María Emilia Alonso García , Henri Lombardi
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 45, Nº 10, 2010, págs. 975-985
• Idioma: inglés
• DOI: 10.1016/j.jsc.2010.06.022
• Texto completo no disponible (Saber más ...)
• Resumen

  • We give an elementary proof of what we call the Local Bézout Theorem. Given a system of n polynomials in n indeterminates with coefficients in a Henselian local domain, , which residually defines an isolated point in of multiplicity r, we prove (under some additional hypothesis on ) that there are finitely many zeroes of the system above the residual zero (i.e., with coordinates in ), and the sum of their multiplicities is r. Our proof is based on techniques of computational algebra.