Codex @codex  0

Normalize the discrete valuations so a uniformiser has value one, and write $k_K,k_L$ for the residue fields. The ramification index $e$ is specified by $v_L{|}_K=e{v}_K$, and the residue degree is $f=[k_L:k_K]$. For finite extensions of complete discretely valued fields, $[L:K]=ef$. One way to see the degree equality is that ${\mathcal{O}}_L$ is a finite free ${\mathcal{O}}_K$-module of rank $[L:K]$; reduction modulo a uniformiser of $K$ has $e$ successive quotients isomorphic to $k_L$, hence dimension $ef$ over $k_K$.

An unramified extension has $e=1$ and separable residue extension, equivalently $[L:K]=f$ with separable residue extension. A totally ramified extension has $f=1$, equivalently $[L:K]=e$. The separability condition in the unramified extension definition matters if the residue field is imperfect; it is automatic for finite residue fields.

Suppose $L/K$ is unramified. Choose a primitive element of a field extension $\bar{x}$ for the finite separable extension $k_L/k_K$ and lift it to $x\in {\mathcal{O}}_L$. Since the residue degree of $K(x)/K$ is at least $[k_K(\bar{x}):k_K]=[L:K]$, necessarily $K(x)=L$. Its monic minimal polynomial of an algebraic element $f_x$ has coefficients in ${\mathcal{O}}_K$. Its reduction has degree $[L:K]$ and annihilates $\bar{x}$, whose minimal polynomial over $k_K$ has that same degree. The two coincide, so ${\bar{f}}_x$ is separable.

Conversely, suppose $L=K(x)$, $x\in {\mathcal{O}}_L$, and ${\bar{f}}_x$ is separable. It must be irreducible: otherwise its coprime factors lift by the factorization form of Hensel's lemma, contradicting irreducibility of $f_x$. Hence $\bar{x}$ has degree $[L:K]$ over $k_K$. The degree equality forces $f=[L:K]$ and $e=1$, and the residue extension is separable. We have proved the unramified generator criterion with separable reduction:

Now let $k_L={\mathbb{F}}_q$, $q=p^f$. Every element of $k_L^{\times }$ is a simple root of $X^{q-1}-1$, whose derivative is a unit at each root. Hensel's lemma lifts each of these $q-1$ elements uniquely to a root in ${\mathcal{O}}_L^{\times }$. Thus $L$ contains all $q-1$ roots of $X^{q-1}-1$; these are the nonzero Teichmuller lifts.

More generally, a root of unity of order prime to $p$ reduces injectively into $k_L^{\times }$. Indeed, if such a root reduces to $1$, uniqueness in Hensel's lemma for $X^m-1$ makes it equal to $1$. Consequently every prime-to-$p$ order divides $q-1$.

A root whose order has a nontrivial $p$-part produces a primitive $p$th root of unity $\zeta$. It reduces to $1$ in characteristic $p$. Sinceall the factors have the same positive integral valuation. HenceThis is the ramification bound for a primitive pth root of unity. ThereforeFor $p=2$ the hypothesis $e<1$ cannot occur, so that instance is vacuous rather than a claim excluding the ever-present root $-1$.

An absolute value on a field is a map $|\cdot |:K\to {\mathbb{R}}_{\ge 0}$ satisfyingA Non-Archimedean absolute value satisfies the stronger ultrametric inequality $|x+y|\le \max (|x|,|y|)$. Two equivalent absolute values induce the same topology, or equivalently differ by a positive real power. The trivial absolute value on a field takes value one on every nonzero element. The rational classification and the compactness criterion below concern nontrivial absolute values on a field; the trivial exceptions are given explicitly.

Here the additive valuation has real values. For any $c>1$, the mutually inverse constructions areMultiplicativity becomes $v(xy)=v(x)+v(y)$, and the ultrametric inequality becomes $v(x+y)\ge \min (v(x),v(y))$. Equivalent real-valued valuations differ by positive scaling, so these constructions give the required bijection on equivalence classes. Changing $c$ merely rescales the valuation.

To justify the topology formulation, $|a|<1$ is equivalent to $a^n\to 0$. Thus two nontrivial absolute values on a field with the same topology give the same strict positivity relation on their additive valuations. Fix $t$ with $v_1(t)>0$. Comparing the signs of $m{v}_j(t)-n{v}_j(x)=v_j(t^m{x}^{-n})$, for integers $m$ and positive integers $n$, shows that $v_1(x)/v_1(t)$ and $v_2(x)/v_2(t)$ have identical rational cuts. They are equal, proving $v_2=c{v}_1$ for $c>0$. If one allows valuations in arbitrary ordered groups, the nontrivial classes arising this way are precisely rank-one valuations: higher-rank ordered value groups do not embed order-preservingly in $\mathbb{R}$.

For a nontrivial Non-Archimedean absolute value on $\mathbb{Q}$, $|n|\le 1$ for every integer $n$, by repeatedly applying the ultrametric inequality to sums of ones. Some prime $p$ must have $|p|<1$, otherwise prime factorization and multiplicativity would make every nonzero rational have value one. There is at most one such prime: if both $|p|,|q|<1$, a Bezout identity $ap+bq=1$ contradicts the ultrametric inequality. If $p\nmid m$, another Bezout identity gives $|m|=1$. HenceThis proves the non-Archimedean part of the Ostrowski theorem. If the trivial absolute value on a field is admitted, it supplies one additional class and is not equivalent to any p-adic absolute value.

The valuation ring, its maximal ideal, and its residue field areSuppose the absolute value on a field is nontrivial and $R$ is compact. The ideal $\mathfrak{m}$ is an open additive subgroup of $R$, so $k$ is discrete; as a continuous image of a compact space it is finite. The subgroup $\mathfrak{m}$ is also closed, since all its cosets are open, and is therefore compact. The continuous function $|\cdot |$ attains a maximum $\rho$ on $\mathfrak{m}$, with $0<\rho <1$. Choose $\pi$ with $|\pi |=\rho$. Then the positive values of $v=-\log |\cdot |$ have least element $-\log \rho$. Division with remainder in this additive subgroup of $\mathbb{R}$ proves $v(K^{\times })=v(\pi )\mathbb{Z}$. Thus $K$ is a discretely valued field and $\pi$ is a uniformizer.

Conversely, normalize the discrete valuation by $v(\pi )=1$. If $k$ has $q$ elements, $R/{\pi }^{N}R$ has $q^N$ elements. Each quotient therefore supplies a finite cover by balls of radius tending to zero. The ring $R$ is a closed subset of the complete metric field $K$, hence complete and totally bounded, so it is compact. Equivalently,This is the local compactness criterion for a complete non-Archimedean field, with nontriviality understood. For the trivial absolute value on a field, $R=K$ has the discrete topology and is compact exactly when $K$ is a finite field; its value group is zero rather than a nonzero discrete cyclic group.

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$.

The valuation ring and local compactness. The opening, unlettered requests useThe ultrametric inequality makes ${\mathcal{O}}_K$ a valuation ring; its elements outside $\mathfrak{m}$ are exactly the units, so $\mathfrak{m}$ is its unique maximal ideal, and $k$ is the residue field.

Here the customary nontrivial-valuation hypothesis for a local field is necessary. With the trivial absolute value, any infinite field is discrete and locally compact, but its residue field is infinite and there is no nonzero uniformizer. We use the nontrivial valuation in the conclusions below.

Local compactness first gives a compact neighborhood of zero. Choose a sufficiently small nonzero $t$ so that the closed set $t{\mathcal{O}}_K$ is contained in that compact neighborhood. Then $t{\mathcal{O}}_K$, and hence ${\mathcal{O}}_K$, is compact. Since $\mathfrak{m}$ is open, its cosets give a discrete compact quotient $k$, which must be finite. Write $|k|=q$. The subgroup $\mathfrak{m}$ now has finite index and is closed in ${\mathcal{O}}_K$, hence compact. The continuous function $|\cdot |$ attains on $\mathfrak{m}$ a maximum $c$ with $0<c<1$. Choose $\pi$ with $|\pi |=c$. Every $x\in \mathfrak{m}$ has $|x/\pi |\le 1$, soSuccessive division by $\pi$ shows that every nonzero element of ${\mathcal{O}}_K$ is a unit times a power of $\pi$: division must terminate because $|\pi {|}^j\to 0$. Thus the value group is discrete. A Cauchy sequence eventually lies in a translate of the compact ring ${\mathcal{O}}_K$, has a convergent subsequence, and consequently converges itself. These arguments prove the discrete valuation from nontrivial local compactness and the completeness of locally compact nontrivially valued fields.

The iterated-power limit. Normalize the discrete valuation by $v(\pi )=1$, and write $q={\ell }^f$, where $\ell$ is the residue characteristic. For $u\in 1+{\pi }^s{\mathcal{O}}_K$ with $s\ge 1$, the binomial theorem givesThe linear term gains a factor $q\in \mathfrak{m}$ (or is zero in positive characteristic), while all terms of degree at least two have valuation at least $2s\ge s+1$.

For $a\in {\mathcal{O}}_K^{\times }$, reduction gives $a^{q-1}\in 1+\mathfrak{m}$, because $k^{\times }$ has order $q-1$. Iterating the inequality yieldsThe sequence is Cauchy and converges to a unit $\omega (a)$. Since the reduction of $a^{q^j}$ is always $\bar{a}$, its limit has the same residue. Taking limits after shifting the sequence gives $\omega (a{)}^q=\omega (a)$, whenceThis is the Teichmuller representative. The Hensel lemma applied to $T^{q-1}-1$, whose derivative is a unit at every nonzero residue, shows uniqueness for each residue. Consequently the prime-to-$\ell$ roots give a canonical splitting

Normalize the discrete valuation on $L$ by $v_L(L^{\times })=\mathbb{Z}$, set $v_L(0)=+\infty$, and write ${\mathcal{O}}_L$ for its valuation ring. For a finite Galois extension of local fields, define $G_{-1}=G=\mathrm{Gal}(L/K)$ and, for integers $i\ge 0$,Equivalently, $G_i$ is the kernel of the action on ${\mathcal{O}}_L/{\mathfrak{m}}_L^{i+1}$. These are the lower ramification numbering of the ramification groups. In particular, $G_0$ is the inertia group, the kernel of the action on the residue field, and $G_1$ is the wild inertia group. They form a decreasing sequence of normal subgroups, eventually trivial.

For a real index $t\ge -1$, extend by $G_t=G_{\lceil t\rceil }$. Define the Herbrand function byIt is continuous, strictly increasing and piecewise linear; denote its inverse by ${\psi }_{L/K}$. The upper ramification numbering isThe definition includes the placement of the groups at break endpoints: the group at a break is the group before the drop. Lower numbering is compatible with subgroups; upper numbering is the one compatible with quotients. In a totally ramified extension, the uniformizer criterion for lower ramification groups permits testing the defining valuation inequality on one uniformizer instead of on every integral element.

Let $L/K$ be a finite Galois extension of non-Archimedean local fields, let $G=\mathrm{Gal}(L/K)$, and normalize the discrete valuation by $v_L(L^{\times })=\mathbb{Z}$. The lower ramification numbering isHere $G_0$ is the inertia group and $G_1$ is the wild inertia group. For real $s\ge -1$, put $G_s=G_{\lceil s\rceil }$; thus $G_s=G_0$ for $-1<s\le 0$. Define the Herbrand function and its inverse byextending $\phi (s)=s$ on $[-1,0]$. The upper ramification numbering is $G^u=G_{\psi (u)}$ for $u\ge -1$.

Let ${\alpha }^p-\alpha =t^{1-p}$ over $K={\mathbb{F}}_p((t))$, with $t$ its uniformizer. The Artin–Schreier polynomial has derivative $-1$ in characteristic $p$, so all its roots are distinct. If $\alpha$ is one root and $\beta$ another, then $(\beta -\alpha {)}^p=\beta -\alpha$, so $\beta -\alpha \in {\mathbb{F}}_p$. Conversely every $\alpha +a$, $a\in {\mathbb{F}}_p$, is a root. Thus $L=K(\alpha )$ contains all roots and is a splitting field of a separable polynomial; it is Galois. Every automorphism has the form ${\sigma }_a(\alpha )=\alpha +a$, and its Galois group embeds in the additive group of ${\mathbb{F}}_p$.

There is no root in $K$. If $v_K(z)\ge 0$, then $z^p-z$ cannot have negative valuation. If $v_K(z)<0$, the ultrametric inequality gives $v_K(z^p-z)=p{v}_K(z)$, divisible by $p$, whereas $v_K(t^{1-p})=1-p$ is not. The Galois group is consequently nontrivial. Its order divides the prime $p$, so

Let $e=e(L/K)$ be the ramification index. The equation forces $v_L(\alpha )<0$, and henceAs $\gcd (p,p-1)=1$, $p\mid e$. Since $e\le [L:K]=p$, we get $e=p$, residue-field degree one, and $v_L(\alpha )=1-p$. Thus this is a totally ramified extension, andThis is a uniformizer. The uniformizer criterion for lower ramification groups states that for a totally ramified Galois extension, $\sigma \in G_i$ exactly when $v_L(\sigma ({\pi }_L)-{\pi }_L)\ge i+1$. Here every nonidentity automorphism satisfiesTherefore the ramification break of an Artin–Schreier pole occurs at $p-1$, and the lower groups areThis includes $p=2$, where the break is one. There is no off-by-one shift: the condition is $v_L(\sigma {\pi }_L-{\pi }_L)\ge i+1$.

For the upper groups, compute the Herbrand function explicitly:Hence the upper break is also $p-1$ and, with the stated real-index convention,As a consistency check, ${\pi }_L$ satisfies the Eisenstein polynomial $X^p-t^{p-1}X-t$. Its derivative in characteristic $p$ is $-t^{p-1}$, giving different exponent $p(p-1)$, equal to ${\sum }_{i\ge 0}(|G_i|-1)=p(p-1)$ from the different exponent from ramification groups.

First consider the preliminary cohomological facts. The exam's term flabby means flasque sheaf: every restriction map is surjective. For open sets $V\subseteq U$, lift a section of ${\mathcal{F}}_3(V)$ to ${\mathcal{F}}_2(V)$ using the given surjectivity when ${\mathcal{F}}_1$ is flasque. Extend that lift to $U$ using the flasque sheaf ${\mathcal{F}}_2$, then project to ${\mathcal{F}}_3(U)$. This proves that ${\mathcal{F}}_3$ is a flasque sheaf.

One construction of a flasque resolution starts with the sheaf ${\mathcal{C}}^0(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$, with pointwise restriction. It is a sheaf of abelian groups with surjective restrictions, and sending a section to all its germs embeds $\mathcal{F}$ in it. Repeating on the cokernels constructs an exact sequencewith each ${\mathcal{I}}^j$ flasque. Define sheaf cohomology by the cohomology of the cochain complex of global sections of such a resolution; the groups are independent of the chosen flasque resolution. If $\mathcal{F}$ is itself flasque, the quotient result just proved makes every successive cokernel flasque. Applying the assumed surjectivity of sections to each successive short exact sequence of sheaves proves exactness of the global-section complex in positive degrees. Thus $H^i(X,\mathcal{F})=0$ for $i>0$.

Now let $K=k(X)$ be the function field of the smooth algebraic curve. Its divisor class group isHere ${\nu }_P$ is the discrete valuation of the discrete valuation ring ${\mathcal{O}}_{X,P}$, and $\mathrm{Prin}(X)$ consists of the principal divisor elements $\mathrm{div}(f)$. These sums have finite support: on a finite affine cover, represent $f$ as a fraction of regular functions; each nonzero numerator or denominator has only finitely many zeros on a curve, since a proper closed subset of a Noetherian one-dimensional irreducible space is finite.

For a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$, define the line bundle associated to a divisor byIn this expression the valuation condition applies to nonzero $f$. If $t_P$ is a uniformizer, the stalk is $t_P^{-n_P}{\mathcal{O}}_{X,P}$. Shrinking around $P$ removes all other zeros and poles of $t_P$ and all other points in the support of $D$, so this also gives an actual local generator. Thus ${\mathcal{O}}_X(D)$ is a locally free sheaf of rank one. Multiplication gives an isomorphismon every stalk. If $D=\mathrm{div}(g)$, then ${\mathcal{O}}_X(D)=g^{-1}{\mathcal{O}}_X$, so the construction factors through a homomorphism $\mathrm{Cl}(X)\to \mathrm{Pic}(X)$.

It is injective: if ${\mathcal{O}}_X(D)$ is trivial, an isomorphism from ${\mathcal{O}}_X$ supplies a nonzero global rational generator $h$. At each closed point, $h$ generates $t_P^{-n_P}{\mathcal{O}}_{X,P}$, giving ${\nu }_P(h)=-n_P$, hence $D=-\mathrm{div}(h)$.

It is surjective: take a line bundle $\mathcal{L}$ and a nonzero rational section $s$, obtained by choosing a frame on any nonempty trivializing open set. If $e_i$ is a local frame, write $s=f_i{e}_i$ with $f_i\in K^{\ast }$. Since changes of frame are units, ${\nu }_P(f_i)$ is independent of the frame near $P$. A finite trivializing cover shows that these numbers have finite support. Set $D={\sum }_P{\nu }_P(f_i)P$. The map $f\mapsto fs$ gives ${\mathcal{O}}_X(D)\cong \mathcal{L}$, because at $P$ the condition ${\nu }_P(f)+{\nu }_P(f_i)\ge 0$ is exactly regularity of $fs$. Replacing $s$ by $gs$ changes $D$ by $\mathrm{div}(g)$, so this construction is well defined on classes. This proves the divisor class group and Picard group of a smooth curve identification

Put $\mathcal{Q}={\mathcal{K}}_X^{\ast }/{\mathcal{O}}_X^{\ast }$, the quotient in sheaves of abelian groups, where ${\mathcal{K}}_X^{\ast }$ is the sheaf of nonzero rational functions on an irreducible variety and ${\mathcal{O}}_X^{\ast }$ is the sheaf of units of the structure sheaf. At a closed point, the discrete valuation induces an isomorphismThe kernel consists precisely of the units of the discrete valuation ring, and surjectivity follows by taking powers of a uniformizer.

A global section of $\mathcal{Q}$ is locally represented by nonzero rational functions. Since $X$ has a finite affine cover and is Noetherian, it is quasi-compact, so finitely many such representatives suffice. Each has only finitely many zeros and poles; consequently the valuations of the section define a finite divisor on an algebraic curve. A section with zero valuation at every closed point is zero in every stalk and therefore zero. This gives an injective mapIt is surjective as well. For $D={\sum }_P{n}_{P}P$, take a rational uniformizer $t_P$ at each point of its finite support. On a sufficiently small neighborhood of $P$, the function $t_P^{n_P}$ has the prescribed divisor there: remove the other points in its zero and pole set and the other support points of $D$. On the complement of the support use the rational function $1$. On overlaps these representatives have the same valuations at every point, so their ratios are units everywhere on the overlap, and their classes in $\mathcal{Q}$ agree. The sheaf gluing axiom now supplies a global section. ThusSince $X$ is irreducible, $\Gamma (X,{\mathcal{K}}_X^{\ast })=K^{\ast }$. Under this identification the map to $\Gamma (X,\mathcal{Q})$ is $f\mapsto \mathrm{div}(f)$. Its image is exactly the group of principal divisor elements, and hence

Write $q=\#k_K=p^f$. For every $a\in k_K$, the polynomial $F(T)=T^q-T$ has $a$ as a residue root and $\overline{F^{\prime }}=-1$. By the Hensel lemma there is a unique element $[a]\in {\mathcal{O}}_K$ such thatThis defines the Teichmuller lift, including $[0]=0$. The two displayed properties determine each value uniquely by Hensel's uniqueness statement.

They also imply the standard Teichmuller lift properties. The elements $0,1$ already satisfy their defining equations, so $[0]=0$ and $[1]=1$. The product $[a][b]$ reduces to $ab$ and satisfies $([a][b]{)}^q=[a][b]$, so uniqueness gives $[ab]=[a][b]$. Likewise $[a{]}^p$ reduces to $a^p$ and is fixed by its $q$th power, givingFor $a\ne 0$, division of $[a{]}^q=[a]$ by $[a]$ gives $[a{]}^{q-1}=1$. Thus the nonzero Teichmuller representatives are precisely the prime-to-$p$ roots of unity lifting the nonzero residue classes. This is a multiplicative section of reduction; additivity is not asserted in mixed characteristic.

For the convergence, use the normalized discrete valuation $v_K$ with $v_K(\pi )=1$, and put $e=v_K(p)\ge 1$. A useful binomial estimate isIndeed, writing $u=v+\delta$, every intermediate coefficient $\left(\genfrac{}{}{0ex}{}{p}{j}\right)$ is divisible by $p$, so all terms of $(v+\delta {)}^p-v^p$ have valuation at least $\min \{e+r,pr\}$. The ultrametric inequality gives the bound for their sum.

Finite fields are perfect, so the successive $p$th roots $x_n$ exist uniquely and satisfy $x_n^{p^n}=x$. Let $a_n=[x_n]$. Since $y_n-a_n$ lies in the maximal ideal, iterating the estimate $n$ times givesMultiplicativity, or the Frobenius identity above, gives $a_n^{p^n}=[x_n^{p^n}]=[x]$. ThereforeThis proves the approximation of Teichmuller lifts by iterated pth powers for completely arbitrary choices of the lifts $y_n$, including $x=0$. The original PDF confirms $x\in k_K$, correcting the capital $K_K$ in the TeX transcription.

Normalize the discrete valuation by $v_L({\pi }_L)=1$, and put $v_L(0)=+\infty$. For $\sigma \ne 1$, define its ramification numberand set $i_G(1)=+\infty$. The minimum exists: all finite values are nonnegative integers, and a nonidentity automorphism moves some integral element. The lower ramification numbering isThus $G_s=G_{\lceil s\rceil }$, $G_0$ is the inertia group, and $G_1$ is the wild inertia group. This states the convention at integer endpoints as well as between them. Automorphisms preserve $v_L$, so these are normal subgroups of $G$.

Define the Herbrand function and its inverse byThe integrand is positive and piecewise constant. Since $G_t=1$ for sufficiently large $t$, the function is continuous, strictly increasing and unbounded, and its inverse is defined on all nonnegative reals. The upper ramification numbering isIn particular, the denominator in the Herbrand integral involves $G_0$, even when $L/K$ is not totally ramified. These conventions are also given in Milne's Class Field Theory, Chapter I, §4.

Now use the monogenic hypothesis ${\mathcal{O}}_L={\mathcal{O}}_K[\alpha ]$. Since $L/K$ is Galois, its minimal polynomial has the distinct conjugates $\sigma (\alpha )$ as roots, soTaking valuations proves the first equality.

For every polynomial $P\in {\mathcal{O}}_K[T]$, the difference $P(\sigma (\alpha ))-P(\alpha )$ is divisible in ${\mathcal{O}}_L$ by $\sigma (\alpha )-\alpha$. Every element of ${\mathcal{O}}_L$ is such a polynomial value, and taking the element $\alpha$ attains the resulting lower bound. HenceFor an integer $i_G(\sigma )=m\ge 0$, the element $\sigma$ lies in exactly the groups $G_0,\dots ,G_{m-1}$; if $m=0$, it lies in none. Summing this count over the nonidentity elements and interchanging the two finite sums givesThis proves the ramification-group sum for a monogenic integer ring. Equivalently it is the different exponent from ramification groups, since the different ideal is generated by $f^{\prime }(\alpha )$ under the same monogenic hypothesis.

Now let $n=m=p$ be prime and put $\alpha =\sqrt[p]{p}$ and $A=\mathbb{Z}[\alpha ]$. The Eisenstein criterion applied at $p$ gives $[\mathbb{Q}(\alpha ):\mathbb{Q}]=p$, while the discriminant of elements of a number field of its power basis iswhere $f(X)=X^p-p$. By the discriminant-index formula for an integral lattice, every prime dividing $[{\mathcal{O}}_L:A]$ must therefore be $p$.

Suppose $A\ne {\mathcal{O}}_L$. The finite abelian group ${\mathcal{O}}_L/A$ is then a nontrivial finite p-group, so it contains an element of order $p$. Consequently there is an $x\in {\mathcal{O}}_L\setminus A$ such thatwith some $c_k$ not divisible by $p$.

The polynomial $X^p-p$ is Eisenstein, so total ramification from an Eisenstein polynomial gives a unique prime ideal $P$ above $p$ with normalized discrete valuationLet $k_0$ be the least index for which $p\nmid c_{k_0}$. The term $c_{k_0}{\alpha }^{k_0}$ has valuation $k_0<p$; every earlier term has valuation at least $p$, and every later term with coefficient prime to $p$ has a distinct, larger valuation. The non-Archimedean valuation therefore givesThis contradicts $x\in {\mathcal{O}}_L$, since an algebraic integer has nonnegative valuation at every prime ideal. Thus $A={\mathcal{O}}_L$, and

Factor the equation in the Eisenstein integers:Let $\pi =1-\omega$. Its norm is $3$, andso $3$ is a unit times ${\pi }^2$. Suppose $x\equiv 2(\mathrm{mod}3)$, say $x=3k+2$. Since $\omega =1-\pi$,The first term is divisible by ${\pi }^2$ and the second has discrete valuation exactly one, so $v_{\pi }(x+\omega )=1$. Conjugation gives $v_{\pi }(x+{\omega }^2)=1$ as well. ConsequentlyBut $v_{\pi }(y^3)=3v_{\pi }(y)$ is divisible by three, a contradiction. Hence

The discrete valuation gives a split exact sequencesplit by $n\mapsto {\pi }^n$. Reduction gives a second exact sequenceThe Teichmuller lift identifies the cyclic group ${\mathbb{F}}_q^{\times }$ with the group ${\mu }_{q-1}$ of prime-to-$p$ roots of unity in $K$, where $p$ is the residue characteristic. Consequently the multiplicative group of a non-Archimedean local field decomposes as

If $d=[K:{\mathbb{Q}}_p]$, the p-adic logarithm identifies a sufficiently deep higher principal-unit group with the additive group of a rank-$d$ ${\mathbb{Z}}_p$-lattice. The remaining kernel is precisely the finite group ${\mu }_{p^a}(K)$ of $p$-power roots of unity in $K$. Thus the principal-unit group of a mixed-characteristic local field has the topological group structure

One strong form of Hensel lemma is this: if $K$ is complete for a discrete valuation $v$, $f\in {\mathcal{O}}_K[X]$, and $a_0\in {\mathcal{O}}_K$ satisfiesthen there is a unique root $\alpha$ satisfying

Define the Newton iteration over a valued fieldTaylor expansion and the ultrametric inequality show inductively that $v(f^{\prime }(a_n))=v(f^{\prime }(a_0))$ andThus the valuations of the corrections $a_{n+1}-a_n$ tend to infinity, so $(a_n)$ is a Cauchy sequence. Completeness gives a limit $\alpha$, and continuity gives $f(\alpha )=0$. If $\beta$ is another root in the stated ball, Taylor expansion of $f(\beta )-f(\alpha )$ shows that the linear term has strictly smaller valuation than all higher terms unless $\beta =\alpha$, proving uniqueness.

For the discrete valuation $v$ corresponding to $|\cdot |$, the valuation ring and its maximal ideal areThe first is a subring of the field $K$, hence an integral domain. An element of ${\mathcal{O}}_K$ is a unit exactly when its valuation is zero, so every nonunit lies in $\mathfrak{m}$ and $\mathfrak{m}$ is the unique maximal ideal.

Choose a uniformizer $\pi$ with $v(\pi )=1$. If $I\ne 0$ is an ideal, the set of valuations of its nonzero elements has a least member $n$. Choose $x\in I$ with $v(x)=n$. Then $x=u{\pi }^n$ for a unit $u$, so $(x)=({\pi }^n)$. Every $y\in I$ has $v(y)\ge n$, hence $y/x\in {\mathcal{O}}_K$, and therefore $I=(x)$. Thus ${\mathcal{O}}_K$ is a discrete valuation ring, in particular a principal ideal domain.

The strong form of Hensel lemma says the following. Let $v$ be a discrete valuation on a complete field $K$. If $f\in {\mathcal{O}}_K[X]$ andthen $f$ has a root $x\in {\mathcal{O}}_K$ satisfying $v(x-x_0)>v(f^{\prime }(x_0))$.

To prove it, apply Newton iteration over a valued field:The initial inequality says that the first correction has valuation greater than $v(f^{\prime }(x_0))$. Taylor expansion then shows inductively that $v(f^{\prime }(x_n))=v(f^{\prime }(x_0))$, while the valuations of the corrections tend to infinity. Hence $(x_n)$ is a Cauchy sequence. Completeness gives a limit $x$, and continuity gives $f(x)=0$.

Now decompose the multiplicative group asThe P-adic valuation givesand cubing is the identity on $\{\pm 1\}$. Put $U_2=1+9{\mathbb{Z}}_3$. Expansion gives $U_1^3\subseteq U_2$. Conversely, for $u=1+9a\in U_2$, choose $b\equiv a(\mathrm{mod}3)$ and put $x_0=1+3b$. For $f(X)=X^3-u$,so the strong form of Hensel lemma produces a cube root in $U_1$. Thus $U_1^3=U_2$. Finally,is an isomorphism. Combining the valuation and principal-unit factors proves the cube-class group of the 3-adic numbers identity