Local Bezout Theorem
We give an elementary proof of what we call the Local Bezout Theorem. Given a system of n polynomials in n indeterminates with coefficients in a Henselian local domain, (V, m, k), which residually defines an isolated point in k(n) of multiplicity r, we prove (under some additional hypothesis on V) that there are finitely many zeroes of the system above the residual zero (i.e., with coordinates in m), and the sum of their multiplicities is r. Our proof is based on techniques of computational algebra. (C) 2010 Elsevier Ltd. All rights reserved.
local bezout theorem henselian rings roots continuity stable computations