Definition:Primitive Element of Field Extension

Definition
Let $F / K$ be a simple field extension such that $F = K \left({\alpha}\right)$.

Then $\alpha$ is a primitive element of $F$.