 Local Kronecker-Weber theorem

The local Kronecker-Weber theorem states that every finite abelian extension of ${\mathbb{Q}}_p$ is contained in an extension obtained by adjoining roots of unity.