Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 1 / 3

An integral extension $R\subseteq T$ means every $t\in T$ satisfies a monic polynomialTo prove the Lying-over theorem, localize at $S=R\setminus P$. The injection $R_P\hookrightarrow S^{-1}T$ remains injective, and $S^{-1}T$ is integral over $R_P$: a monic relation for $t$ divided by suitable powers of $s$ gives one for $t/s$. This is a nonzero ring, so choose a maximal ideal $M$ of it.

The contraction of $M$ to $R_P$ is maximal. To see this directly, a field integral over a subring forces that subring to be a field. For nonzero $a$ in the subring, $a^{-1}$ is integral; multiply its monic equation of degree $d$ by $a^{d-1}$ to express $a^{-1}$ as a polynomial in $a$ with coefficients in the subring. Apply this to the integral extensionSince $R_P$ is a local ring with unique maximal ideal $P{R}_P$, we obtain $M\cap R_P=P{R}_P$.

Contract $M$ to $T$, obtaining a prime ideal $Q$. Its contraction to $R$ is the contraction of $P{R}_P$, namely $P$. Thus

The key is a Laurent normalization by a monomial change of variables. We prove the slightly stronger assertion that every nonzero quotient of a Laurent polynomial ring in $r$ variables is finite as a module over an embedded Laurent polynomial ring in some number $m\le r$ of variables.

Induct on $r$. If the defining ideal is zero, the ring itself works. Otherwise choose a nonzero Laurent polynomialin that ideal, with nonzero coefficients. For a sufficiently large positive integer $N$, the weightsare distinct for all $\mathbf{a}\in F$. Indeed, each difference gives a nonzero polynomial in $N$, which has only finitely many integer roots. Make the invertible monomial substitutionIts inverse is $Y_j=X_j{X}_r^{-N^j}$, so it is an automorphism of the Laurent polynomial ring. When $r=1$ there is no substitution and distinct exponents already give distinct weights.

As a Laurent polynomial in $Y_r$, the transformed relation has unique lowest and highest exponents. Their coefficients are nonzero scalar multiples of monomials in $Y_1,\dots ,Y_{r-1}$, hence units inMultiplying by a power of $Y_r$ and the inverse leading coefficient givesHere $d>0$: a single-term Laurent polynomial would be a unit and the quotient would be zero. Reversing the equation and dividing by $b_0{Y}_r^d$ gives a monic equation for $Y_r^{-1}$. Thus both $Y_r$ and $Y_r^{-1}$ are integral over the image $B$ of $B_0$ in $T$. In fact $b_0$ being a unit also expresses $Y_r^{-1}$ as a polynomial in $Y_r$, so $T$ is generated as a $B$-module by $1,Y_r,\dots ,Y_r^{d-1}$.

The ring $B$ is itself a nonzero quotient of an $(r-1)$-variable Laurent polynomial ring. By induction, it is finite over an embedded Laurent polynomial ring in $m\le r-1$ variables. Finiteness of modules is transitive, so the same is true of $T$; a finite ring extension is an integral extension, by the determinant trick applied to multiplication by an element.

Applying this to $r=3$ yields an embedded subringThe base case $m=0$ means the subring $k$; finiteness over it would make $T$ a finite-dimensional vector space. The hypothesis excludes this, so $1\le m\le 3$, as required. No infinitude assumption on $k$ is used.