Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 27 / 1

Every nonzero P-adic number has a unique decomposition $z=p^{m}u$ with $m\in \mathbb{Z}$ and $u\in {\mathbb{Z}}_p^{\times }$. The group homomorphism kernel of reduction from the unit group onto ${\mathbb{F}}_p^{\times }$ is $1+p{\mathbb{Z}}_p$, the group of principal units. Each nonzero residue class has a unique lift $\omega$ satisfying ${\omega }^{p-1}=1$, by the simple-root Hensel lemma proved in question 3. Uniqueness makes these lifts multiplicative. They form the cyclic group ${\mu }_{p-1}$, and every unit has a unique factorizationThus ${\mathbb{Q}}_p^{\times }=p^{\mathbb{Z}}\times {\mu }_{p-1}\times (1+p{\mathbb{Z}}_p)$.

For odd $p$, the p-adic logarithm and p-adic exponential function give inverse group isomorphisms $1+p{\mathbb{Z}}_p\leftrightarrow p{\mathbb{Z}}_p$. To verify the convergence domain, for $t\in p{\mathbb{Z}}_p$ the p-adic logarithm terms have valuations $n{v}_p(t)-v_p(n)\to \infty$, and the exponential terms have valuations $n{v}_p(t)-v_p(n!)\to \infty$, since $v_p(n!)\le (n-1)/(p-1)$ and $p>2$. In both series every term after the linear one has strictly larger valuation than the linear term. Consequently $\log (1+t)\in p{\mathbb{Z}}_p$ and $\exp (t)\in 1+p{\mathbb{Z}}_p$. The formal identities $\log (vw)=\log v+\log w$ and $\exp (\log v)=v$, $\log (\exp t)=t$ hold on these convergent domains, as follows by multiplying the convergent series or passing to their formal identities termwise.

Choose a generator $\zeta$ of ${\mu }_{p-1}$. An explicit isomorphism isThe inverse reads off the valuation, the root-of-unity unit factor, and $p^{-1}\log (v)$. Both directions are continuous with the standard product topology, so this is also a topological group isomorphism. The odd-prime condition is essential for using all of $1+p{\mathbb{Z}}_p$ as the p-adic logarithm-isomorphism domain.

For a finite extension of fields complete for a Non-Archimedean absolute value, use the unique extended field absolute value. The extension is unramified when its residue extension is a separable field extension andEquivalently, it has ramification index one, a separable field extension of residue fields, and no defect. For general nondiscrete valued fields, merely saying that the ramification index is one is insufficient; the displayed degree equality is part of the unramified condition.

Put $n=[L:K]=[k_L:k_K]$. Since $\bar{x}$ generates the residue extension, $1,\bar{x},\dots ,{\bar{x}}^{n-1}$ are linearly independent over $k_K$. Their lifts $1,x,\dots ,x^{n-1}$ are linearly independent over $K$: a nonzero relation could be divided by a coefficient of largest field absolute value, giving an integral relation whose reduction has at least one nonzero coefficient, contrary to residue independence. They therefore form a $K$-basis of $L$.

For any $y={\sum }_{j=0}^{n-1}{a}_j{x}^j$, choose $a_r$ of largest field absolute value. All coefficients of $y/a_r$ belong to ${\mathcal{O}}_K$, and at least one is a unit. Its reduction is a nonzero linear combination of the residue basis, so $y/a_r$ is a unit of ${\mathcal{O}}_L$. This proves the residue-basis norm formula for an unramified extensionHence $y\in {\mathcal{O}}_L$ exactly when every $a_j\in {\mathcal{O}}_K$. We concludeThe last equality also uses the fact that every polynomial in the integral element $x$ is integral. The proof requires neither a uniformizer nor discrete valuation, and applies to every residue generator specified in the question.