Algebraic closure of $\mathbb{Q}$ in $\mathbb{C}$. Alternative proof?

Question

Let $\mathcal{A}$ be the algebraic closure of $\mathbb{Q}$ in $\mathbb{C}$. Prove that $[\mathcal{A}:\mathbb{Q}] = \infty$.

I can show this using $[\mathbb{Q}(\sqrt[n]{2}):\mathbb{Q}] = n$ for all $n \in \mathbb{N}$ and $[\mathcal{A}:\mathbb{Q}] = [\mathcal{A}:\mathbb{Q}(\sqrt[n]{2})][\mathbb{Q}(\sqrt[n]{2}):\mathbb{Q}]$. Does anyone know an alternative proof? It's just curiosity.

Answer 1

You don't need to say "the algebraic closure of $\Bbb{Q}$ in $\Bbb{C}$": (up to isomorphism) the algebraic closure of a field $k$ depends on $k$ alone and not on any embedding of $k$ in a larger field.

One alternative proof that $[{\cal A}:\Bbb{Q}] = \infty$ would be to argue that $$\Bbb{Q}[\sqrt{2}] \subseteq \Bbb{Q}[\sqrt{2},\sqrt{3}] \subseteq \Bbb{Q}[\sqrt{2},\sqrt{3}, \sqrt{5}] \subseteq \ldots$$ is a strictly increasing sequence of $\Bbb{Q}$-vector spaces.

Answer 2

If $p$ is prime, then $[\mathbb{Q}(\zeta_p):\mathbb{Q}] = p-1$, where $\zeta_p$ is a primitive $p$-th root of unity.

Therefore, $[\mathcal{A}:\mathbb{Q}] \ge p-1 \to \infty$ since there are infinitely many primes.