In teoria algebrica dei numeri, il teorema di Kronecker–Weber afferma che ogni estensione abeliana finita del campo dei numeri razionali Q {\displaystyle \mathbb {Q} }, cioè ogni campo di numeri il cui gruppo di Galois su Q {\displaystyle \mathbb {Q} } è abeliano, è un sottocampo di un campo ciclotomico, cioè di un campo ottenuto aggiungendo delle radici dell'unità ai numeri razionali. Wikipedia