Is every partially ordered semiring an idempotent?
I preferred to call here a semiring $(R, +, .)$ to be an idempotent if $x+x=x$ and $x.x=x~forall~xin 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 ?
semiring
asked Nov 27 at 15:54
gete
747
add a comment |
I preferred to call here a semiring $(R, +, .)$ to be an idempotent if $x+x=x$ and $x.x=x~forall~xin 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 ?
semiring
asked Nov 27 at 15:54
gete
747
add a comment |
I preferred to call here a semiring $(R, +, .)$ to be an idempotent if $x+x=x$ and $x.x=x~forall~xin 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 ?
semiring
asked Nov 27 at 15:54
gete
747
I preferred to call here a semiring $(R, +, .)$ to be an idempotent if $x+x=x$ and $x.x=x~forall~xin 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 ?
semiring
semiring
asked Nov 27 at 15:54
gete
747
asked Nov 27 at 15:54
gete
747
asked Nov 27 at 15:54
gete
747
asked Nov 27 at 15:54
gete
747
asked Nov 27 at 15:54
gete
747
747
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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 $aleq b$ when $aoplus 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.
answered Nov 27 at 16:09
rschwieb
105k1299244
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
|
show 2 more comments
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015933%2fis-every-partially-ordered-semiring-an-idempotent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$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 $aleq b$ when $aoplus 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.
answered Nov 27 at 16:09
rschwieb
105k1299244
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
|
show 2 more comments
$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 $aleq b$ when $aoplus 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.
answered Nov 27 at 16:09
rschwieb
105k1299244
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
|
show 2 more comments
$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 $aleq b$ when $aoplus 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.
answered Nov 27 at 16:09
rschwieb
105k1299244
$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 $aleq b$ when $aoplus 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.
answered Nov 27 at 16:09
rschwieb
105k1299244
answered Nov 27 at 16:09
rschwieb
105k1299244
answered Nov 27 at 16:09
rschwieb
105k1299244
answered Nov 27 at 16:09
rschwieb
105k1299244
105k1299244
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
|
show 2 more comments
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
can the natural order on idempotent semiring defined by $aleq b$ when $aoplus b=b$ be equivalently written as $aoplus x=b$ for some $xin Bbb R$? Also, can the multiplicative monotonicity be written as $ax=b $ for some $xin~Bbb R$?
– gete
Nov 27 at 16:33
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 at 16:52
@gete I would think it would be impossible to prove anti-symmetry, then.
– rschwieb
Nov 27 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 at 17:02
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 at 17:02
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
@gete For example, using your proposed definition and $mathbb Z$, all elements are related to one another.
– rschwieb
Nov 27 at 17:21
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
Sorry! would you please clearify the last comment again?
– gete
Nov 27 at 17:26
|
show 2 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015933%2fis-every-partially-ordered-semiring-an-idempotent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
