1
$\begingroup$

I am trying to find a field (I'll settle for other stuff - some type of ring) that is ordered and $a>0,\,b>0$ implies $a+b > 0$ yet $a,b > 0$ doesn't imply $ab > 0$.

Much of the problem seems to be working to satisfy the distributive law.

Cheers.

edit: and $a>0$ or $a=0$ or $a<0$ holds for all $a$ and only one relation does in-fact hold.

  • 3
    A terminological point, more for the benefit of future readers than the asker: many textbooks define an "ordered field" to be a field endowed with a linear order *satisfying additional properties that ensure the product of positive elements is positive*. To repeat the essential point, when this definition is used, an "ordered field" is *more* simply a field endowed with a linear order (and the answer to the asker's question is then "no"). This type of definition is understood when people say that the field of complex numbers cannot be endowed with an order making it an "ordered field."2012-01-29

2 Answers 2

4

Take $\mathbb{C}$ with lexicographic order; that is, $a + bi \le c + di$ if $a \le c$ or $a = c$ and $b \le d$.

4

Another example: Reverse the usual order on $\mathbb R$ (or any other ordered field).