Es sei L {\displaystyle {}L} ein Körper und K ⊆ L {\displaystyle {}K\subseteq L} ein Unterkörper von L {\displaystyle {}L} . Dann heißt L {\displaystyle {}L} ein Erweiterungskörper (oder Oberkörper) von K {\displaystyle {}K} und die Inklusion K ⊆ L {\displaystyle {}K\subseteq L} heißt eine Körpererweiterung.
