The surreal numbers have a subring, the ring of "omnific integers" or $\mathbf{Oz}$, which have the property that every surreal number is a quotient of two omnific integers. That is, the field of fractions of the omnific integers is the entire surreal number field, which in particular includes all the reals.

A ring whose field of fractions includes all the reals seems like a useful thing. The omnific integers would seem to be much larger than necessary if that is what we want. So we can ask for simpler examples.

Of course, $\Bbb R$ is a trivial example of a ring whose field of fractions includes all of $\Bbb R$. So, to be precise, I am interested in rings which do not already have all the reals, but whose field of fractions does have all the reals.

In particular, I have the following questions:

  1. Does there exist some ring $R$, which is not a superset of $\Bbb R$ but whose field of fractions is a superset of $\Bbb R$, that is "smallest" in the sense that $R$ is isomorphic to a subring of any other ring with this property?
  2. If we add the requirement that $R$ be an ordered ring, does that have any effect on #1?
  3. Does the ring of omnific integers have any smallest subring with the above property?
  4. Would any ring with the above property embed into the omnific integers anyway, making these criteria all equivalent?
  • 1
    $\begingroup$ If your $R$ has field of fractions $K$ containing $\mathbb R$, then it makes sense to embed both $R$ and $\mathbb R$ into $K$, and so to speak of $R \cap \mathbb R$. Could it happen that the field of fractions of $R \cap \mathbb R$ is smaller than $\mathbb R$? (Also, in your (1), do you want some kind of universality—e.g., a unique isomorphism (satisfying some extra conditions, I guess—or really just abstract isomorphism?) $\endgroup$ – LSpice May 23 at 15:22
  • 1
    $\begingroup$ As I understand it, Oz is a proper class, and you certainly do not need all of Oz to find the real numbers as a quotient field. If you take a sufficiently large and sufficiently closed ordinal $\delta$, then the set $Oz_\delta$ of all surreal integers born before day $\delta$ will be a ring, and its quotient field will include all the reals. I think that $\delta:=(2^{\aleph_0})^+$ will do, but perhaps much smaller smaller ordinals are enough, such as $\omega^ \omega$? (Clearly you need the ring to have at least continuum many elements.) $\endgroup$ – Goldstern May 23 at 19:09
  • 1
    $\begingroup$ Algebraically, if we let $K = \overline{\mathbb{Q}} \cap \mathbb{R}$, then $\mathbb{R}$ is isomorphic to the real closure of $K$ adjoin uncountably many variables. So I imagine a "smallest" such ring would be some version of taking "integers" here -- e.g. taking the ring of real algebraic integers, adjoining infinitely many variables, and then adding a root of all monic odd-degree polynomials successively. Of course, this is totally non-canonical and you get many distinct subrings of $\mathbb{R}$ depending on which transcendence basis you pick. $\endgroup$ – Kevin Casto May 23 at 19:39
  • 1
    $\begingroup$ Related: math.stackexchange.com/questions/1396872/… $\endgroup$ – Kevin Casto May 24 at 0:31

Your Answer

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

Browse other questions tagged or ask your own question.