Elimination ideals and Bezout relations

Abstract

Let $k$ be an infinite field and $I\subset k[x_1,\dots ,x_n]$ be an ideal such that dim $V(I)=q$. Denote by $(f_1,\dots ,f_s)$ a set of generators of $I$. One can see that in the set $I\cap k[x_1,...,x_{q+1}]$ there exist non-zero polynomials, depending only on these $q+1$ variables. We aim to bound the minimal degree of the polynomials of this type, and of a Bézout (i.e. membership) relation expressing such a polynomial as a combination of the $f_i$.