|
In der Algebra heißt eine Körpererweiterung L/K algebraisch, wenn jedes Element von L
algebraisch über K ist, d.h. wenn jedes Element von L
Nullstelle eines Polynoms mit Koeffizienten in K ist. Körpererweiterungen, die nicht algebraisch sind, also transzendente Elemente enthalten, heißen
transzendent.
Zum Beispiel sind die Erweiterungen C/R und Q(?2)/Q
algebraisch, während R/Q transzendent ist.
Ist L ein Oberkörper von K, dann kann man L als K-Vektorraum auffassen und seine Dimension bestimmen. Diese Vektorraumdimension wird Grad der Körpererweiterung
genannt. Je nachdem, ob dieser Grad endlich oder unendlich ist, teilt man Körpererweiterungen in endliche
Erweiterungen und unendliche Erweiterungen ein. Jede transzendente
Erweiterung ist unendlich, daraus folgt dass jede endliche Erweiterung algebraisch ist.
Es gibt aber auch unendliche algebraische Erweiterungen, zum Beispiel bilden die algebraischen Zahlen eine unendliche Erweiterung von Q.
Ist a algebraisch über K, dann ist der Ring K[a] aller Polynome in a über
K sogar ein Körper. K[a] ist eine endliche algebraische Erweiterung von K. Solche
Erweiterungen, die durch Adjunktion
eines einzigen Elements entstehen, heißt einfache Erweiterungen.
Ein Körper, der keine echte algebraische Erweiterung besitzt, ist algebraisch abgeschlossen.
|