5
$\begingroup$

My book defines an ordered ring as a ring $R$ with total order $\leq$ such that

  1. $x<y\implies x+z<y+z$
  2. $x,y>0\implies xy>0$.

The ordered ring definition from Wikipedia uses

  1. $x\leq y\implies x+z\leq y+z$
  2. $x,y\geq 0\implies xy\geq 0$.

It seems to me that these definitions are not equivalent. The first definition implies the second, but the second doesn't imply the first. In the second definition, we could have $x,y > 0$ and $xy=0$, and in the first definition this is impossible. For an ordered field I believe the definitions are equivalent, but for rings they are not. Is this true?

$\endgroup$

2 Answers 2

5
$\begingroup$

You're right, these definitions aren't equivalent. Below I'll give a counterexample which has a multiplicative identity (for me rings always have multiplicative identity).

Let me rephrase both definitions in a way that I personally find easier to think about. A strict ordered ring (your first definition) is a ring $R$ equipped with a subset $R_{+}$, the positive elements of $R$, satisfying the following axioms:

  • $R_{+}$ is disjoint from $R_{-} = - R_{+}$, neither of them contains $0$, and $R$ is the disjoint union $R_{+} \sqcup \{ 0 \} \sqcup R_{-}$ (trichotomy).
  • $R_{+}$ is closed under addition (transitivity).
  • $R_{+}$ is closed under multiplication.

(We recover the total order from here by defining $x < y$ iff $y - x \in R_{+}$.)

An ordered ring (Wikipedia's definition) is a ring $R$ equipped with a subset $R_{\ge 0}$, the nonnegative elements of $R$, satisfying the following axioms:

  • The intersection of $R_{\ge 0}$ and $R_{\le 0} = - R_{\ge 0}$ is exactly $\{ 0 \}$, and $R = R_{\ge 0} \cup R_{\le 0}$.
  • $R_{\ge 0}$ is closed under addition (transitivity).
  • $R_{\ge 0}$ is closed under multiplication.

Which of these definitions seems more natural to you will depend on whether you find it more natural to think about total orders in terms of $<$ or in terms of $\le$. The first two axioms turn out to be equivalent (once we translate between "positive" and "nonnegative" by adding resp. removing $0$), but in the third axiom the difference is that the second definition allows the product of two positive elements to be zero, and so allows zero divisors, while the first definition implies that $R$ is an integral domain.

Here's an example of a non-strict ordered ring that seems pretty natural to me: consider the ring $R = \mathbb{R}[\varepsilon]/\varepsilon^2$, equipped with the ordering in which the nonnegative elements are $x + y \varepsilon$ such that either $x > 0$ or $x = 0$ and $y \ge 0$. Then $\varepsilon$ is positive but $\varepsilon^2 = 0$. This ring is a natural setting for comparing the growth rates of, say, two polynomials near a point.

$\endgroup$
1
  • 3
    $\begingroup$ +1 for giving a much more conceptual answer. $\endgroup$ Commented Sep 12, 2020 at 18:59
2
$\begingroup$

Take the (additive) group $Z$ of integers and define the product as $xy=0$ for every $x,y$. Then $Z$ becomes an associative ring. It has a total order which satisfies the second definition but not the first. This is the natural order on integers.

$\endgroup$
5
  • $\begingroup$ Thanks for the example $\endgroup$
    – Lilypad
    Commented Sep 12, 2020 at 2:49
  • $\begingroup$ Would you have an example with a multiplicative identity? $\endgroup$
    – J.-E. Pin
    Commented Sep 12, 2020 at 5:46
  • $\begingroup$ One can add multiplicative identity and extend the order lexicographically. Essentially that is done in anoither answer. $\endgroup$
    – markvs
    Commented Sep 12, 2020 at 7:34
  • $\begingroup$ The emvedding is standard: The unital ring is $\Bbb {Z}+Z$ where $Z$ is the ring from my answer. $$(n+z)(m+z')= ( nm)+(nz'+mz+zz').$$ I think it is called ring $Z$ with identity adjoint. $\endgroup$
    – markvs
    Commented Sep 12, 2020 at 7:51
  • $\begingroup$ @J.-E.Pin It is known as the Dorroh adjunction of $1$. $\endgroup$ Commented Sep 13, 2020 at 1:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .