Algebraisch abgeschlossen
In der abstrakten_Algebra heißt ein Körper algebraisch abgeschlossen, wenn jedes nicht konstante Polynom in einer Variablen mit Koeffizienten in eine Nullstelle in hat. Folgende Eigenschaften sind äquivalent:* ist algebraisch abgeschlossen
* jedes Polynom zerfällt über in Linearfaktoren
* die irreduziblen Polynome in sind genau diejenigen vom Grad
* für jede algebraische Erweiterung gilt
* für jede natürliche Zahl hat jeder Endomorphismus von einen Eigenvektor
Beispielsweise ist der Körper der reellen_Zahlen nicht algebraisch abgeschlossen, denn das Polynom hat in keine Nullstelle. Der Körper der komplexen_Zahlen dagegen ist algebraisch abgeschlossen; diese Aussage bildet den Fundamentalsatz der Algebra. Der Körper der algebraischen_Zahlen über ist trivialerweise algebraisch abgeschlossen. Es gibt keinen endlichen algebraisch abgeschlossenen Körper, denn ist , so ist mit dem Satz von Lagrange identisch und hat somit keine Nullstelle in .
Ist ein Körper nicht algebraisch abgeschlossen, dann kann man ihm formal die Nullstellen von Polynomen über diesem Körper hinzufügen, und unter Verwendung des Lemma von Zorn einen algebraischen_Abschluss dieses Körpers konstruieren.

