3

I preferred to call here a semiring $(R, +, .)$ to be an idempotent if $x+x=x$ and $x.x=x~\forall~x\in R$. It is apparent that we can define certain partial order relations on an idempotent semiring. Can we define a partial order relation on a none idempotent semiring? Or, is every partially ordered semiring an idempotent ?

gete
  • 1,352

1 Answers1

2

$\mathbb R$ is a totally ordered semiring that isn't idempotent, for example.

I guess what made you forget about this is that the natural order on idempotent semirings is defined by $a\leq b$ when $a\oplus b=b$, which obviously doesn't occur in the example I gave.

If the semiring isn't additively idempotent, then you do not have reflexivity of this candidate for order. So in this sense, yes, for that relation to be reflexive, you would need the semiring to be idempotent.

rschwieb
  • 153,510
  • can the natural order on idempotent semiring defined by $a\leq b$ when $a\oplus b=b$ be equivalently written as $a\oplus x=b$ for some $x\in \Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $x\in~\Bbb R$? – gete Nov 27 '18 at 16:33
  • @gete I would think it would be impossible to prove anti-symmetry, then. – rschwieb Nov 27 '18 at 16:52
  • You are right, as i am also stucked in anti-symmetricity but i found such additive monotonicity in a book"Algebraic Theory and application in computer science " by U. Hebisch and H.J Weinert, Vol-5 , chapter 5 under the heading-partially ordered semirings (page-144). – gete Nov 27 '18 at 17:02
  • @gete For example, using your proposed definition and $\mathbb Z$, all elements are related to one another. – rschwieb Nov 27 '18 at 17:21
  • Sorry! would you please clearify the last comment again? – gete Nov 27 '18 at 17:26
  • @gete If your definition of the relation is $a\sim b$ if $a\oplus x=b$ for some $x$, then in $\mathbb Z$, with $\oplus= +$, then $a\sim b$ for every $a,b\in\mathbb Z$. Or even $\mathbb R$ instead of $\mathbb Z$. – rschwieb Nov 27 '18 at 18:26
  • Thanks, it will help me – gete Nov 28 '18 at 02:28