Hilbert's Nullstellensatz

Hilbert's Nullstellensatz relates ideals in polynomial rings over algebraically closed fields to the common zero sets of their polynomials. Its strong form identifies the polynomials vanishing on such a set with the radical of the ideal.

Weak Nullstellensatz: Every maximal ideal in a polynomial ring over an algebraically closed field is the kernel of evaluation at a point. It gives the theorem’s point-existence statement: proper ideals have common zeros.
Polynomial ring: A ring whose elements are polynomials in one or more variables with coefficients in a given ring. The theorem’s ideals live in polynomial rings over a field.
David Hilbert: A German mathematician whose work shaped invariant theory, algebra, and the foundations of mathematics. The theorem bears his name and belongs to his program of placing algebra on structural foundations.
Affine coordinate ring: The ring of polynomial functions on an affine algebraic set, obtained by quotienting by its vanishing ideal. The theorem identifies the equations that must be factored out to describe functions on a zero set.
Real Nullstellensatz: A theorem characterizing polynomials that vanish on real solutions using sums of squares and related algebraic conditions. Over the real numbers, positivity matters, so the ordinary algebraically closed-field correspondence does not suffice.
Strong Nullstellensatz: For an ideal in a polynomial ring over an algebraically closed field, its vanishing ideal is its radical. It states the precise correspondence between all common zeros and the radical of their defining ideal.
Ideal (ring theory): A subset of a ring closed under addition and under multiplication by arbitrary ring elements. Ideals collect polynomial equations into algebraic objects the theorem can compare with zero sets.
Max Noether: A German mathematician whose work on algebraic curves influenced the development of algebraic geometry. His algebraic-geometric methods helped shape the setting in which ideal-zero correspondences became central.
Zariski topology: A topology on an algebraic variety whose closed sets are defined by polynomial equations. The theorem makes closed sets correspond to radical ideals, grounding this topology in ring theory.
Finite field: A field containing finitely many elements. Finite fields are not algebraically closed, so maximal ideals need not arise from points over that field.

Linked from 10 pages