Ein (algebraischer) Zahlkörper ist eine endliche (und daher algebraische) Erweiterung des Körpers der rationalen Zahlen
.
Die Untersuchung algebraischer Zahlkörper und unendlicher algebraischer Erweiterungen von
ist der zentrale Gegenstand der algebraischen Zahlentheorie.
Diese befasst sich vor allem mit den ganzen algebraischen Zahlen des betreffenden Zahlkörpers. Dabei heißt eine algebraische Zahl ganz, wenn sie Nullstelle eines normierten Polynoms mit ganzrationalen Koeffizienten ist.