# Definition:Algebraic Number over Field/Degree

Let $F$ be a field.
Let $z \in \C$ be algebraic over $F$.
The degree of $\alpha$ is the degree of the minimal polynomial $\map m x$ whose coefficients are all in $F$.