Principal-unit group of a mixed-characteristic local field ($1+{\mathfrak{m}}_K$)

If $K/{\mathbb{Q}}_p$ is finite of degree $d$, then as a topological abelian groupwhere ${\mu }_{p^a}(K)$ is the finite group of all roots of unity in $K$ whose orders are prime powers dividing a power of $p$.