Na teoria algébrica dos números, o teorema de Kronecker-Weber estabelece que cada extensão abeliana finita do corpo dos números racionais Q {\displaystyle \mathbb {Q} }, ou em outras palavras cada corpo numérico algébrico cujo grupo de Galois sobre Q {\displaystyle \mathbb {Q} } seja abeliano, é um subcorpo de um corpo ciclotômico, ou seja, um corpo obtido ao adicionar-se uma raiz da unidade aos números racionais. Wikipedia