Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 4 / 4

We use Zorn's lemma, and no basis or other existence theorem from linear algebra. A subset $B\subseteq V$ is linearly independent if every finite relation ${\sum }_{b\in F}{\lambda }_{b}b=0$ forces every coefficient to be zero.

Order the linearly independent subsets by inclusion. This partially ordered set is nonempty, because the empty subset is independent. An empty chain has the empty subset as an upper bound. For any nonempty chain, its union is independent: every finite subset of that union lies in one member of the chain. Indeed choose one chain member containing each of its finitely many vectors, then take the largest among that finite collection of comparable members. Every finite relation in the union is therefore a relation in an independent chain member. The union is an upper bound.

Zorn's lemma gives a maximal independent subset $B$. If $v$ were outside its span, then $B\cup \{v\}$ would still be independent. In a finite relationa nonzero $\lambda$ could be inverted in the field $k$, placing $v$ in the span of $B$. If $\lambda =0$, independence of $B$ forces the remaining coefficients to be zero. This contradicts maximality, so $B$ spans $V$.

Define the free module on $B$ as the direct sum $k^{(B)}={⨁}_{b\in B}k$: its elements are coefficient families with finite support. The mapis a module homomorphism. Spanning proves surjectivity; independence proves injectivity. Hence the vector-space freeness from maximal independence givesFinite support is essential; this is a direct sum, not an unrestricted product. The zero vector space uses $B=\varnothing$ and is free of rank zero. The proof for arbitrary vector spaces explicitly uses the axiom of choice through Zorn's lemma.

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.