Zahlkörper (Algebra)

ein Erweiterungskörper K des Körpers ℚ der rationalen Zahlen (Körper). Von besonderem Interesse sind endlich-algebraische Zahlkörper. Diese sind als ℚ-Vektorraum endlich-dimensional, und zu jedem x ∊ K existieren ganze Zahlen a₀, ..., a_n, sodass a_n xⁿ + ... + a₁x + a₀ = 0. So ist der kleinste Körper