# Proof of Non-Ordering of Complex Field

Let $\mathcal F$ be a field. Suppose that there is a set $P \subset \mathcal F$ which satisfies the following properties:

• For each $x \in \mathcal F$, exactly one of the following statements holds: $x \in P$, $-x \in P$, $x =0$.

• For $x,y \in P$, $xy \in P$ and $x+y \in P$.

If such a $P$ exists, then $\mathcal F$ is an ordered field.

Define $x \le y \Leftrightarrow y -x \in P \vee x = y$.

Exercise: Prove that the field of complex numbers $\mathbb C$ cannot be given the structure of an ordered field.

My Work So Far: (Edit 1 note: This section and the Question is at the beginning, simply leaving this up for reference as to where I started)

Let $i$ be such that $i \in P, i \ne 0 \Rightarrow i > 0$. But $i^2 = -1 \notin P$.

My Question: I am not sure how much I need to redefine, and how I go about rigorously making this patchwork argument airtight. I am aware that I have not addressed how I assumed that $-1 \notin P$, but I'm not sure how to distinguish between $1$ and $i$ in this proof.

Edit #1

1st Step: Showing that $-1 \notin P$, observe that $(-1)(-1) = 1$ therefore if $-1 \in P$, both $x, -x \in P$, a contradiction.

2nd Step: To show $i \notin P$, we have that if $i \in P \Rightarrow i^2 \in P$, but $i^2 = -1 \notin P$, so $i \notin P$.

3rd Step: To show $-i \notin P$, we have $(-i)(-i) = i^2 \notin P$, so $-i$ cannot be in $P$.

Conclusion: Since $i \ne 0$, and $i, -i \notin P$, there is no set $P \subset \mathbb C$ that satisfies the above properties, thus $\mathbb C$ is not ordered.

Thank you André Nicolas and Eric Stucky for your help!

-

## 2 Answers

To show that $-1$ is not in $P$, note that if $-1\in P$ then $(-1)(-1)\in P$, which contradicts the fact that if $x \ne 0$ exactly one of $x$ and $-x$ is in $P$.

Next we show that $i\notin P$. Suppose to the contrary that $i\in P$. Then $i^2\in P$, which contradicts the fact that $-1\notin P$.

The same argument shows that $-i\notin P$. This contradicts the fact that if $x\ne 0$, then exactly one of $x$ and $-x$ is in $P$.

-

I think the definition of $P$ you have is slightly off: if $x=0$ then all three conditions are satisfied. A possible fix is "Either $x\in P$ or $-x\in P$, with both holding iff $x=0$." On the other hand, I'm not convinced that it's important that $0\in P$; you should check that before making things complicated.

For an arbitrary field, $-1\notin P$ because then $(-1)(-1) = 1\in P$, which is impossible.

From there, you assume that $P$ exists and begin a proof by contradiction. Using your work in the OP you can therefore show that $i\notin P$. However, since $i\neq 0$, we also need to show that $-i\notin P$ before we continue. The proof is essentially identical to the one you gave in the OP.

This will contradict the fact that either $i$ or $-i$ is in $P$. Therefore, there cannot be such a set $P\subset\mathbb{C}$.

-

I think the definition is OK. 0 is not meant to be an element of P. For example, if we were talking about the reals, then P would be the positive reals, not including 0. – Ben Crowell Aug 12 '12 at 17:30
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 68, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9528480172157288, "perplexity_flag": "head"}