Eine Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} heißt auflösbar, wenn es eine Radikalerweiterung K ⊆ M {\displaystyle {}K\subseteq M} mit L ⊆ M {\displaystyle {}L\subseteq M} gibt.