The algebraic closure of a finite field has infinite dimension over that field
The algebraic closure $\overline{k}$ of any field is infinite (otherwise, $f(X) = 1 + \prod_{t\in \overline{k}}\, (X -t)$ would have no zeros); $\mathbb{F}_p$ is finite.
The algebraic closure $\overline{k}$ of any field is infinite (otherwise, $f(X) = 1 + \prod_{t\in \overline{k}}\, (X -t)$ would have no zeros); $\mathbb{F}_p$ is finite.