Non-trivial example of algebraically closed fields
I'm beginning an introductory course on Galois Theory and we've just started to talk about algebraic closed fields and extensions.
The typical example of algebraically closed fields is $\mathbb{C}$ and the typical non-examples are $\mathbb{R}, \mathbb{Q}$ and arbitrary finite fields.
I'm trying to find some explicit, non-typical example of algebraically closed fields, but it seems like a complicated task. Any ideas?
Solution 1:
Another concrete example is given by Puiseux's theorem:
If $K$ is an algebraically closed field of characteristic $0$, the field $K\langle\langle X\rangle\rangle$ of Puiseux's series is an algebraic closure of the field of formal power series $K((X))$.
Note:
$K\langle\langle X\rangle\rangle=\displaystyle\bigcup_{n\ge1}K((X^{1/n}))$
Solution 2:
You can start with $\Bbb Q$ and take its algebraic closure $\bar{\Bbb Q}\subsetneq\Bbb C$ and you get an algebraically closed subfield of $\Bbb C$ that's much much smaller than $\Bbb C$ (countable versus uncountable). Then you can add any transcendental to it like $\pi$ and you can take the algebraic closure of that $\overline{\bar{\Bbb Q}(\pi)}$. So you can produce infinitely many algebraically closed subsets of $\Bbb C$ in this way. What makes $\Bbb C$ special is not just that it's algebraically closed but that it's also complete.
Other examples are the p-adic fields which have complete and algebraically closed extensions which are very different from $\Bbb C$.