Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Do all the field theorems apply to surreal numbers? If fields were redefined so that their elements were allowed to come from an arbitrary class, would the theory look different to an algebraist?

share|improve this question
5  
Conway calls it a Field. With capital letter. To signify that it is a proper class. The field axioms involve at most 3 elements at a time, so there should be no problem thinking of No as a field. –  Gerald Edgar Dec 7 '12 at 22:30
    
IIRC Conway makes a big point in On Numbers and Games about how he's not using set theory as a foundation, basically as a matter of aesthetics...? –  Ben Crowell Dec 8 '12 at 4:45
5  
When I was much younger, this is what I thought Class Field Theory was all about. –  Kevin Ventullo Dec 8 '12 at 6:02
1  
@Ben: I think maybe Conway is claiming that he is not wedded to a particular axiomatic presentation of set theory such as ZFC. Of course, the development of games and numbers does appeal to a certain amount of set-theoretic infrastructure such as ordinals, and there is plenty of implicit use of things like the regularity axiom (allowing one to apply induction principles to sets and games). –  Todd Trimble Dec 8 '12 at 12:23
add comment

2 Answers 2

up vote 13 down vote accepted

First, let me say that the set/class issue is not a problem to deal with properly, and so one shouldn't be very worried about it. It is true as you say that the surreal numbers No are a proper class, and they do not form a set. So in a purely technical sense, they are not a field. But nevertheless, they do satisfy all the field axioms and have all the usual kinds of structure that one would want in a field, and so one can correctly describe them as a proper class field, or Field as Conway writes it, in much the same way that the class of all ordinals is regarded as a proper class well-order. Although this set/class issue may seem mysterious or irritating, in practice it is a routine matter to handle correctly for those familiar with the set/class distinction.

But since you seem particularly interested in what might go wrong, let me suggest on the negative side, one issue that could make a difference is that when dealing with the surreal field No, one will want to strengthen the background set theory from ZFC to GBC, which includes the global axiom of choice, the assertion that there is a proper class well-ordering of the universe. The reason is that it is consistent with ZFC that the surreal numbers do not admit any proper class well-ordering, and actually, the assertion that they have a definable such well-ordering is equivalent to the set-theoretic axiom known as V=HOD, as I proved in my answer to David Feldman's question on a Definable map from all the ordinals to the surreal numbers. So if one wants to undertake algebraic constructions requiring one to have a well-ordering of the field itself, such as finding a proper class maximal ideal inside a particular subring of No, then there could be difficulties undertaking such a construction in ZFC as opposed to GBC. But nevertheless, the theory GBC is conservative over ZFC and one may thereby freely assume the global axiom of choice. (This is used in the various arguments showing that No is universal for class-sized objects, such as the assertion that every class order embeds to a suborder of No.) In particular, in GBC one has a well-ordering of the entire universe, including the surreals, and this situation would address such issues. Much of the theory undertaken by Ehrlich on the surreals, for example, works in GBC as the background theory. Beyond this issue, even in GBC one does not have any sense of a well-ordering of the (meta-class) collection of all class-sized subrings of No, if this were desired for any algebraic construction, and this is the kind of issue that would arise with the set/class issue.

But meanwhile, there is also a positive answer. The situation is that if one wants set versions of the surreal numbers, they are abundantly available in increasingly powerful and accurate approximations, which are well-understood and studied. Specifically, we have numerous set-sized approximations to the surreal numbers, simply by considering the set of surreal numbers born before a given ordinal birthday. For any ordinal $\lambda$, let $\text{No}(\lambda)$ be the set of surreal numbers born before $\lambda$. One should regard $\text{No}(\lambda)$ as the version of the surreal numbers as constructed inside the set-theoretic universe $V_\lambda$, which can satisfy increasing fragments of our set theory, as $\lambda$ is chosen to exhibit increasingly strong closure properties.

Philip Ehrlich mentioned in his recent talk at the CUNY Logic Workshop that he and Lou van den Dries prove in their article Fields of surreal numbers with exponentiation the following facts:

  • $\text{No}(\lambda)$ is an additive subgroup of No if and only if $\lambda=\omega^\alpha$ for some ordinal $\alpha$; that is, if and only if $\lambda$ is additively indecomposable.

  • $\text{No}(\lambda)$ is an additive subring of No if and only if $\lambda=\omega^{\omega^\alpha}$ for some ordinal $\alpha$; that is, if and only if $\lambda$ is multiplicatively indecomposable.

  • $\text{No}(\lambda)$ is a subfield of No if and only if $\lambda$ is an $\epsilon$-number, that is, if and only if $\lambda=\epsilon_\alpha$ for some $\alpha$.

These facts are proved by giving a careful analysis of exactly how long it takes to add the inverse of a given surreal number, based on its birthday, and so when the ordinal $\lambda$ is closed under those waiting times, then the resulting $\text{No}(\lambda)$ contains the requisite inverses.

Ultimately, we obtain set-sized approximations $\text{No}(\lambda)$ to the surreals by truncating at sufficiently powerful ordinals. Indeed, for any particular natural number $n$, there will be a closed unbounded proper class of ordinals $\lambda$ such that $\text{No}(\lambda)$ has all the same $\Sigma_n$-expressible properties as the full class of surreal numbers No. This can be proved as an immediate consequence of the reflection theorem. So in fact, No is the union of a proper class chain of increasingly elementary subfields $\text{No}(\lambda)$.

One can think of the situation as corresponding to the small/large distinction that one finds in category theory with the use of Grothendieck universes, as in Daniel's answer. But in fact one doesn't need a whole Grothendieck universe just to have a subfield, since a mere epsilon number suffices in comparison with an inaccessible cardinal (which are all epsilon numbers).

share|improve this answer
    
It might be worth noting that, in general, the identification of No$(\lambda)$ with the surreal numbers as constructed in $V_\lambda$ presupposes a particular (probably fairly standard) set-theoretic representation of the surreals. For general $\lambda$ (even $\epsilon$-numbers), one could code surreals so that $V_\lambda$ contains some born long after day $\lambda$. It seems the choice of coding becomes irrelevant for this purpose just when $\lambda$ is a beth-fixed point (or $\omega$). –  Andreas Blass Dec 8 '12 at 21:05
    
Yes, I agree with that, but it seems the usual constructions would have an agreement much more often, indeed, at every limit ordinal. Namely, we can regard the surreal number {L∣R}, where L and R are sets of earlier-born surreal numbers, as instantiated in set theory simply by the pair $\langle L,R\rangle$, coded as usual in set theory. With this, it follows that the surreal numbers born before any limit ordinal $\lambda$ are exactly those represented in this way in $V_\lambda$. But you are right, if $\lambda$ is not a beth-fixed point, then $V_\lambda$ has much larger sets. –  Joel David Hamkins Dec 8 '12 at 21:43
add comment

In ZFC+I, where I asserts the existence of a strongly inaccessible cardinal, we can create a Grothendieck universe out of that inaccessible cardinal and have a set that satisfies all the properties of the surreal numbers, where quantification is taken over elements of that universe. From the perspective of the outside universe, this would be a field. Since no one has found a contradiction in ZFC+I, it's safe to say at present that the field theorems apply to surreal numbers and that an algebraist cannot detect any essential difference, only relative differences that you probably know such as "This Field contains all totally ordered fields."

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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