Lower ramification filtration of a prime-power cyclotomic extension ($v_L({\sigma }_a(\zeta -1)-(\zeta -1))=p^{v_p(a-1)}$)

For $L={\mathbb{Q}}_p({\zeta }_{p^n})$, the uniformiser ${\zeta }_{p^n}-1$ and the uniformizer criterion for lower ramification groups give the displayed valuation for $a\ne 1$. Thus $G_0$ is the full unit group modulo $p^n$, and $G_i$ consists of units congruent to one modulo $p^j$ when $p^{j-1}\le i\le p^j-1$, $1\le j<n$. All groups are trivial for $i\ge p^{n-1}$. The formula includes $p=2$, where the first congruence subgroup is already the full group.