Kronecker–Weber theorem (source code)

= Kronecker–Weber theorem
{c}
{wiki}

Every finite abelian extension of $\mathbb Q$ is contained in a cyclotomic field.