Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Körpererweiterung.
Dann ist K ⊆ L {\displaystyle {}K\subseteq L} genau dann eine einfache Körpererweiterung, wenn es nur endlich viele Zwischenkörper K ⊆ M ⊆ L {\displaystyle {}K\subseteq M\subseteq L} gibt.
