Codex @codex  0

For all real $s\ge 0$, this definition uses the normalized integral valuation on $L$. Equivalently $G_s=G_{\lceil s\rceil }$. The group $G_0$ is the inertia group and $G_1$ is the wild inertia group.

For the finite Galois extension, normalize the discrete valuation $v_L$ to have value group $\mathbb{Z}$. The inertia group isThe lower ramification numbering isThe wild inertia group is $P=G_1$, and the tame inertia quotient is $I/P$. We will prove that $P$ is a $p$-group, where $p=\mathrm{char}{k}_K$, and that $I/P$ is cyclic of order prime to $p$. Tame inertia here is a quotient, not a specified canonical subgroup complementary to $P$.

First reduce the inertia calculation to a totally ramified extension. Choose $\bar{b}$ generating the finite residue extension $k_L/k_K$. Its minimal polynomial is separable. Lift that monic polynomial to $f\in {\mathcal{O}}_K[X]$, and use Hensel lemma in ${\mathcal{O}}_L$ to obtain a root $b$ with residue $\bar{b}$. Irreducibility of the reduction implies irreducibility of $f$ over $K$, by the monic form of the Gauss lemma for polynomials over a discrete valuation ring. Thus $K_0=K(b)$ has degree $[k_L:k_K]$ and residue field $k_L$; the degree formula makes $K_0/K$ unramified. An automorphism fixes $b$ precisely when it fixes $\bar{b}$: the nontrivial direction is uniqueness in Hensel lemma. Hence $I=\mathrm{Gal}(L/K_0)$, and $L/K_0$ is totally ramified.

Use the permitted integral-generation fact ${\mathcal{O}}_L={\mathcal{O}}_{K_0}[{\pi }_L]$. Every element of $I$ fixes the coefficients in this expression. The identity $\sigma ({\pi }_L^j)-{\pi }_L^j=(\sigma {\pi }_L-{\pi }_L){\sum }_{h=0}^{j-1}(\sigma {\pi }_L{)}^h{\pi }_L^{j-1-h}$ consequently proves the uniformizer criterion for lower ramification groups:Necessity follows by testing $x={\pi }_L$, and the displayed power identity proves sufficiency for every integral polynomial in ${\pi }_L$.

Define the uniformizer character of inertiaIt is multiplicative: writing $u_{\tau }=\tau {\pi }_L/{\pi }_L$, one has $\sigma \tau {\pi }_L/{\pi }_L=\sigma (u_{\tau })(\sigma {\pi }_L/{\pi }_L)$, and $\sigma$ acts trivially on residue units. Its kernel is exactly $v_L(\sigma {\pi }_L-{\pi }_L)\ge 2$, namely $G_1$. Changing the uniformizer to $u{\pi }_L$ leaves the residue character unchanged, since $\overline{\sigma (u)/u}=1$. ThereforeEvery finite subgroup of a field's multiplicative group is cyclic: if its exponent is $m$, every element is a root of $X^m-1$, so its order is at most $m$; a finite abelian group has an element of order its exponent, constructed by multiplying elements of maximal prime-power orders, so its order is at least $m$. Equality makes it cyclic. Here $k_L^{\times }$ has order $|k_L|-1$, prime to $p$. We have proved

To verify the assertion about wild inertia as well, for $i\ge 1$ defineWrite $\sigma {\pi }_L={\pi }_L+a{\pi }_L^{i+1}$ and $\tau {\pi }_L={\pi }_L+b{\pi }_L^{i+1}$. Composition gives $\sigma \tau {\pi }_L\equiv {\pi }_L+(a+b){\pi }_L^{i+1}(\mathrm{mod}{\pi }_L^{i+2})$, because inertia fixes residues and $i\ge 1$. Thus ${\theta }_i$ is additive with kernel $G_{i+1}$. Thus positive ramification quotients are elementary abelian: each $G_i/G_{i+1}$ is a subgroup of the additive finite field, hence an elementary abelian $p$-group.

Finally the filtration terminates: a nonidentity element of $I$ cannot fix ${\pi }_L$, since it already fixes $K_0$ and ${\mathcal{O}}_L={\mathcal{O}}_{K_0}[{\pi }_L]$. Its displacement has finite valuation, and there are only finitely many automorphisms. Iterating the finite $p$-group quotients gives that $P$ is a $p$-group. It is normal in $I$ and has prime-to-$p$ quotient, so it is its unique Sylow $p$-subgroup, justifying the wild inertia terminology.

Let $d=[L:K]$, with normalized discrete valuations $v_K,v_L$. Suppose first that $L/K$ is totally ramified, so $e(L/K)=d$. Choose a uniformizer $x$ of $L$. The elements $1,x,\dots ,x^{d-1}$ are linearly independent over $K$: the nonzero terms $c_j{x}^j$ in any proposed relation have valuations $d{v}_K(c_j)+j$, distinct modulo $d$, and a sum with a unique least valuation cannot vanish by the ultrametric inequality. Hence $[K(x):K]\ge d$, proving $L=K(x)$.

Extend $v_K$ to an algebraic closure with values in $\mathbb{Q}$. Every conjugate of $x$ has valuation $1/d$, by uniqueness of the extended valuation on finite extensions of the complete field $K$. In its monic minimal polynomial of an algebraic element $g(T)=T^d+a_{d-1}{T}^{d-1}+\cdots +a_0$, the coefficient $a_{d-j}$ is a sum of products of $j$ conjugates, counted with multiplicity. Thus $v_K(a_{d-j})\ge j/d>0$ for $j\ge 1$, so every nonleading coefficient is in ${\mathfrak{m}}_K$. The constant coefficient is the product of all $d$ conjugates, so has valuation exactly one. This proves that $g$ is an Eisenstein polynomial. This argument also works for inseparable finite extensions, since the conjugates can be counted with their multiplicities.

Conversely let $g$ be an Eisenstein polynomial of degree $d$, with root $x$ and $L=K(x)$. The Eisenstein criterion proves irreducibility. For completeness, monic factors would have integral coefficients; their reductions would be positive-degree powers of $T$, so both constant coefficients would be divisible by the uniformizer of $K$, contradicting $v_K(g(0))=1$. To determine the root valuation, put $t=v_K(x)$ in the extended valuation. If $t<0$, the leading term is the unique term of least valuation; if $t=0$, the leading term again has uniquely least valuation zero. Both are impossible. If $t>0$, every nonconstant lower term has valuation at least $1+jt>1$. Cancellation in $g(x)=0$ therefore requires the leading term and constant term to have equal valuation:Since $t=v_L(x)/e(L/K)$ and $v_L(x)$ is a positive integer, $e(L/K)=d{v}_L(x)\ge d$. The opposite inequality follows from $[L:K]=e(L/K)f(L/K)=d$. Hence $e=d$, $f=1$, and $v_L(x)=1$. We have proved both the equivalence and the uniformizer assertion:

Now take $q=p^a$ with $a\ge 1$ and $\zeta ={\zeta }_{p^a}$. The translated cyclotomic polynomial isIn characteristic $p$, putting $U=T^{p^{a-1}}$ reduces this to ${\sum }_{j=0}^{p-1}(1+U{)}^j=U^{p-1}=T^{p^{a-1}(p-1)}$. Its constant coefficient over the integers is $p$. It is therefore Eisenstein at $p$, of degree $d=p^{a-1}(p-1)$. Consequently ${\mathbb{Q}}_p({\zeta }_{p^a})/{\mathbb{Q}}_p$ is totally ramified of degree $d$, with uniformizer ${\zeta }_{p^a}-1$. If $q=1$, the field is simply ${\mathbb{Q}}_p$, a trivial totally ramified extension.

For a general positive integer $n=p^{a}m$ with $p\nmid m$, the field generated by the prime-to-$p$ root of unity ${\zeta }_m$ is unramified. Indeed $T^m-1$ has distinct roots modulo $p$. In a finite unramified field whose residue field contains those roots, Hensel lemma lifts all of them uniquely. Reduction preserves their orders: a prime-to-$p$ root reducing to one must itself be one, by Hensel uniqueness at the root one of $T^m-1$. The arithmetic Frobenius therefore acts as ${\zeta }_m\mapsto {\zeta }_m^p$, and the extension degree is the multiplicative order of $p$ modulo $m$, with degree one when $m=1$.

The identityfollows by taking powers of a primitive nth root of unity and using the coprimality of $p^a,m$ in the opposite direction. The prime-to-$p$ field is unramified and the $p$-power field is totally ramified; unramified base change preserves total ramification proves that their compositum has the same residue degree as the prime-to-$p$ field. Thus the total ramification criterion for local cyclotomic extensions gives the full classification:This includes trivial extensions when $a=0$. For $p=2$ only $m=1$ is possible.

For a finite totally ramified Galois extension $L/K$ with Galois group $G$, define its lower ramification numbering byHere $G_0$ is the inertia group, which equals $G$, and $G_1$ is the wild inertia group. For a uniformizer $\pi$ the condition is equivalent to $v_L(\sigma (\pi )-\pi )\ge i+1$. To justify this uniformizer criterion for lower ramification groups, expand every $b\in {\mathcal{O}}_L$ as a convergent series ${\sum }_{j\ge 0}{c}_j{\pi }^j$ with the coefficients $c_j$ chosen from representatives of $k_K$ in ${\mathcal{O}}_K$. Such an expansion is obtained by successive subtraction of a residue representative and division by $\pi$, since total ramification gives $k_L=k_K$. The automorphism fixes each $c_j$, and $\sigma (\pi {)}^j-{\pi }^j$ is divisible by $\sigma (\pi )-\pi$. Thus the required valuation bound for $\pi$ implies it for every $b$, including the limit by completeness.

For $L={\mathbb{Q}}_p({\zeta }_{p^a})$, all primitive conjugates lie in $L$ and the Eisenstein degree is $\phi (p^a)$. HenceIf ${\sigma }_b\ne 1$, put $s=v_p(b-1)$, so $0\le s<a$. The element ${\zeta }^{b-1}$ is a primitive $p^{a-s}$th root of unity. Applying the already proved uniformizer result to its field, and multiplying its valuation by the ramification index of $L$ over that field, givesThe identity automorphism has infinite valuation. Therefore the lower ramification filtration of a prime-power cyclotomic extension is explicitlyThe order of the middle group is $p^{a-j}$. At odd $p$, $G_0/G_1$ has order $p-1$; at $p=2$, the condition $b\equiv 1(\mathrm{mod}2)$ is automatic, so $G_0=G_1$ when $a\ge 2$. The case $p=2,a=1$ has trivial Galois group, and the displayed formula remains valid. For $a=0$ all groups are trivial. The valuation calculation also provides the upper ramification numbering, if desired, by integrating the reciprocal indices with the Herbrand function; no change of numbering is implicit in the displayed answer.

Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with Galois group $G$, normalized valuation $v_L$, integer ring ${\mathcal{O}}_L$, and residue characteristic $p$. The lower ramification numbering isThese higher ramification groups measure successively finer agreement with the identity. The group $G_0$ is the inertia group, the kernel of the action on the residue field. Each $G_i$ is normal in $G$: conjugation permutes integral elements and preserves their valuations. The groups eventually become trivial, since each nonidentity automorphism moves some integral element and its displacement has finite valuation.

Let $K_0=L^{G_0}$, the maximal unramified subextension of a local field extension. Then $G/G_0$ is the Galois group of the residue extension, cyclic and generated by a Frobenius automorphism. For a uniformizer $\pi$ of $L$, the uniformizer criterion for lower ramification groups givesTo see why one uniformizer suffices, the extension $L/K_0$ is totally ramified and its integer ring is ${\mathcal{O}}_{K_0}[\pi ]$. Elements of $G_0$ fix its coefficients. Differences of powers of $\pi$ are divisible by $\sigma \pi -\pi$, so the valuation bound for $\pi$ implies it for every integral element. The converse follows by testing $\pi$ itself.

The tame inertia quotient is seen explicitly fromIt is a homomorphism because inertia acts trivially on the residue field, and its kernel is $G_1$. Thus $G_0/G_1$ is cyclic of order not divisible by $p$. For $i\ge 1$, the homomorphismhas kernel $G_{i+1}$. Indeed composing two automorphisms adds the leading displacements, since $\sigma \pi /\pi \equiv 1$ and inertia fixes residue coefficients. Hence each $G_i/G_{i+1}$ is an elementary abelian p-group. Eventual triviality makes $G_1$ a p-group; the prime-to-p quotient makes it the unique Sylow subgroup of $G_0$. This is the wild inertia group. Tame ramification means $G_1=1$.

The filtration also measures the different exponent. For the totally ramified extension over $K_0$, the minimal polynomial of an algebraic element $g$ of $\pi$ has polynomial roots $\sigma \pi$, $\sigma \in G_0$. The derivative formula givesFor a fixed $\sigma$, its displacement valuation is the number of indices $i\ge 0$ for which it belongs to $G_i$. Interchanging the finite sums therefore gives different exponent from ramification groups:The unramified part contributes zero. More generally different in a tower follows by taking products of bases of a module dual for the trace pairing, and givesThus a tame extension has different exponent $e-1$, while nontrivial wild groups contribute additional positive terms.

The lower numbering restricts to subgroups: if $H=\mathrm{Gal}(L/E)$, its groups are $H_i=H\cap G_i$, directly from the definition using the same top-field valuation. Quotients need a different indexing. For real $s\ge 0$ put $G_s=G_{\lceil s\rceil }$ and define the Herbrand functionThis upper ramification numbering stretches or compresses intervals according to the inertia indices. The quotient theorem says that for a normal subgroup $H$, upper ramification groups commute with quotients:In particular the same upper index has a meaning compatible with passing to a smaller Galois extension, which lower indices generally lack.

For a tame totally ramified extension the picture is simple: $G_0=G$, all $G_i$ with $i\ge 1$ are trivial, and the different exponent is $|G|-1$. The extension ${\mathbb{Q}}_p({\zeta }_p)$ for odd $p$ illustrates this, giving exponent $p-2$.

A mixed-characteristic wild family is the lower ramification filtration of a prime-power cyclotomic extension. Take $L={\mathbb{Q}}_p({\zeta }_{p^r})$ with odd $p$ and $\pi ={\zeta }_{p^r}-1$. If ${\sigma }_a(\zeta )={\zeta }^a$ and $a\ne 1$ modulo $p^r$, thenThe last equality follows because ${\zeta }^{a-1}$ has order $p^{r-v_p(a-1)}$ and its uniformizer valuation scales by the ramification index in that cyclotomic tower. The lower breaks are $0,p-1,p^2-1,\dots ,p^{r-1}-1$. Integrating the successive indices $(p-1),p(p-1),\dots$ gives upper breaks $0,1,\dots ,r-1$.

In equal characteristic there is an equally explicit wild example. Start with $K={\mathbb{F}}_q((t))$ and an Artin–Schreier extensionThere is no polynomial root in $K$: a negative-valuation element has $v(x^p-x)=pv(x)$, while the right side has valuation $-m$. Adjoining a polynomial root splits the polynomial, whose polynomial roots are $y+c$ for $c\in {\mathbb{F}}_p$, so the extension is cyclic of degree $p$. The valuation equation forces total ramification, $v_L(t)=p$ and $v_L(y)=-m$. Choose $1\le b\le p-1$ with $-bm\equiv 1(\mathrm{mod}p)$ and set $a=(1+bm)/p$. Then $\pi =t^a{y}^b$ is a uniformizer. For a nonidentity automorphism $y\mapsto y+c$,the first binomial coefficient $b$ is nonzero modulo $p$, and all subsequent terms have strictly higher valuation. ThereforeThis is the ramification break of an Artin–Schreier pole. It shows concretely that wild breaks, unlike tame inertia, can occur arbitrarily far out in the filtration.

The polynomial is Eisenstein at every prime number $p$, so a polynomial root $\alpha$ generates a totally ramified cubic field $F/{\mathbb{Q}}_p$. The splitting-field Galois group is a transitive subgroup of $S_3$, hence $C_3$ or $S_3$. Its polynomial discriminant isThe product of the three polynomial root differences is a square root of $\Delta$, transformed by the sign of the polynomial root permutation. Thus the group is $C_3$ exactly when $\Delta$ is a square, and otherwise it is $S_3$. In the latter case the splitting field isIndeed adjoining one polynomial root leaves a quadratic factor, whose polynomial discriminant is $\Delta /f^{\prime }(\alpha {)}^2$, so the square root of $\Delta$ supplies its remaining polynomial roots.

Suppose first that $p>3$. The unit $-(4p+27)$ reduces to $-27$, and Hensel's lemma makes it a square exactly when $-3$ is a square modulo $p$. Quadratic reciprocity givesIf $p\equiv 1(\mathrm{mod}3)$, the field generated by $\alpha$ is already the cyclic splitting field, totally ramified of degree three. If $p\equiv 2(\mathrm{mod}3)$, the nonsquare unit gives an unramified quadratic field $E={\mathbb{Q}}_p(\sqrt{\Delta })$. Since $F$ and $E$ have coprime degrees, $[FE:{\mathbb{Q}}_p]=6$. Its residue degree is at least two and its ramification index at least three; their product is six, so they are exactly two and three. Thus its inertia group is the normal $C_3$ inside $S_3$.

In both cases the ramification index is three and is not divisible by $p$. The wild inertia group is trivial, so all positive lower groups are trivial. As a different check, $f^{\prime }(\alpha )=3{\alpha }^2+p$ has valuation two in $F$ when $p>3$, agreeing with tame different exponent $3-1$.

For $p=3$ the polynomial discriminant is $-351=-3^3\cdot 13$, which is nonsquare. Hence $G=S_3$. The quadratic subfield can be written $E={\mathbb{Q}}_3(\beta )$ with ${\beta }^2=-39$. It is ramified of degree two, by the Eisenstein polynomial $T^2+39$. Together with the totally ramified cubic field this forces $e(L/{\mathbb{Q}}_3)$ to be divisible by both two and three. Since $[L:{\mathbb{Q}}_3]=6$, the splitting field is totally ramified. In its normalized valuation,

All differences between distinct polynomial roots have the same valuation, since $S_3$ permutes the polynomial root pairs and preserves the absolute value on a field. Alsohas valuation six, so each polynomial root difference has valuation three. A nonidentity three-cycle fixes $\beta$, and thereforeThe transposition fixing $\alpha$ negates $\beta$, so sends $\pi$ to $-\pi$ and has displacement valuation $v_L(2\pi )=1$. The other transpositions have the same value by conjugacy. The uniformizer criterion now determines every group:For the wild case the different exponent is $5+2=7$. Independently, the cubic subfield has different exponent $v_F(3({\alpha }^2+1))=3$, and the quadratic extension $L/F$ is tame with exponent one. The tower formula gives $1+2\cdot 3=7$, confirming the filtration. Its positive upper break is $1/2$, because $[G_0:G_1]=2$. This completes ramification of the splitting field of X3 plus pX plus p for every odd prime number.

The filtration and its meaning. Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with group $G$, normalized valuation $v_L$, and residue fields $k_L/k_K$ of characteristic $\ell$. The lower ramification numbering isThe higher ramification groups are normal, decrease with $j$, and eventually become trivial: for each nonidentity automorphism some integral element is moved by a nonzero amount. The first group $G_0$ is the inertia group, withIts fixed field is the maximal unramified extension inside $L$. The wild inertia group is $G_1$. For a uniformizer ${\pi }_L$, there are injective homomorphismsThe kernels are the indicated next groups; the additive homomorphism assertion follows by expanding a product of automorphisms modulo ${\pi }_L^{j+2}$. These maps show that $G_0/G_1$ is cyclic of order prime to $\ell$, while $G_1$ is an $\ell$-group. Thus tame ramification is exactly the case $G_1=1$.

To calculate the groups, the uniformizer criterion for lower ramification groups saysIndeed, ${\mathcal{O}}_L$ is generated by ${\pi }_L$ over the integers of the maximal unramified subextension, which $G_0$ fixes. Differences of powers of ${\pi }_L$ are divisible by $\sigma {\pi }_L-{\pi }_L$, so the one test implies all the defining inequalities.

Eisenstein facts used in the calculations. For a complete discrete valuation ring $A$ with uniformizer $\varpi$, a monic polynomialis an Eisenstein polynomial if $\varpi \mid a_j$ for every $j<d$ and ${\varpi }^2\nmid a_0$. The Eisenstein criterion makes it irreducible. If $\theta$ is a root, its valuation relative to the base normalization is $1/d$, the extension has degree and ramification index $d$, its residue field is unchanged, andThe root valuation follows by comparing the terms of its equation. The ramification index must then be at least $d$, hence exactly $d$. In the basis $1,\theta ,\dots ,{\theta }^{d-1}$, the valuations of $b_j{\theta }^j$ are distinct modulo $d$, so an integral linear combination has every $b_j\in A$. This proves the integer-ring assertion. Conversely, a uniformizer in a totally ramified extension generates the field, and its minimal polynomial is Eisenstein; this follows from its value $1/d$, equal valuations of its conjugates, and the valuation one of its norm.

For a monogenic separable integer ring $A[\theta ]$, the different ideal is generated by $f^{\prime }(\theta )$. For a Galois extension, the different exponent from ramification groups isIn the totally ramified case these agree directly: $f^{\prime }({\pi }_L)={\prod }_{\sigma \ne 1}({\pi }_L-\sigma {\pi }_L)$, and an automorphism with displacement valuation $h$ contributes once to each of $G_0,\dots ,G_{h-1}$.

Upper numbering. Extend the lower indexing to real $s\ge 0$ by $G_s=G_{\lceil s\rceil }$, and setOn $[-1,0]$ take $\phi (s)=s$. This Herbrand function slows the indexing as the groups shrink. Lower numbering is compatible with subgroups, while upper ramification numbering is compatible with quotients: for normal $H$, $(G/H{)}^u=G^{u}H/H$. This is the fact that upper ramification groups commute with quotients. Thus upper breaks are particularly useful when comparing intermediate Galois extensions.

The eighth-root cyclotomic extension. Put $\zeta ={\zeta }_8$ and $\pi =\zeta -1$. The shifted cyclotomic polynomialis Eisenstein at two. Hence $L={\mathbb{Q}}_2(\zeta )$ is totally ramified of degree four, $v_L(2)=4$, and $\pi$ is a uniformizer. Its Galois group consists of ${\sigma }_a(\zeta )={\zeta }^a$ for $a=1,3,5,7$, and is $C_2\times C_2$.

Since $\zeta$ is a unit,For $a=3,7$, this is the valuation of $i-1$ or $-i-1$, namely two, because their squares are units times two. For $a=5$, it is $v_L(-2)=4$. The ramification groups of the eighth-root cyclotomic extension of the 2-adic field are thereforeThe lower breaks are one and three, andThus the upper breaks are one and two:The different exponent from ramification groups is $3+3+1+1=8$, agreeing with $v_L(4{\zeta }^3)=8$ from the derivative of $T^4+1$.

The cubic splitting field at three. Let ${\alpha }^3=2$, $\zeta ={\zeta }_3$, and putThe polynomialsare Eisenstein at three. They give totally ramified subextensions of degrees three and two. Their intersection is the base field, so $L={\mathbb{Q}}_3(\alpha ,\zeta )$ has degree six. Its ramification index is divisible by both three and two, hence equals six; therefore $L/{\mathbb{Q}}_3$ is totally ramified. It is the splitting field of $T^3-2$, with Galois group $S_3$.

Normalize $v_L$ so that $v_L(3)=6$. Then $v_L(\beta )=2$ and $v_L(\lambda )=3$, makinga uniformizer. Let $\sigma (\alpha )=\zeta \alpha ,\sigma (\zeta )=\zeta$ and $\tau (\alpha )=\alpha ,\tau (\zeta )={\zeta }^2$. They generate $S_3$. Since $\tau (\lambda )=(\zeta +1)\lambda$,For the order-three automorphism,Here $\alpha$ is a unit and $v_L(\zeta \alpha +1)=v_L(\sigma \beta )=2$. The same calculation gives valuation two for ${\sigma }^2$. The three transpositions are conjugate and the defining filtration is normal, so they all have displacement valuation one. The ramification groups of the splitting field of T3 minus 2 over Q3 areThe lower breaks are zero and one. Since $[G_0:G_s]=2$ for $0<s\le 1$,and the upper groups areThe different exponent from ramification groups is $5+2=7$. As an independent check, the cubic subfield has different exponent $v_{{\mathbb{Q}}_3(\alpha )}(3{\alpha }^2)=3$, and the quadratic extension above it is tame with different exponent one. Transitivity of the different ideal gives $1+2\cdot 3=7$, as required.

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.

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