Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 24 (Local Fields)

Two absolute values on a field are equivalent absolute values when they induce the same topology. For nontrivial absolute values on a field this is equivalent tofor a fixed real number $c>0$. The trivial absolute value is equivalent only to itself.

Restriction of a Non-Archimedean absolute value plainly preserves the ultrametric inequality. Conversely, if the restriction is non-Archimedean, every integer, interpreted in either field, has absolute value on a field at most one. In particular every binomial coefficient has absolute value on a field at most one. The triangle inequality applied to the binomial expansion gives, for $x,y\in L$ and every positive integer $N$,Raise both sides to the power $1/N$ and let $N\to \infty$. Since $(N+1{)}^{1/N}\to 1$, this yieldsThis is the bounded-integer criterion for a non-Archimedean absolute value. The proof works for arbitrary field extensions, not just algebraic ones, and in positive characteristic as well.

First include the trivial absolute value if that convention is allowed. For a nontrivial Non-Archimedean absolute value on $\mathbb{Q}$, every integer has absolute value on a field at most one, and some nonzero integer has absolute value on a field less than one: otherwise every nonzero rational number, being a quotient of two integers, would have absolute value on a field one. Factoring that integer shows that some prime number $p$ has $|p|<1$.

There cannot be two such prime numbers. If $|p|<1$ and $|q|<1$ for distinct prime numbers, choose integers $a,b$ with $ap+bq=1$. Then the ultrametric inequality givesEvery other prime number therefore has absolute value on a field one. Factoring numerator and denominator of a rational number givesThus the nontrivial equivalence classes are precisely the p-adic absolute values, one for each prime number.

Now let $F$ be a number field, with ring of integers of a number field $A$. If the restriction of an absolute value on a field to $\mathbb{Q}$ is trivial, a monic polynomial over $\mathbb{Q}$ satisfied by $x\in F$ forces $|x|\le 1$: if $|x|>1$, its leading term would strictly dominate the other terms. Applying the same argument to $x^{-1}$ forces $|x|=1$ for $x\ne 0$. Thus a nontrivial absolute value on a field defined on $F$ has a nontrivial restriction, associated with some prime number $p$.

Every $a\in A$ has $|a|\le 1$, by applying the same leading-term argument to its monic integral equation. Consequentlyis a proper prime ideal: it is an ideal by the ultrametric inequality, and $|ab|<1$ with $|a|,|b|\le 1$ implies that at least one factor has absolute value on a field less than one. It is nonzero because it contains $p$.

The localization $A_{\mathfrak{p}}$ lies in the valuation ring of the absolute value on a field: a denominator outside $\mathfrak{p}$ has absolute value on a field one. Since $A$ is a Dedekind domain, $A_{\mathfrak{p}}$ is a discrete valuation ring. Choose its uniformizer $\pi$. Each $x\in F^{\times }$ has a unique expressionBoth $u$ and $u^{-1}$ lie in the valuation ring, so $|u|=1$. Also $\pi$ belongs to its maximal ideal, hence $|\pi |<1$. Therefore $|x|=|\pi {|}^{v_{\mathfrak{p}}(x)}$.

Conversely each nonzero prime ideal of $A$ gives the Non-Archimedean absolute value $|x|=c^{v_{\mathfrak{p}}(x)}$ for any $0<c<1$, using the discrete valuation of $A_{\mathfrak{p}}$. All choices of $c$ are equivalent, and different prime ideals are distinguished by the elements of $A$ having absolute value on a field less than one. We have proved Non-Archimedean absolute values on a number field:The trivial class is additional when trivial absolute values on a field are admitted.

An extending absolute value on a field is non-Archimedean by Question 1(a). We prove finite-dimensional non-Archimedean norm equivalence over a complete field, using completeness rather than local compactness.

Fix a basis $e_1,\dots ,e_d$ of a finite-dimensional vector space over $K$, and let $\Vert \cdot \Vert$ be a norm homogeneous for the given absolute value on a field and satisfying the ultrametric inequality. Write $\Vert \sum a_i{e}_i{\Vert }_0={\max }_i|a_i|$. The upper boundis immediate. For the lower bound use induction on $d$. The one-dimensional case is homogeneity. For the induction step, the span $W$ of $e_1,\dots ,e_{d-1}$ is complete for its restricted norm by the induction comparison with the coordinate norm and completeness of $K$. A complete vector subspace of a metric space is closed, soFor $v=w+a{e}_d$ with $a\ne 0$, scaling by $a$ gives $\Vert v\Vert \ge |a|\delta$; the same coefficient bound is trivial when $a=0$. AlsoThe induction bound controls every coordinate of $w$ by a constant times $\Vert w\Vert$. Together with the bound on $a$, this proves $\Vert v{\Vert }_0\le C^{\prime }\Vert v\Vert$.

Two extending absolute values on a field on $L$ are norms of this kind on its finite-dimensional vector space over $K$. Hence there is $B>0$ with $|x{|}_2\le B|x{|}_1$ for every $x\in L$. Apply this to $x^N$ and use multiplicativity:Letting $N\to \infty$ gives $|x{|}_2\le |x{|}_1$. Interchanging the two norms gives equality. ThusThe proof covers the trivial base absolute value on a field too. It proves uniqueness, without assuming an existence theorem or compactness of the coordinate sphere $\{v:\Vert v{\Vert }_0=1\}$.

False. This is an example of integral trace need not imply integrality. Take $K={\mathbb{Q}}_p(\theta )$ with ${\theta }^2=p$, the splitting field of $X^2-p$. Its two conjugates are $\theta ,-\theta$, and its normalized discrete valuation satisfies $v_K(\theta )=1$, $v_K(p)=2$, by the Eisenstein polynomial criterion. Forthe field trace is zero, but $v_K(x)=-1$. Therefore $x$ is not in the valuation ring, despite having integral field trace. Cancellation in a sum of conjugates explains why a field trace test fails.

True. Each element of the Galois group preserves the extending absolute value on a field, because composing it with that absolute value on a field gives another extension, equal to the original by part (a). Thus all conjugates of $x$ have the same absolute value on a field. Writing $d=[K:{\mathbb{Q}}_p]$, the field norm givesA unit field norm has absolute value on a field one, forcing $|x|=1$. This means both $x$ and $x^{-1}$ are in the valuation ring, so $x$ is a unit.

Equivalently, with normalized discrete valuations and residue degree $f$,This is unit norm detects units in a local extension.

True. Put $H=\mathrm{Gal}(K/{\mathbb{Q}}_p(\beta ))$. Every $\sigma \in H$ fixes $\beta$, permutes the polynomial's polynomial roots, and is an isometry by the uniqueness proved in part (a). ThereforeThe strict inequalities single out ${\alpha }_1$ as the unique closest polynomial root, so $\sigma ({\alpha }_1)={\alpha }_1$ for every $\sigma \in H$. The Fundamental theorem of Galois theory then givesThis closest-root descent in a Galois extension is the relevant form of Krasner's lemma. If polynomial roots repeat, the strict hypothesis excludes a second occurrence of ${\alpha }_1$; otherwise the same argument applies unchanged.

False. Use the polynomial $X(X^2-p)$, with splitting field $K={\mathbb{Q}}_p(\theta )$, ${\theta }^2=p$, and label the polynomial roots $0,\theta ,-\theta$. Take $\beta =p\theta$. ThenBoth $p-1$ and $p+1$ are p-adic units, also when $p=2$. Hence zero is the uniquely closest polynomial root, but $\beta \notin {\mathbb{Q}}_p(0)={\mathbb{Q}}_p$, because $\theta \notin {\mathbb{Q}}_p$. The polynomial need not be irreducible in the given setup. The inclusion established by Krasner's lemma goes in the direction in part (iii), not its converse.

Use the strong form of Hensel lemma: for $f\in {\mathbb{Z}}_p[T]$ and $a\in {\mathbb{Z}}_p$, ifthere is a unique polynomial root $b$ in the ball $v_p(b-a)>v_p(f^{\prime }(a))$. In particular, a simple polynomial root modulo $p$ lifts uniquely in its residue class. Newton iteration gives $v_p(b-a)=v_p(f(a))-v_p(f^{\prime }(a))$ when $f(a)\ne 0$.

For odd $p\notin \{5,7,13\}$, the setseach have $(p+1)/2$ elements, so they intersect. This gives a zero modulo $p$ with $z=1$. The derivative with respect to $z$ is $26$, nonzero modulo $p$, so Hensel's lemma lifts $z$ while holding $x,y$ fixed. This is the elementary proof of isotropy of nondegenerate ternary quadratic forms over finite fields followed by a simple-root lift.

At $p=5$, the residue vector $(0,1,1)$ is a zero, and the derivative $14y$ is nonzero. At $p=13$, use $(3,1,0)$, for which the value is 52 and the derivative $10x=30$ is nonzero modulo 13. Again a single-variable Hensel lift suffices.

At $p=2$, hold $x=2,z=1$ and use $f(Y)=7Y^2+33$. At $Y=1$, $f(1)=40$ has valuation 3, while $f^{\prime }(1)=14$ has valuation 1. Since $3>2$, the strong Hensel inequality gives a polynomial root $y\in {\mathbb{Z}}_2$, indeed $y\equiv 1(\mathrm{mod}4)$. This yields a nonzero solution.

At $p=7$, suppose a nonzero solution exists and scale it so that all coordinates are in ${\mathbb{Z}}_7$ and at least one is a unit. Reduction modulo 7 gives $z^2=5x^2$. Since 5 is not a square modulo 7, both $x,z$ are divisible by 7. In the original equation their terms are then divisible by 49, so $7y^2$ is divisible by 49 as well, forcing $y$ divisible by 7. This contradicts the normalization. Thus local isotropy of the five seven thirteen form gives

The intended statement uses a nontrivial Non-Archimedean absolute value. Under that convention choose $t$ with $0<|t|<1$. A compact neighborhood $C$ of zero contains an open ball of some radius $r>0$. For sufficiently large $N$, $t^N{\mathcal{O}}_K$ is contained in that ball. The valuation ring is closed, so $t^N{\mathcal{O}}_K$ is a closed subset of $C$ and is compact. Scaling shows that ${\mathcal{O}}_K$ itself is compact.

Its maximal ideal $\mathfrak{m}=\{x:|x|<1\}$ is open. The residue field $k={\mathcal{O}}_K/\mathfrak{m}$ is therefore discrete and compact, hence finite: the open cover by its singleton sets has a finite subcover. Since $\mathfrak{m}$ has finite index, its complement is a finite union of open cosets. Thus $\mathfrak{m}$ is also closed and compact.

The continuous absolute value on a field attains its maximum on $\mathfrak{m}$. Nontriviality supplies a nonzero element there, so this maximum is $\rho =|\pi |$ for some $\pi \ne 0$, with $0<\rho <1$. If $x\in \mathfrak{m}$, then $|x/\pi |\le 1$, so $\mathfrak{m}=\pi {\mathcal{O}}_K$.

For arbitrary $x\ne 0$, choose the integer $n$ for which ${\rho }^{n+1}<|x|\le {\rho }^n$. Then $\rho <|x/{\pi }^n|\le 1$. This element cannot lie in $\mathfrak{m}$, by maximality of $\rho$, so its absolute value on a field is one. Therefore $|x|={\rho }^n$. This proves discrete valuation from nontrivial local compactness:

The nontrivial valuation in the local compactness criterion is essential. If the trivial absolute value is admitted, the displayed source claim is false: take $\mathbb{Q}$ with that absolute value on a field. It is complete and discrete, hence locally compact, but its valuation ring and residue field are both $\mathbb{Q}$, which is infinite. The intended nontrivial case has been proved above.

A local field is nondiscrete and locally compact. In the non-Archimedean case its valuation ring is compact by the scaling argument in part (b). Any Cauchy sequence has a tail in a translate of a compact ball, so has a convergent subsequence; the Cauchy property forces the whole sequence to converge. Thus the field is complete. Part (b) gives a discrete valuation, a uniformizer $\pi$, and a finite residue field $k={\mathbb{F}}_q$, $q=p^f$.

We construct the coefficient field rather than presuming it exists. The polynomial $T^q-T$ has derivative $-1$ in characteristic $p$. Every residue element therefore has a unique polynomial root lift by Hensel's lemma. The set $S$ of these $q$ lifts is a field: qth powers preserve addition and multiplication, so sums and products remain polynomial root lifts; a nonzero lift has inverse $a^{q-2}$. Reduction identifies $S$ with ${\mathbb{F}}_q$. This is the finite coefficient field in positive-characteristic local fields.

For $x\in {\mathcal{O}}_K$, choose $a_0\in S$ with the same residue, write $x=a_0+\pi x_1$, and repeat with $x_1\in {\mathcal{O}}_K$. Completeness givesThe first nonzero coefficient determines the valuation, so the expansion is unique. Multiplying an arbitrary field element by a suitable power of $\pi$ reduces it to this case. Consequently substitution $T\mapsto \pi$ gives a valued-field isomorphismAddition and multiplication agree with those of Laurent series by convergence, and a nonzero series has a nonzero leading coefficient, establishing injectivity as well as surjectivity.

Conversely, ${\mathbb{F}}_q((T))$ is complete for its T-adic absolute value on a field. Its valuation ring ${\mathbb{F}}_q[[T]]$ is compact: fixing finitely many coefficients gives the finite partitions into balls, and the successive coefficient choices realize the inverse limit of the finite rings ${\mathbb{F}}_q[T]/(T^n)$. Equivalently it is the product of countably many finite discrete coefficient sets. Thus it is a non-Archimedean local field. Distinct $q$ give nonisomorphic valued fields because their residue fields have different sizes. Replacing $|T|$ by any number in $(0,1)$ gives an equivalent absolute value on a field.

Put $f=[k_L:k]$. For an unramified extension the ramification index is one and $[L:K]=f$. The residue $\bar{\alpha }$ has degree $f$ over $k$. Thus $1,\alpha ,\dots ,{\alpha }^{f-1}$ are linearly independent over $K$: a nonzero linear dependence can be divided by a coefficient of least valuation and reduced to a nonzero relation among the reduced powers. Hence $[K(\alpha ):K]\ge f=[L:K]$, and $\alpha$ generates $L$.

The same argument gives the integral statement, which is stronger than merely generating the field. WriteIf $m={\min }_j{v}_K(c_j)$, divide by ${\pi }_K^m$. Since ${\pi }_K$ remains a uniformizer in the unramified extension and the reduced powers form a basis of $k_L/k$, the resulting sum has nonzero residue. Therefore $v_L(x)=m$. In particular $x$ is integral if and only if every coefficient is integral. This proves unramified residue generator integral basis:

For the finite separable field extension define the inverse different, or codifferent, byIt is a fractional ideal of ${\mathcal{O}}_L$. The different ideal is its inverse fractional ideal.

Suppose the integer ring is generated by $\alpha$, with monic minimal polynomial of an algebraic element $g$ of degree $d$. We prove the derivative formula using the coefficient pairing for a monogenic algebra. If ${\alpha }_1,\dots ,{\alpha }_d$ are its distinct conjugate polynomial roots, Lagrange interpolation for a polynomial $h$ of degree less than $d$ givesComparing coefficients of $T^{d-1}$ yieldsFor any integral polynomial, first reduce modulo $g$; the coefficients stay integral because $g$ is monic over ${\mathcal{O}}_K$.

It follows that $g^{\prime }(\alpha {)}^{-1}{\mathcal{O}}_L$ lies in the codifferent. To prove equality, consider the matrixAll entries are integral. Entries with $i+j<d-1$ are zero, and those with $i+j=d-1$ are one. Reversing the column order makes the matrix triangular with diagonal ones; thus its determinant is a unit of ${\mathcal{O}}_K$.

Write an arbitrary $x\in L$ as $x=g^{\prime }(\alpha {)}^{-1}{\sum }_j{b}_j{\alpha }^j$ with $b_j\in K$. Membership in the codifferent says $A(b_j{)}_j\in {\mathcal{O}}_K^d$. Since $A$ is invertible over ${\mathcal{O}}_K$, this forces every $b_j$ integral. ThereforeSeparability ensures that $g^{\prime }(\alpha )\ne 0$; the trace pairing calculation also proves that no extra factor has been overlooked.

For $L={\mathbb{Q}}_p({\zeta }_p)$, put $\pi ={\zeta }_p-1$. The polynomialis Eisenstein at $p$. It gives $[L:{\mathbb{Q}}_p]=e=p-1$, total ramification, and $v_L(\pi )=1$. Also ${\mathcal{O}}_L={\mathbb{Z}}_p[\pi ]$: in the power basis, terms $c_i{\pi }^i$ have valuations $(p-1)v_p(c_i)+i$ in different residue classes modulo $p-1$, so cannot cancel at the minimum. Integrality forces all $c_i$ integral.

Use part (b) with ${\Phi }_p(T)$ and differentiate the quotient at ${\zeta }_p$:The root of unity is a unit, while $v_L(p)=p-1$ and $v_L(\pi )=1$. Hence the cyclotomic local different exponent isThis includes $p=2$: that extension is trivial and the exponent is zero.

For $m=p^2-1$, construct an unramified quadratic extension $E/{\mathbb{Q}}_p$ by lifting an irreducible quadratic polynomial over ${\mathbb{F}}_p$. Its residue field is ${\mathbb{F}}_{p^2}$. Each of its nonzero residue elements is a simple polynomial root of $T^m-1$, so Hensel's lemma lifts all $m$ polynomial roots into $E$. A primitive residue element lifts to a primitive mth polynomial root: its reduction already has order $m$, and its mth power is one.

Such a primitive polynomial root cannot generate a proper subfield of $E$, since its residue has order $p^2-1>p-1$ and therefore generates the quadratic residue extension. Thus ${\mathbb{Q}}_p({\zeta }_m)=E$ is unramified of degree two. Part (a) gives ${\mathcal{O}}_E={\mathbb{Z}}_p[{\zeta }_m]$. The reduced minimal polynomial of an algebraic element has degree two and is separable, so its derivative at ${\zeta }_m$ is a unit. Part (b) givesBoth answers use normalized discrete valuations on the top field.

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.