If we have the field extension $\Bbb{R}:\Bbb{Q}$, we define the set $$\Bbb{R} ^{\text{alg}}:=\{a\in \Bbb{R}: a \text{ is algebraic over }\Bbb{Q} \}$$ We want to show that $\Bbb{R}^{\text{alg}}$ is a subfield of $\Bbb{R}$ and find the $[\Bbb{R} ^{\text{alg}}:\Bbb{Q}]$.
Answer:
If we consider that $a,b\in \Bbb{R} ^{\text{alg}} \iff a,b$ are algebraic over $\Bbb{Q} $, we have that the extension $\Bbb{Q}(a,b):\Bbb{Q}$ is algebraic over $\Bbb{Q}$. We know that $\Bbb{Q}(a,b)$ is a field, so $a-b\in \Bbb{Q}(a,b)$ and if $b\neq 0,\ ab^{-1} \in \Bbb{Q}(a,b)$, and from the previous observation are algebraic. So, $a-b,\ ab^{-1} \in \Bbb{R}^{\text{alg}}$. And this means $\Bbb{R}^{\text{alg}} \leq\mathbb{R}$.
Right? And how can we find the $[\Bbb{R} ^{\text{alg}}:\Bbb{Q}]$?
Thank you in advance.