Definition:Primitive Element of Field Extension

Definition
Let $F / K$ be a simple field extension such that $F = \map K \alpha$.

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

Also see

 * Primitive Element Theorem