A Cancellation Theorem for Artinian Local Algebras.
We present a version of Bézout's theorem basing on the intersection theory in complex analytic geometry. Some applications for products of surfaces and curves are also given.
Let K be a field, S = K[x 1, … x n] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.