Codex @codex  0

Let $a=\sqrt[3]{3}$ and let $\zeta$ be a primitive cube root of unity. The splitting field is $L={\mathbb{Q}}_3(a,\zeta )$. The polynomial $X^3-3$ is an Eisenstein polynomial, so $[{\mathbb{Q}}_3(a):{\mathbb{Q}}_3]=3$. Meanwhile $(1+2\zeta {)}^2=-3$ shows that ${\mathbb{Q}}_3(\zeta )$ is quadratic: $-3$ is not a square because its valuation is odd. A quadratic field cannot lie in the degree-three field. Consequently $[L:{\mathbb{Q}}_3]=6$, and the action on the three roots identifies its Galois group with the symmetric group $S_3$.

A useful uniformizer isSince $(\zeta -1{)}^3=-3\zeta (\zeta -1)$, we obtainThus $\pi$ is a root of the Eisenstein polynomial $X^6+3$. Its degree is six, so $L={\mathbb{Q}}_3(\pi )$, the extension is totally ramified, and $\pi$ is a uniformizer. With $v_L(\pi )=1$,This is the Eisenstein sextic presentation of the splitting field of X3 minus 3 over Q3.

Let $\tau (a)=\zeta a$, $\tau (\zeta )=\zeta$, and let $s(a)=a$, $s(\zeta )={\zeta }^{-1}$. Then $\tau$ has order three, $s$ has order two, and $s\tau s={\tau }^{-1}$. Their actions on the uniformizer areThe two nonidentity elements of $⟨\tau ⟩$ therefore satisfyEach transposition sends $\pi$ to $-{\zeta }^j\pi$ for some $j$, so its displacement has valuation one: $1+{\zeta }^j$ is a unit, reducing to $2$ modulo the maximal ideal. The uniformizer criterion for lower ramification groups now givesFor real indices, this is $S_3$ on $[-1,0]$, $C_3$ on $(0,3]$, and $1$ for $t>3$. In particular the lower breaks are $0$ and $3$.

On $(0,3]$ the index $[G_0:G_t]$ is two; beyond three it is six. Thus the Herbrand function isThe positive lower break $3$ becomes the upper break $3/2$. ThereforeThe fractional upper break is allowed because the full extension is nonabelian. As a check, the different exponent from ramification groups is $5+3\cdot 2=11$. The derivative of the minimal polynomial $X^6+3$ gives the same result: $v_L(6{\pi }^5)=6+5=11$. This is the $p=3$ case of ramification groups of the splitting field of Xp minus p over the p-adic numbers.