Teorema di Kronecker-Weber: differenze tra le versioni

In [[teoria dei numeri algebrica]], il '''Teorema di Kronecker–Weber''' afferma che ogni [[estensione abeliana]] finita del [[numero razionale|campo dei numeri razionali]] '''Q''', o, in altre parole,cioè ogni [[campo di numeri]] il cui [[gruppo di Galois]] su '''Q''' è abeliano, è un sottocampo di un [[campo ciclotomico]], cioè di un campo ottenuto aggiungendo delle [[radice dell'unità|radici dell'unità]] ai numeri razionali. Il teorema fu enunciato per la prima volta da [[Leopold Kronecker]] nel [[1853]], sebbene la sua dimostrazione fosse incompleta nel caso di estensioni di grado una potenza di 2.