Primitive Element Theorem

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $E/F$ be a separable field extension of finite degree.


Then $E/F$ is simple: there exists $\alpha\in E$ such that $E=F(\alpha)$.


Proof