Definition:Algebraic Number/Degree

Definition
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 smallest $n$ such that $n$ is the degree of such a polynomial $P_n$.