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