Vollkommener Körper/Körpererweiterung/Endlich erzeugt/Separabel erzeugt/Fakt
Es sei ein vollkommener Körper und eine endlich erzeugte Körpererweiterung.
Dann ist die Körpererweiterung separabel erzeugt
Es sei ein vollkommener Körper und eine endlich erzeugte Körpererweiterung.
Dann ist die Körpererweiterung separabel erzeugt