Hilbert's Nullstellensatz

Abstract

Let k be an algebraically closed field. We will employ the following notation. If I ⊂ k[X1, . . . , Xn] is an ideal, we let Z(I) denote the affine algebraic set in An defined by the vanishing of the polynomials in I . Conversely, if X is an affine algebraic set, I(X) denotes the ideal of polynomials in k[X1, . . . , Xn] vanishing on X . We will give a proof of the following result, called the weak Nullstellensatz: