eine endliche Körpererweiterung \(\begin{eqnarray}{\mathbb{L}}\end{eqnarray}\) über einem Körper \(\begin{eqnarray}{\mathbb{K}}\end{eqnarray}\), die normal und separabel über \(\begin{eqnarray}{\mathbb{K}}\end{eqnarray}\) ist.

Dies bedeutet, daß jedes Polynom aus \(\begin{eqnarray}{\mathbb{K}}\end{eqnarray}\)[X], das eine Nullstelle in \(\begin{eqnarray}{\mathbb{L}}\end{eqnarray}\) besitzt, in \(\begin{eqnarray}{\mathbb{L}}\end{eqnarray}\)[X] vollständig in Linearfaktoren zerfällt, und daß kein Element in \(\begin{eqnarray}{\mathbb{L}}\end{eqnarray}\) Nullstelle eines irreduziblen Polynoms aus \(\begin{eqnarray}{\mathbb{K}}\end{eqnarray}\)[X] mit mehrfachen Nullstellen ist.

Die Struktur solcher Körpererweiterungen wird im Rahmen der Galois-Theorie untersucht.