En la teoría algebraica de números, el Teorema de Kronecker-Weber establece que cada extensión abeliana finita del cuerpo de los números racionales formula_1, o en otras palabras cada cuerpo de números algebraicos cuyo grupo de Galois sobre formula_1 sea abeliano, es un subcuerpo de un cuerpo ciclotómico, es decir un cuerpo obtenido al añadir una raíz de la unidad a los números racionales.