Hilbert’s Nullstellensatz

E42506

result in commutative algebra theorem in algebraic geometry

Hilbert’s Nullstellensatz is a foundational theorem in algebraic geometry that establishes a deep correspondence between ideals in polynomial rings and algebraic sets, linking algebra and geometry.

Aliases (5)

Statements (47)

Predicate	Object
instanceOf	result in commutative algebra → theorem in algebraic geometry →
appearsIn	courses on commutative algebra → introductory texts on algebraic geometry →
appliesTo	polynomial rings over algebraically closed fields →
assumes	base field is algebraically closed in its standard form →
classification	foundational theorem →
concerns	Zariski topology → coordinate rings of affine varieties →
coreIdea	geometric information is encoded in algebraic structures → zeros of polynomial ideals determine the radical of the ideal →
establishesCorrespondenceBetween	radical ideals and affine algebraic sets →
field	algebraic geometry → commutative algebra →
formalizes	duality between algebra and geometry in affine case →
generalizedBy	schematic versions in modern algebraic geometry →
hasConsequence	affine algebraic sets correspond to radical ideals → maximal ideals of k[x1,…,xn] correspond to points in affine n-space over k → radical of an ideal equals the ideal of its zero set →
hasVersion	algebraic Nullstellensatz → geometric Nullstellensatz → strong Nullstellensatz → weak Nullstellensatz →
historicalPeriod	late 19th century →
holdsIn	finitely generated polynomial algebras over algebraically closed fields →
idealOfSetNotation	I(V) →
implies	correspondence between maximal ideals and points of affine space → every proper ideal in k[x1,…,xn] has a common zero in some field extension of k →
influenced	development of modern algebraic geometry →
language	polynomial equations and their solution sets →
namedAfter	David Hilbert →
provedBy	David Hilbert →
relatedTo	Hilbert’s basis theorem → Noether normalization lemma → Zariski’s lemma →
relates	algebraic sets → ideals in polynomial rings →
requires	Noetherian property of polynomial rings →
standardContext	affine n-space over an algebraically closed field →
typicalStatementInvolves	ideal I in k[x1,…,xn] → ideal of a set I(V) → zero set V(I) →
usedFor	defining the spectrum of a ring → establishing anti-equivalence between affine varieties and finitely generated reduced k-algebras → foundations of classical algebraic geometry → relating geometric properties to algebraic properties of ideals →
zeroSetNotation	V(I) →

Referenced by (8)

Subject (surface form when different)	Predicate
Hilbert’s Nullstellensatz ("weak Nullstellensatz") → Hilbert’s Nullstellensatz ("strong Nullstellensatz") → Hilbert’s Nullstellensatz ("geometric Nullstellensatz") → Hilbert’s Nullstellensatz ("algebraic Nullstellensatz") →	hasVersion
Hilbert basis theorem ("Hilbert's Nullstellensatz") → Hilbert’s irreducibility theorem → Noether normalization lemma →	relatedTo
David Hilbert →	notableWork