October 21, 2011 Leave a comment
Last time we mentioned the idea of an algebraically closed field. This is a field which has a root to any polynomial we can write down. But what if we’re thinking about a field like or that isn’t algebraically closed? What do we do then?
Suppose we have a field . We can add elements to it until it is algebraically closed. This is called the algebraic closure of . We’ll denote it . So for instance, is not algebraically closed, because there is no solution to in . So we add . Adding gives us the complex numbers, and these are algebraically closed, so
The idea of a closure is an important one in mathematics. There are closures in topology, Galois theory, linear algebra, geometry, etc. They all have a few common properties:
- Idempotentness: This is an odd word, but it means if you apply it twice, nothing happens. For instance, the algebraic closure of an algebraically closed field is itself. What’s the algebraic closure of ? Well, I don’t need to add anything to make it algebraically closed, so it’s itself.
- The closure, in whatever context, should contain the object you started with. For instance, contains .
- Closure is monotone: If is contained in , then the closure of is contained in the closure of .
Cool. So what about ? Well, is an algebraically closed field containing , but it’s not the smallest. What is the smallest? Is there a smallest? By now you should be asking these kinds of questions: Does every field have a smallest algebraically closed extension? Does every field even have an algebraically closed extension?
These are reasonable questions, and important ones. To answer these effectively I’ll have to delve farther into ring theory than I am wiling to, so suffice it to say that every field has a unique smallest field that is an extension and algebraically closed. In my next post, I’ll give a “proof” of this fact. I put the “proof” in quotes because the proof relies on ideas in ring theory that, while they aren’t complicated, are annoying and time consuming enough to develop, that I’m going to sweep them under the rug, so to speak.