Real closed ring


In mathematics, a real closed ring is a commutative ring A that is a subring of a product of real closed fields, which is closed under continuous semi-algebraic functions defined over the integers.

Examples of real closed rings

Since the rigorous definition of a real closed ring is of technical nature it is convenient to see a list of prominent examples first. The following rings are all real closed rings:
  • real closed fields. These are exactly the real closed rings that are fields.
  • the ring of all real-valued continuous functions on a completely regular space X. Also, the ring of all bounded real-valued continuous functions on X is real closed.
  • convex subrings of real closed fields. These are precisely those real closed rings which are also valuation rings and were initially studied by Cherlin and Dickmann.
  • the ring A of all continuous semi-algebraic functions on a semi-algebraic set of a real closed field. Also, the subring of all bounded functions in A is real closed.
  • the ring of all continuous definable functions on a definable set S of an arbitrary first-order expansion M of a real closed field. Also, the ring of all definable functions is real closed.
  • Real closed rings are precisely the rings of global sections of affine real closed spaces and in this context they were invented by Niels Schwartz in the early 1980s.

    Definition

A real closed ring is a reduced, commutative unital ring A which has the following properties:
  1. The set of squares of A is the set of nonnegative elements of a partial order ≤ on A and is an f-ring.
  2. Convexity condition: For all a, b in A, if 0 ≤ a ≤ b then b | a2.
  3. For every prime ideal p of A, the residue class ring A/''p'' is integrally closed and its field of fractions is a real closed field.
The link to the definition at the beginning of this article is given in the section on algebraic properties below.

The real closure of a commutative ring

Every commutative unital ring R has a so-called real closure rcl and this is unique up to a unique ring homomorphism over R. This means that rcl is a real closed ring and there is a ring homomorphism such that for every ring homomorphism to some other real closed ring A, there is a unique ring homomorphism with.
For example, the real closure of the polynomial ring is the ring of continuous semi-algebraic functions.
An arbitrary ring R is semi-real if and only if the real closure of R is not the null ring.
The real closure of an ordered field is in general not the real closure of the underlying field. For example, the real closure of the ordered subfield
of is the field of real algebraic numbers, whereas the real closure of the field is the ring . More generally the real closure of a field F is a certain subdirect product of the real closures of the ordered fields, where P runs through the orderings of F.

Algebraic properties

  • The category RCR of real closed rings which has real closed rings as objects and ring homomorphisms as morphisms has the following properties:
  1. Arbitrary products, direct limits and inverse limits of real closed rings are again real closed. The fibre sum of two real closed rings B,''C over some real closed ring A'' exists in RCR and is the real closure of the tensor product of B and C over A.
  2. RCR has arbitrary limits and colimits.
  3. RCR is a variety in the sense of universal algebra.
  • For a real closed ring A, the natural homomorphism of A to the product of all its residue fields is an isomorphism onto a subring of this product that is closed under continuous semi-algebraic functions defined over the integers. Conversely, every subring of a product of real closed fields with this property is real closed.
  • If I is a radical ideal of a real closed ring A, then also the residue class ring A/''I is real closed. If I'' and J are radical ideals of a real closed ring then the sum I + J is again a radical ideal.
  • All classical localizations S−1A of a real closed ring A are real closed. The epimorphic hull and the complete ring of quotients of a real closed ring are again real closed.
  • The holomorphy ring H of a real closed ring A is again real closed. By definition, H consists of all elements f in A with the property −N ≤ f ≤ N for some natural number N. Applied to the examples above, this means that the rings of bounded continuous functions are all real closed.
  • The support map from the real spectrum of a real closed ring to its Zariski spectrum, which sends an ordering P to its support is a homeomorphism. In particular, the Zariski spectrum of every real closed ring A is a root system and therefore A is also a Gel'fand ring. The comparison of the Zariski spectrum of A with the Zariski spectrum of H leads to a homeomorphism between the maximal spectra of these rings, generalizing the Gel'fand-Kolmogorov theorem for rings of real valued continuous functions.
  • The natural map r from an arbitrary ring R to its real closure rcl as explained above, induces a homeomorphism from the real spectrum of rcl to the real spectrum of R.
  • Summarising and significantly strengthening the previous two properties, the following is true: The natural map r from an arbitrary ring R to its real closure rcl induces an identification of the affine scheme of rcl with the affine real closed space of R.
  • Every local real closed ring is a Henselian ring .

    Model theoretic properties

The class of real closed rings is first-order axiomatizable and undecidable. The class of all real closed valuation rings is decidable and the class of all real closed fields is decidable. After naming a definable radical relation, real closed rings have a model companion, namely von Neumann regular real closed rings.

Comparison with characterizations of real closed fields

There are many different characterizations of real closed fields. For example,
in terms of maximality : a real closed field is a maximally orderable field; or, a real closed field is a maximally ordered field. Another characterization says that the intermediate value theorem holds for all polynomials in one variable over the field. In the case of commutative rings, all these properties can be analyzed in the literature. They all lead to different classes of rings which are unfortunately also called "real closed". None of them lead to the class of real closed rings and none of them allow a satisfactory notion of a closure operation. A central point in the definition of real closed rings is the globalisation of the notion of a real closed field to rings when these rings are represented as rings of functions on some space.