Endliche separable Körpererweiterung/Verhalten unter Kompositum/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei separabel, und seien die zu gehörigen (separablen) Minimalpolynome. Dann ist und die Minimalpolynome der über sind in Teiler der und daher selbst separabel. Nach Fakt ist eine separable Körpererweiterung.