# Definition:Degree of Algebraic Element

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$.