Hilbert's Nullstellensatz

Hilbert's Nullstellensatz (German: theorem of zeros), proved by David Hilbert in 1893, is the bridge between algebra and geometry that makes modern algebraic geometry possible. In its simplest form, it states that over an algebraically closed field, every maximal ideal of a polynomial ring corresponds to a point in affine space, and every polynomial that vanishes on all the common zeros of an ideal must belong to that ideal (or more precisely, some power of it does).

The theorem establishes a perfect dictionary: algebraic objects (ideals) correspond to geometric objects (algebraic sets), and this correspondence reverses inclusion. The radical of an ideal corresponds to the ideal of polynomials vanishing on its zero set. This is not merely a technical result; it is the theorem that guarantees that the algebra of polynomial rings is rich enough to encode spatial geometry.

Together with Hilbert's basis theorem, the Nullstellensatz forms the foundation of classical algebraic geometry. Where the basis theorem guarantees finiteness, the Nullstellensatz guarantees representability: every geometric object that should be describable by polynomials actually is.