\begin{definition}[Definition:Algebraic Number/Degree]
Let $\alpha$ be an algebraic number.
By definition, $\alpha$ is the root of at least one polynomial $P_n$ with rational coefficients.
The '''degree''' of $\alpha$ is the degree of the minimal polynomial $P_n$ whose coefficients are all in $\Q$.
\end{definition}