Montrer que $\alpha \in \mathbb{C}$ est algébrique si et seulement si $\mathbb{Q}[\alpha]$ est une $\mathbb{Q}$-algèbre de dimension finie. Montrer que l'ensemble $\overline{\mathbb{Q}}$ des nombres algébriques est un sous-corps de $\mathbb{C}$.