Zariski's lemma (source code)

= Zariski's lemma
{c}
{wiki}

= Zariski lemma
{c}
{synonym}

If a field $L$ is finitely generated as an algebra over a subfield $k$, then $L$ is a finite algebraic extension of $k$. Applying this to a residue field of a polynomial ring proves the <Weak Hilbert Nullstellensatz>.