Local Kronecker-Weber theorem (source code)

= Local Kronecker-Weber theorem
{c}

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.