Definition:Degree of Algebraic Element

Definition
Let $E / F$ be a field extension.

Let $\alpha \in E$ be algebraic over $F$.

The degree of $\alpha$ is the degree of the minimal polynomial $\map {\mu_F} \alpha$ whose coefficients are all in $F$.