Lubin–Tate cyclotomic example (${\mathbb{Q}}_p({\mu }_{p^n})$)

For $K={\mathbb{Q}}_p$ and $\pi =p$, choose the Lubin–Tate series $f(T)=(1+T{)}^p-1$. The associated formal group law is the formal multiplicative group. Its torsion points are $\zeta -1$ for ${\zeta }^{p^n}=1$, so its Lubin–Tate extension is the cyclotomic extension of a p-adic field ${\mathbb{Q}}_p({\mu }_{p^n})$. The Galois action $\zeta \mapsto {\zeta }^a$ gives $(\mathbb{Z}/p^n\mathbb{Z}{)}^{\times }$, including the trivial first layer when $p=2$.