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
![{\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)