Consider a “pseudo-ordering” on the complex field defined by saying a complex number is positive if and only if
. Which of the three order axioms (listed in the previous exercise) are satisfied.
The first axiom fails. Take is positive since
but
is not positive since
.
The second axiom fails since for any such that
then neither
nor
is positive.
The third axiom holds since implies 0 is not positive.