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
.