Effective Bezout Identities in Q[z_1, ... , z_n].

Abstract

If p_1, ... , p_m are n-variate polynomials with integral coefficients and no common zeros in C^n, Brownawell has shown in 1986 that there exist q_1, ... , q_m polynomials with integral coefficients and {GREEK LETTER} {IS A MEMBER OF ^Z_+} such that