The Kronecker-Weber theorem states that every finite abelian extension of the rational numbers is a subfield of a cyclotomic field, which is a field obtained by adjoining a root of unity to the rationals. This theorem is fundamental in algebraic number theory as it provides a complete characterization of abelian extensions, linking them to cyclotomic fields and roots of unity.