Thread: no set that makes

Prove that there is no set (integers modulo ) which makes into an ordered field.

Assume for contradiction that there is a set which makes into an ordered field. Then there is a set such that if and if , then exactly one of the following is true: .

How would I obtain a contradiction. Is this the right way to go about proving it?

Originally Posted by particlejohn

Prove that there is no set (integers modulo ) which makes into an ordered field.

Assume for contradiction that there is a set which makes into an ordered field. Then there is a set such that if and if , then exactly one of the following is true: .

How would I obtain a contradiction. Is this the right way to go about proving it?

The only possibly non-empty subsets are: . Now show each one does not satisfy the condition of being a ring ordering.

And from a real analysis viewpoint, this would amount to showing that the above properties described above are violated?

Originally Posted by particlejohn

And from a real analysis viewpoint, this would amount to showing that the above properties described above are violated?

It makes no difference what viewpoint you have it is always violated. Take for example . We require that it is closed. Is it? Well is not in the set. So it cannot represent the "positives".