Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added a little bit of material to ordered field, namely that a field is orderable iff it is a real field (i.e., is not a sum of squares). More importantly, at real closed field, I have addressed an old query of Colin Tan:
Colin: Is it true that real closure is an adjoint construction to the forgetful functor from real closed fields to orderable fields?
by writing out a proof (under Properties) that indeed the forgetful functor from category of real closed fields and field homomorphisms to the category of real fields and field homomorphisms has a left adjoint (the real closure). Therefore I am removing this query from that page over to here.
Thanks!
I am a little confused that the domain of this adjoint is the category of orderable fields rather than the category of ordered fields. If an orderable field F admits two embeddings into real-closed fields and which induce different orderings on F, then it seems that these two embeddings would not be isomorphic under F, since any isomorphism of real-closed fields is order-preserving. Does an orderable field only admit one order that can be induced by an embedding into a real-closed field?
I’ll look it over again, to see whether I made an avoidably dumb mistake.
It might be less confusing just to call the domain the category of real fields (with ordinary field homomorphisms as maps), and the codomain the category of real closed fields (again with field homomorphisms as maps). You’re right that those two hypothetical embeddings would not be isomorphic as ordered fields, but then I’m not demanding that much in the statement. The place where ordering enters is that we know the extension map between real closed fields will automatically preserve their canonical orders, and that will fix how the map is supposed to behave on roots/adjoined elements when restricted to finite real extensions of the ground field .
Edit: I did find a mistake (forgot a bar over one of the ’s), and I did a little rewriting which hopefully makes the proof clearer. Let me know if you find anything else wrong. I may sleep on it and come back to it tomorrow.
Still confused, but can’t quite articulate a question. I’m not claiming there’s anything wrong with your proof, just that I don’t really understand real-closure. Maybe if I think about an example it will help. What is an example of an orderable field that admits more than one order?
Ah, I have a question! I don’t understand how you know that f has n roots in R. You say that “R, being real closed, has no nontrivial real algebraic extensions”, but how do you know that the algebraic extension in which f splits would be real?
And to answer my question, here’s an example (I think) of an orderable field that admits more than one order: . You can take or . So we have two field embeddings of into , but no automorphism of which commutes with them. I think.
Okay, the first question in 5. does point to a problem with the proof. But not an insurmountable one. I’ll fix it up today.
Your answer to your own question in 5 is exactly right.
Oh, oh, oh. You’re absolutely right, this proof is seriously effed. I’m rolling back.
Man, I am seriously annoyed with myself.
Edit: Well, hopefully I salvaged it, but maybe you (or anyone for that matter) should take a look. I’m not proud of what I’ve written, but let’s see whether it holds up.
Thanks! I think I believe this version. This is still an intriguing theorem, to me – it means that real-closure is somehow very different from algebraic closure. I don’t quite understand at an intuitive level why should make so much of a difference.
I imagine that the model theorists would have a lot to say about this phenomenon. I know they have studied both real closures and algebraic closures a lot, and I think they use them to illustrate aspects of some very general theory (classification and stability theory).
There was a really nice Book Review article by Gregory Cherlin in the BAMS, sometime in the 90’s, that had a very nice overview of classification theory. I will see if I can dig it up and reproduce some of it here. But one general point I vaguely remember is that if the theory introduces a definable asymmetry (such as a total order in the theory of real closed fields, where the definable relation is asymmetric), then one can generally expect that the classification of models of the theory will not be very tractable. We may be getting a whiff of that here: a real field may have many nonisomorphic real closures (non-isomorphic as extension fields), because the ordering imposes a certain rigidity which obstructs the existence of an isomorphism. Whereas the theory of algebraically closed fields doesn’t introduce a definable asymmetry, and any isomorphism between fields
extends to an isomorphism between chosen algebraic closures in which these fields are embedded
I guess this might have something to do with amalgamations that model theorists are always talking about.
Here is a link to the article by Cherlin. It’s great. The stuff I was vaguely trying to recollect is explained around page 187, and has to do with the model-theoretic notion of independence.
Thanks for the link! This is fascinating and totally different from anything I think about all day; I wish I had time to learn all about it. What I was thinking about seems a little different from this, though: what struck me is the fact that real-closures (of ordered fields) have a universal property, whereas algebraic closures do not. As a category-theorist, this seems to make real-closures seem better behaved. Whereas it sounds like the model theoretic point of view is that the algebraically closed fields are the “better” behaved ones, because their lack of a definable asymmetry makes them “classifiable”?
Right. I guess the classification theory aims to delineate those theories whose models can be classified up to isomorphism by a reasonably small number of invariants. In the archetypal case of algebraically closed fields of uncountable cardinality, this would be just the characteristic and transcendence degree. Whereas real closed fields exist in great profusion, and I think the moral is supposed to be that the minimal number of invariants needed to classify real closed fields of a given cardinality up to isomorphism is “worst-case scenario” or something. I guess this sort of makes sense when you consider how easy it is to build real closed valuation fields with a given value group, like Hahn series whose value group is a given ordered divisible group.
Of course, a category theorist might perceive and want to redress an imbalance here: the focus on “up to isomorphism” is throwing away just what sorts of automorphisms we are talking about. In other words, sure you can easily classify uncountable algebraically closed fields, but their automorphisms exist in great profusion, whereas the exact opposite is true of real closed fields! Is there some sort of general reciprocity principle at work here?
This is not to diss the model theorists though, who have done tons of extremely impressive work, obviously. I do wish there were closer connections between model theorists and category theorists, which would reach into the core concerns of stability theory and classification theory. I am guessing guys like Makkai know this stuff actually pretty well, but there ought to be a book “Model Theory for Category Theorists”, which goes in a different direction than say the work on accessible categories. :-)
The above remark prompted me to add a section on “Infinites and infinitesimals” to real closed field.
Toby, why did you change to ? I think that’s just wrong; is typically used to denote the algebraic closure, not the real closure.
In the main part of the article, is introduced as notation for the real closure of an ordered field, so I followed that to be consistent. It seems to me that the overline denotes a variety of completions and closures, so we should be able to let it mean whatever is most appropriate.
Another possibility would be to use throughout the article (although I would suggest something smaller, such as ).
Well, I have to admit you’re right – that was the earlier-introduced notation. I’ll add a little note of warning.
Is there anything interesting that can be said about the value Group of the surreals?
Mike, I believe the answer is: it’s the additive group of the surreals. See theorem 21, page 33, of On Numbers and Games, where each surreal has a unique normal form where is an ordinal, the are real numbers, and the form a decreasing sequence of surreals. In fact, this normal form theorem is used to prove that the surreals form a real closed field.
That’s cute, and makes sense; thanks!
1 to 20 of 20