12
$\begingroup$

Obviously this question is a little open-ended.

A lot of complex analysis seems to work primarily because we can view $\mathbb{C}$ as a finite-dimensional $\mathbb{R}$-algebra, and apply analytic and geometric ideas which work only (or at least best) in finite-dimensional real space.

When we consider most other fields that we come across in practice (for instance, $\mathbb{F}_q$,$\mathbb{Q}_p$, or $\mathbb{Q}$) generally their algebraic closures are infinite-dimensional extensions.

Is there any intuitive reason why the way we construct $\mathbb{R}$ would suggest that we were producing a field whose algebraic closure was a finite-dimensional extension? Does such a construction generalize to other fields in any way?

$\endgroup$
  • 4
    $\begingroup$ For one thing, any polynomial of odd degree has a real root... $\endgroup$ – Grigory M Dec 25 '13 at 10:50
  • $\begingroup$ Yeah, but if that's the only possible answer then the question is somewhat hopeless, since it doesn't seem like there's a way to generalize the IVT to other fields. I was hoping there was a more algebraic explanation. (Assuming that the only proof of that is to observe that an odd-degree function goes to $+\infty$ at one end and $-\infty$ at the other and apply the IVT.) $\endgroup$ – Daniel McLaury Dec 25 '13 at 10:51
  • 6
    $\begingroup$ Check theorem 3.1 in this article math.uconn.edu/~kconrad/blurbs/galoistheory/artinschreier.pdf $\endgroup$ – omar Dec 25 '13 at 10:55
  • 1
    $\begingroup$ @omar That's more or less the reply I was typing :-) (Related question @ MO: mathoverflow.net/q/8756 ) $\endgroup$ – Grigory M Dec 25 '13 at 10:56
  • 1
    $\begingroup$ I wonder if there is any proof that $[\mathbb C : \mathbb R] < \infty$ that does not also prove $[\mathbb C : \mathbb R] = 2$ $\endgroup$ – GEdgar Dec 25 '13 at 14:27
9
$\begingroup$

I can't give you an "intuitive" reason why $\Bbb C$ is a finite dimensional $\Bbb R$-algebra, but I can point you toward a generalization of this fact : $\Bbb R$ is a real closed field, and if $F$ is any real closed field, then $F[\sqrt{-1}]$ is algebraically closed.

EDIT As @omar, @Grigory and @Hurkyl pointed out in the comment section, the relevant material is the Artin-Schreier theorem.

$\endgroup$
  • $\begingroup$ Given the comments, I want the Artin-Schreier theorem (which is the provides the converse of what you've said here) as part of any answer I accept. Looks like the people who mentioned it in the comments aren't going to put up an answer; want to add it to yours? $\endgroup$ – Daniel McLaury Dec 25 '13 at 14:59
  • 1
    $\begingroup$ Ok, I'll add it. Since I was unaware of the Artin-Schreier theorem, I made my answer community wiki. You can accept it if you like. $\endgroup$ – Olivier Bégassat Dec 25 '13 at 18:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.