Körpererweiterung

In der abstrakten Algebra ist ein Unterkörper eines Körpers  eine Teilmenge , die 0 und 1 enthält und mit den auf eingeschränkten Verknüpfungen selbst ein Körper ist. wird dann Oberkörper von genannt. Das Paar und bezeichnet man als Körpererweiterung und schreibt es als oder , seltener als oder .