Are rings closed under addition and multiplication?
$begingroup$
I've looked at a couple sources and neither of them state that rings are closed under addition and multiplication. For whatever reason, however, I believe that rings are defined to be closed under addition and multiplication. Am I correct? If so, why do authors not bother with this (in my opinion) crucial property?
abstract-algebra ring-theory
$endgroup$
add a comment |
$begingroup$
I've looked at a couple sources and neither of them state that rings are closed under addition and multiplication. For whatever reason, however, I believe that rings are defined to be closed under addition and multiplication. Am I correct? If so, why do authors not bother with this (in my opinion) crucial property?
abstract-algebra ring-theory
$endgroup$
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
1
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
3
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48
add a comment |
$begingroup$
I've looked at a couple sources and neither of them state that rings are closed under addition and multiplication. For whatever reason, however, I believe that rings are defined to be closed under addition and multiplication. Am I correct? If so, why do authors not bother with this (in my opinion) crucial property?
abstract-algebra ring-theory
$endgroup$
I've looked at a couple sources and neither of them state that rings are closed under addition and multiplication. For whatever reason, however, I believe that rings are defined to be closed under addition and multiplication. Am I correct? If so, why do authors not bother with this (in my opinion) crucial property?
abstract-algebra ring-theory
abstract-algebra ring-theory
edited Jan 8 at 16:53
PiKindOfGuy
asked Jan 8 at 16:42
PiKindOfGuyPiKindOfGuy
18611
18611
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
1
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
3
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48
add a comment |
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
1
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
3
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
1
1
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
3
3
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
99.999% of authors all include this property, at least implicitly.
Perhaps you are just not understanding where it appears implicitly.
"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."
Addressing your sources:
Wikipedia:
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...
and then
In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.
(Sorry, I cannot seem to find the second book.)
While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."
$endgroup$
add a comment |
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%2f3066405%2fare-rings-closed-under-addition-and-multiplication%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
$begingroup$
99.999% of authors all include this property, at least implicitly.
Perhaps you are just not understanding where it appears implicitly.
"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."
Addressing your sources:
Wikipedia:
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...
and then
In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.
(Sorry, I cannot seem to find the second book.)
While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."
$endgroup$
add a comment |
$begingroup$
99.999% of authors all include this property, at least implicitly.
Perhaps you are just not understanding where it appears implicitly.
"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."
Addressing your sources:
Wikipedia:
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...
and then
In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.
(Sorry, I cannot seem to find the second book.)
While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."
$endgroup$
add a comment |
$begingroup$
99.999% of authors all include this property, at least implicitly.
Perhaps you are just not understanding where it appears implicitly.
"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."
Addressing your sources:
Wikipedia:
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...
and then
In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.
(Sorry, I cannot seem to find the second book.)
While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."
$endgroup$
99.999% of authors all include this property, at least implicitly.
Perhaps you are just not understanding where it appears implicitly.
"Closure" is implicit in the definition of a binary operation, so that is why most authors do not bother to mention it. It is not really important, it is just taken for granted that the reader understands the definition of binary operations on a set are necessarily "closed under the operation."
Addressing your sources:
Wikipedia:
In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations ...
and then
In mathematics, a binary operation on a set is a calculation that combines two elements of the set (called operands) to produce another element of the set.
(Sorry, I cannot seem to find the second book.)
While it is often used as an axiom for a binary operation on $X$ itself, it is useful to describe subsets of $X$ and their relation to the binary operation with "closure." Namely, a subset can be closed (or not) under the binary operation. That's why it becomes convenient to say things like "A subgroup $H$ of $G$ is a subset which is closed under the binary operation and inversion."
edited Jan 8 at 16:49
answered Jan 8 at 16:44
rschwiebrschwieb
106k12101249
106k12101249
add a comment |
add a comment |
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.
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%2f3066405%2fare-rings-closed-under-addition-and-multiplication%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
$begingroup$
Can you tell us some source?
$endgroup$
– Paul K
Jan 8 at 16:43
$begingroup$
@PaulK Wikipedia and Introduction to Abstract Algebra 6th Edition by Neal H. McCoy and Gerald J. Janusz
$endgroup$
– PiKindOfGuy
Jan 8 at 16:45
1
$begingroup$
At least in Wikipedia it is stated implicitly by saying that addition and multiplication are binary operations.
$endgroup$
– Paul K
Jan 8 at 16:46
3
$begingroup$
Closure is part of the definition of a binary operation. When we say a ring is a set $R$ with an operation $+$, we implicitly mean $+$ is a map from $Rtimes R$ to $R$.
$endgroup$
– Wojowu
Jan 8 at 16:47
$begingroup$
Thanks to both of you. The first answer here works for me and I'm waiting for enough time to pass so that I can accept it.
$endgroup$
– PiKindOfGuy
Jan 8 at 16:48