Formally real field

In mathematics, in particular in field theory and real algebra, a formally real field is a field that can be equipped with a (not necessarily unique) ordering that makes it an ordered field.

Alternative Definitions

The definition given above is not a first-order definition, as it requires quantifiers over sets. However, the following criteria can be coded as first-order sentences in the language of fields, and are equivalent to the above definition.

A formally real field F is a field that satisfies in addition one of the following equivalent properties:[1][2]

It is easy to see that these three properties are equivalent. It is also easy to see that a field that admits an ordering must satisfy these three properties.

A proof that if F satisfies these three properties, then F admits an ordering uses the notion of prepositive cones and positive cones. Suppose 1 is not a sum of squares, then a Zorn's Lemma argument shows that the prepositive cone of sums of squares can be extended to a positive cone P⊂F. One uses this positive cone to define an ordering: a≤b if and only if b-a belongs to P.

Real Closed Fields

A formally real field with no formally real proper algebraic extension is a real closed field.[3] If K is formally real and Ω is an algebraically closed field containing K, then there is a real closed subfield of Ω containing K. A real closed field can be ordered in a unique way.[3]

Notes

  1. Rajwade, Theorem 15.1.
  2. Milnor and Husemoller (1973) p.60
  3. 1 2 Rajwade (1993) p.216

References

This article is issued from Wikipedia - version of the Saturday, December 19, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.