\begin{definition}[Definition:Primitive Element of Field Extension]
Let $F / K$ be a simple field extension such that $F = K \left({\alpha}\right)$.
Then $\alpha$ is a '''primitive element''' of $F$.
\end{definition}