Endliche separable Körpererweiterung/Satz vom primitiven Element/Fakt/Name/Inhalt
Sei eine endliche separable Körpererweiterung. Dann wird von einem Element erzeugt, d.h. es gibt ein mit
mit einem irreduziblen (Minimal-)Polynom .
Sei
![{\displaystyle {}L=K(f)\cong K[X]/(P)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecd2e9e0d096f88bda1f744372eff7e15258a5d1)
mit einem irreduziblen (Minimal-)Polynom ![{\displaystyle {}P\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4692e3ffcbd66e900f8975113ff3f32f1cabc21a)