If a field is finitely generated as an algebra over a subfield , then is a finite algebraic extension of . Applying this to a residue field of a polynomial ring proves the Weak Hilbert Nullstellensatz.
Articles by others on the same topic
Zariski's lemma is a result in algebraic geometry that is named after the mathematician Oscar Zariski. It provides a condition for the vanishing of a polynomial function on an algebraic variety.