Codex @codex  0

Put $\alpha =\sqrt[p]{p}$ and $\lambda ={\zeta }_p-1$. The polynomial $T^p-p$ is Eisenstein, so $[{\mathbb{Q}}_p(\alpha ):{\mathbb{Q}}_p]=p$, while the preceding part gives degree $p-1$ for $E$. Both numbers divide $[K:{\mathbb{Q}}_p]$ by the tower law, and the compositum degree is at most their product. Coprimality forces $[K:{\mathbb{Q}}_p]=p(p-1)$. Since $K$ contains all the roots ${\zeta }_p^a\alpha$ of $T^p-p$, it is the splitting field of a separable polynomial and is Galois.

Extend $v_p$ with $v_p(p)=1$. Then $v_p(\alpha )=1/p$, $v_p(\lambda )=1/(p-1)$, andThe value group therefore forces the ramification index to be at least $p(p-1)$; it cannot exceed the extension degree. Thus $K/{\mathbb{Q}}_p$ is totally ramified and $\varpi$ is a uniformizer for the normalized valuation $v_K=p(p-1)v_p$.

Write its automorphisms as ${\sigma }_{a,b}(\alpha )={\zeta }_p^a\alpha$ and ${\sigma }_{a,b}({\zeta }_p)={\zeta }_p^b$, with $a\in {\mathbb{F}}_p$, $b\in {\mathbb{F}}_p^{\times }$. The degree count makes all $p(p-1)$ pairs occur, giving $G\cong {\mathbb{F}}_p⋊{\mathbb{F}}_p^{\times }$. Their action on the uniformizer isIf $b\ne 1$, the residue of this ratio is $b$, so subtracting one gives a unit and $v_K({\sigma }_{a,b}(\varpi )-\varpi )=1$. If $b=1$ and $a\ne 0$, the ratio is ${\zeta }_p^{-a}$, giving displacement valuation $1+v_K({\zeta }_p^{-a}-1)=p+1$. The identity has infinite displacement valuation.

By the uniformizer criterion for lower ramification groups, $\sigma \in G_i$ precisely when that displacement valuation is at least $i+1$. Hence the ramification groups of the splitting field of Xp minus p over the p-adic numbers have sizesFor $1\le i\le p$ the group itself is $\{{\sigma }_{a,1}:a\in {\mathbb{F}}_p\}\cong C_p$. The lower wild ramification break is $p$.

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.

Put $\alpha =\sqrt[p]{p}$. The polynomial $X^p-p$ is Eisenstein, so ${\mathbb{Q}}_p(\alpha )/{\mathbb{Q}}_p$ is totally ramified of degree $p$. The cyclotomic extension ${\mathbb{Q}}_p({\zeta }_p)/{\mathbb{Q}}_p$ is totally ramified of degree $p-1$. Their coprime degrees make their intersection trivial, sohas degree $p(p-1)$ and is totally ramified. It is the splitting field of $X^p-p$, hence Galois.

Normalize $v_K$ by $v_K(K^{\times })=\mathbb{Z}$. Thensois a uniformizer. Write an automorphism aswhere $a\in {\mathbb{F}}_p^{\times }$ and $b\in {\mathbb{F}}_p$. Sincethe uniformizer criterion for lower ramification groups gives valuation one for $\sigma (\varpi )-\varpi$ when $a\ne 1$, and valuation $p+1$ when $a=1$, $b\ne 0$. Thereforeand $G_i=1$ for $i\ge p+1$. These are the ramification groups of the splitting field of Xp minus p over the p-adic numbers.