Extend the Kronecker–Weber theorem on abelian extensions of the rational numbers to any base number field.
