Key points are not available for this paper at this time.
Let f 1 ,⋯,f k be polynomials defining an algebraic set in affine n-space over a finite field. Suppose k>n. We prove that there exists a system of polynomials g 1 ,⋯,g n , each being a linear combination with scalar coefficients of f 1 ,⋯,f k , defining the same algebraic set. In particular, one reduces the number of equations without increasing the total degree. We also have the corresponding result for systems of homogeneous polynomials defining algebraic sets in projective spaces.
Stefan Barańczuk (Fri,) studied this question.