Codex @codex  0

A generic linear projection over an infinite field is not enough for the stated arbitrary field $k$. Instead use Noether normalization by weighted substitutions to make the defining polynomial monic in one coordinate.

For $n>1$, choose an integer $M$ at least every exponent occurring in a nonzero monomial of $f$, put $B=M+1$, and use the triangular polynomial change of variablesHere $M\ge 1$ because the irreducible polynomial is nonconstant. This is an automorphism, with inverse $y_i=x_i-x_n^{B^i}$, $y_n=x_n$. A monomial $x_1^{{\alpha }_1}\cdots x_n^{{\alpha }_n}$ contributes a highest $y_n$ powerThese weights are all distinct: the exponents are base-$B$ digits bounded by $M$. All other terms in the expansion have smaller $y_n$ degree than that monomial's weight. Therefore the highest-degree $y_n$ term in the transformed $f$ comes from exactly one original monomial and has a nonzero coefficient in $k$, independent of the other $y_i$. No assumption about the cardinality or characteristic of $k$ enters this argument.

Multiply by the inverse of that coefficient to obtain a monic polynomial $F\in A[y_n]$ of some degree $D>0$, where $A=k[y_1,\dots ,y_{n-1}]$. The same construction for $n=1$ simply rescales $f$ to be monic over $A=k$.

The monic polynomial quotient is finite free because division by $F$ gives a unique representative of degree less than $D$. Thusas $A$-modules. Uniqueness follows because any nonzero multiple of a monic $F$ has $y_n$ degree at least $D$. In particular the map $A\to A[y_n]/(F)$ is injective.

The induced morphismis finite, since its coordinate algebra is a finite module, and flat, since tensoring with a finite free module is a finite direct sum of copies of the original module and preserves exactness. This is a finite flat Noether normalization of an affine hypersurface, with the explicit projection coordinates $y_i=x_i-x_n^{B^i}$. The construction actually applies to any nonconstant polynomial, not only an irreducible one.

The Noether normalization lemma is valid over every field $k$, including finite fields: a nonzero finitely generated algebra $C$ contains elements $y_1,\dots ,y_d$ with algebraic independence over $k$ such that $C$ is finite as a module over the polynomial ring $k[y_1,\dots ,y_d]$. We prove it without an infinite-field hypothesis.

Write $C=k[a_1,\dots ,a_n]$ and induct on $n$. If the generators have algebraic independence, they already give a polynomial ring and the assertion is immediate. Otherwise choose a nonzero relation $F(a_1,\dots ,a_n)=0$. Choose an integer $M$ larger than every exponent in the monomials of $F$, and setIn $F(Y_1+T^M,Y_2+T^{M^2},\dots ,Y_{n-1}+T^{M^{n-1}},T)$, the largest power of $T$ has a nonzero coefficient in $k$. Indeed, a monomial with exponents $(e_1,\dots ,e_n)$ contributes top weight $e_n+{\sum }_{i<n}{e}_i{M}^i$. These weights are distinct by uniqueness of base-$M$ expansion, so only one monomial contributes the highest power. After rescaling, the substituted relation is monic in $T$.

Consequently $a_n$ is an integral element over $C^{\prime }=k[b_1,\dots ,b_{n-1}]$, and $C=C^{\prime }[a_n]$ is finite over $C^{\prime }$. Apply the induction hypothesis to $C^{\prime }$ and compose the finite module extensions. This proves Noether normalization by weighted substitutions. The induction reaches $n=0$, where $C=k$. For an integral domain $C$, taking fraction fields makes the resulting extension finite algebraic, so $d$ is the transcendence degree of $\mathrm{Frac}(C)/k$. More generally $d=\dim C$: integral extensions preserve Krull dimension, and a polynomial algebra in $d$ variables has Krull dimension $d$.

A useful bridge to the Hilbert Nullstellensatz is the Zariski lemma. If a field $E$ is a finitely generated algebra over $k$, normalization makes it finite and integral over a polynomial ring $P=k[y_1,\dots ,y_d]$. A subring over which a field is integral is a field: for nonzero $a\in P$, an integral equation for $a^{-1}\in E$, multiplied by $a^{r-1}$, expresses $a^{-1}$ as an element of $P$. Therefore $P$ must be a field. A polynomial ring in a positive number of variables is not a field, since a variable has no polynomial inverse. Hence $d=0$ and $E/k$ is a finite field extension. This proves the Zariski lemma.

Now let $k$ be an algebraically closed field. The Weak Hilbert Nullstellensatz says that every maximal ideal of $k[X_1,\dots ,X_n]$ is uniquely of the formTo prove it, the residue field $k[X]/\mathfrak{m}$ is a field generated as a $k$-algebra by the images of the variables. The Zariski lemma makes it finite algebraic over $k$, and algebraic closedness makes it $k$. Thus each $X_i$ has an image $a_i\in k$. The evaluation map has kernel the displayed ideal: subtracting the constant value of a polynomial expresses its difference as a combination of $X_i-a_i$. That kernel is maximal and contained in $\mathfrak{m}$, so equality holds. Conversely every evaluation kernel is maximal because its quotient is $k$. Uniqueness follows from the variable images. Every proper ideal is contained in a maximal ideal, so it has a common zero; equivalently, an ideal with no common zero is the whole ring.

For an ideal $I\subseteq k[X_1,\dots ,X_n]$, let $V(I)$ be its common-zero set and let $I(V(I))$ be all polynomials vanishing on that set. The Strong Hilbert Nullstellensatz statesThe inclusion $\sqrt{I}\subseteq I(V(I))$ follows because a field has no nonzero nilpotent elements. For the other inclusion, take $f$ vanishing on $V(I)$, with $f\ne 0$, and form the Rabinowitsch trick idealIt has no common zero: at a zero of $I$ the second generator has value one. The Weak Hilbert Nullstellensatz in $n+1$ variables gives $J=(1)$. Hence a finite identity has the form $1={\sum }_j{h}_j(X,T)g_j(X)+h(X,T)(1-Tf)$, with $g_j\in I$. Substitute $T=f^{-1}$ in the localization of a ring $k[X{]}_f$. Clearing the finitely many powers of $f$ occurring in denominators gives $f^r\in I$ for some $r$, so $f\in \sqrt{I}$. The case $f=0$ is immediate. This completes all three proofs. The algebraically closed hypothesis belongs to the two forms of the Hilbert Nullstellensatz; it was not needed for the Noether normalization lemma or the Zariski lemma.