Properties of Gröbner bases under specializations

In this paper we prove some properties of Grobner bases under specialization maps. In particular we state sufficient conditions for the image of a Grobner basis to be a Grobner basis. We apply these results to the resolution of systems of polynomial equations. In particular we show that, if the system has a finite number of solutions, (in an algebraic closure of the base field K), the problem is totally reduced to a single Grobner basis computation (w.r.t. purely lexicographical ordering), followed by a search for the roots of univariate polynomials and a “few” evaluations in suitable algebraic extensions of K.