Definition:Algebraic Number over Field/Degree

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