Hilbert's 17th and uniquely ordered fields

  • Context: Graduate 
  • Thread starter Thread starter Hurkyl
  • Start date Start date
  • Tags Tags
    Fields
Click For Summary
SUMMARY

The discussion centers on Hilbert's 17th problem and the concept of uniquely ordered fields as presented in Jacobson's Basic Algebra II. It clarifies that while Q is often perceived as the only field with a unique ordering, there are indeed other fields, such as the quotient field of an ordered ring, that can also possess unique orderings. The Theorem of Artin is referenced, which involves subfields of R with unique orderings, highlighting the complexity of ordered fields beyond the rationals.

PREREQUISITES
  • Understanding of ordered fields and their properties
  • Familiarity with the concepts of algebraic and transcendental extensions
  • Knowledge of Galois theory and nontrivial Galois groups
  • Basic comprehension of Hilbert's 17th problem and its implications
NEXT STEPS
  • Study the Theorem of Artin and its applications in ordered fields
  • Explore the properties of uniquely ordered fields beyond Q
  • Investigate the role of Galois groups in determining field orderings
  • Learn about the construction of ordered fields from ordered rings
USEFUL FOR

Mathematicians, algebraists, and students of abstract algebra interested in the properties of ordered fields and their applications in advanced algebraic concepts.

Hurkyl
Staff Emeritus
Science Advisor
Gold Member
Messages
14,922
Reaction score
28
Jacobson's Basic Algebra II has a section on Hilbert's 17th problem (p. 660), and gives the Theorem of Artin which involves subfields of R with unique orderings.

In the text, it says "Examples of fields having a unique ordering are Q, R, and any number field that has only one real conjugate field".

Now, this is confusing to me -- as far as I know, Q is the only field with a unique ordering:

Any ordered field F must contain Q (since it's characteristic zero), so we can "build" an ordering on F with transfinite induction by starting with Q and build F by a (transfinite) sequence of algebraic and transcendental extensions.

Any algebraic extension has a nontrivial Galois group, and we have at least one ordering for each element of the Galois group.

The case of a transcendental extension is even worse: we can place the new element anywhere in the order we want! E.G. if we were to take the transcendental extension R(x) of R, we could make x infinite, or infinitessimally close to any real number we like.


So I don't understand how any field but Q could have a unique ordering. :frown: I've read through the chapter in Jacobson, but have been able to find anything that would explain my problem. Anyone out there know?
 
Physics news on Phys.org
Hurkyl said:
Now, this is confusing to me -- as far as I know, Q is the only field with a unique ordering:
No, this is not true. E.g. if ##K## is the quotient field of a ring ##R## and ##R## is ordered, then there is a unique order on ##K## which extents the ordering in ##R##. This gives quite a few uniquely ordered fields.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K