Codex @codex  0

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.