Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 26 / 1 / i / Solution

A strong lifting lemma. Let $R$ be a complete discrete valuation ring, with fraction field $F$ and normalized discrete valuation $v$. A useful strong form of Hensel lemma says that for $f\in R[T]$ and $a\in R$ satisfyingthere is a root $b\in R$ withIf $f(a)=0$, take $b=a$. Otherwise the hypothesis ensures that $f^{\prime }(a)\ne 0$. The root is unique among $b$ satisfying $v(b-a)>v(f^{\prime }(a))$. In particular, a simple root of the reduction of $f$ lifts uniquely with its specified residue.

Here is a proof by Newton iteration over a valued field. Put $a_0=a$ andWrite $A_j=v(f(a_j))$ and $B=v(f^{\prime }(a_0))$. Taylor expansion over $R$ shows, inductively, that the increment has valuation $A_j-B>B$, that $v(f^{\prime }(a_{j+1}))=B$, and thatIndeed, the constant and linear terms of $f(a_{j+1})$ cancel, leaving terms of valuation at least twice that of the increment. The change in $f^{\prime }$ has valuation greater than $B$, so its valuation stays $B$. Thus all iterates lie in $R$ and form a Cauchy sequence. Completeness and continuity give a root $b$. The later increments have strictly larger valuations than the first, proving the displayed distance formula. For uniqueness, if $b,c$ are in the stated ball, Taylor expansion factorsThe second factor is nonzero, so two roots must coincide. This proves Hensel's lemma in the form needed here.

Odd residue characteristic. For odd $p$, a p-adic unit $u$ is a square exactly when its reduction is a square in ${\mathbb{F}}_p^{\times }$. Necessity follows by reduction. For sufficiency, a nonzero residue root of $T^2-u$ has derivative $2T$ invertible modulo $p$, so the Hensel lemma lifts it. The multiplicative group of a finite field is cyclic, and its subgroup of squares has index two. ThereforeRepresentatives are $1$ and any unit whose reduction is a quadratic nonresidue.

Residue characteristic two. An odd integer has square congruent to one modulo eight, so a square 2-adic unit must lie in $1+8{\mathbb{Z}}_2$. Conversely, if $u\equiv 1(\mathrm{mod}8)$, take $f(T)=T^2-u$ and $a=1$. Then $v_2(f(1))\ge 3>2v_2(f^{\prime }(1))=2$, and the strong form of Hensel lemma produces a square root. HenceThe four unit square classes of the p-adic integers have representatives $1,3,5,7$.