Roots of unity in a p-adic field
= Roots of unity in a p-adic field
{title2=$\mu(K)$}
The roots of unity in a finite extension $K/\mathbb Q_p$ form a finite group. Each element of their prime-to-$p$ part is a <Teichmuller representative>, while any $p$-power part lies among the <principal units>.