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?