Körpererweiterungen

Sei $L$ ein Körper, und sei $K$ ein Unterkörper von $L$, dann heißt $L$ Erweiterungskörper) von $K$.

Die verbreitetste Schreibweise für Körpererweiterungen ist $L/K$ (nicht als Bruch, sondern nebeneinander mit Schrägstrich), manchmal findet man auch $L|K$, seltener die Schreibweise $L:K$. Einige Autoren schreiben auch lediglich $L \supset K$ und fügen in Worten an, dass es sich um eine Körpererweiterung handelt.

Die Schreibweise $L/K$ entspricht am ehesten der Sprechweise "L über K", es besteht aber eine geringe Verwechslungsgefahr mit Faktorstrukturen wie Faktorgruppen oder Faktorräumen, die ebenfalls mit einem Schrägstrich geschrieben werden. Da aber keine Bildung einer Faktorstruktur von Körpern möglich ist, ist diese Verwechslung praktisch ausgeschlossen.

Etwas allgemeiner betrachtet man auch den folgenden Fall als Körpererweiterung: Seien $K$, $K'$und $L$ Körper, $K'$ Teilkörper von $L$ und $K$ isomorph zu $K'$. Wenn es nicht zu Missverständnissen führt, identifiziert man $K$ und $K'$, und fasst so $K$ selbst als Teilkörper von $L$ auf. Dies kommt daher, dass man in der Körpertheorie isomorphe Körper häufig nicht unterscheidet, da sie sich in vielen Belangen gleich verhalten.

Ein Körper $M$ heißt Zwischenkörper der Körpererweiterung $L/K$, wenn M ein Unterkörper von $L$ und ein Oberkörper von $K$ ist, also $K \subseteq M \subseteq L$ gilt.

Ist $V$ eine Teilmenge von $L$, dann ist der Körper $K(V)$ ("$K$ adjungiert $V$") definiert als der kleinste Teilkörper von $L$, der $K$ und $V$ enthält. Er besteht aus allen Elementen von $L$, die mit endlich vielen Verknüpfungen $+,-,\cdot,/$ aus den Elementen von $K$ und $V$ gebildet werden können. Ist $L$ = $K$($V$), dann sagt man, $L$ wird von $V$ erzeugt.