Hilbert's 17th and uniquely ordered fields

  • Thread starter Hurkyl
  • Start date
  • Tags
    Fields
In summary, Jacobson's Basic Algebra II discusses Hilbert's 17th problem and the Theorem of Artin, which involves subfields of R with unique orderings. The text provides examples of fields with unique orderings such as Q, R, and number fields with only one real conjugate field. However, it is possible for other fields to have unique orderings, such as the quotient field of an ordered ring.
  • #1
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,983
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
  • #2
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.
 

FAQ: Hilbert's 17th and uniquely ordered fields

What is Hilbert's 17th problem?

Hilbert's 17th problem is a mathematical problem proposed by David Hilbert in 1900, as part of his famous list of 23 unsolved problems in mathematics. It deals with the existence of a finite number of operations that can be used to construct all algebraic numbers.

What are uniquely ordered fields?

Uniquely ordered fields are fields that have a unique ordering, meaning that for any two elements in the field, one can always be identified as being greater than, less than, or equal to the other. This is in contrast to non-uniquely ordered fields, where more than one ordering can be defined.

What is the significance of Hilbert's 17th problem?

Hilbert's 17th problem is significant because it has connections to various areas of mathematics, such as algebraic number theory, algebraic geometry, and Galois theory. It also played a role in the development of abstract algebra and the understanding of the structure of fields.

What is the current status of Hilbert's 17th problem?

Hilbert's 17th problem was solved in 1950 by Emil Artin, using the concept of absolute values and the theory of valuations. However, the problem was later revisited and generalized by other mathematicians, leading to ongoing research and developments in this area.

How does Hilbert's 17th problem relate to other problems in mathematics?

Hilbert's 17th problem has connections to other problems in mathematics, such as the Riemann hypothesis, the inverse Galois problem, and the axiomatic characterization of fields. It also has implications for other areas of mathematics, including topology, number theory, and algebraic geometry.

Back
Top