\begin{definition}[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$.
\end{definition}