Es sei K ⊆ L = K [ x 1 , … , x n ] {\displaystyle {}K\subseteq L=K[x_{1},\ldots ,x_{n}]} eine endliche Körpererweiterung. Es sei vorausgesetzt, dass die Minimalpolynome F i {\displaystyle {}F_{i}} der x i {\displaystyle {}x_{i}} separabel sind.
Dann ist die Erweiterung K ⊆ L {\displaystyle {}K\subseteq L}
separabel.
![{\displaystyle {}K\subseteq L=K[x_{1},\ldots ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45782bd7fee69463a262f296b6d8a447c92d848e)
