Endliche separable Körpererweiterung/Satz vom primitiven Element/Fakt

Der Satz vom primitiven Element

Sei eine endliche separable Körpererweiterung. Dann wird von einem Element erzeugt, d.h. es gibt ein mit

mit einem irreduziblen (Minimal-)Polynom .