Why is commutativity optional in multiplication for rings?
$begingroup$
More precisely, why is it that all rings are required by the axioms to have commutativity in addition, but are not held to the same axiom regarding multiplication? I know that we have commutative and non-commutative rings depending on whether or not they are commutative in multiplication, but I am wondering why it is that the axioms were defined that way, providing us with this option.
I am using this list of axioms, from David Sharpe’s Rings and factorization:
abstract-algebra ring-theory commutative-algebra
$endgroup$
|
show 4 more comments
$begingroup$
More precisely, why is it that all rings are required by the axioms to have commutativity in addition, but are not held to the same axiom regarding multiplication? I know that we have commutative and non-commutative rings depending on whether or not they are commutative in multiplication, but I am wondering why it is that the axioms were defined that way, providing us with this option.
I am using this list of axioms, from David Sharpe’s Rings and factorization:
abstract-algebra ring-theory commutative-algebra
$endgroup$
1
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
1
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
2
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago
|
show 4 more comments
$begingroup$
More precisely, why is it that all rings are required by the axioms to have commutativity in addition, but are not held to the same axiom regarding multiplication? I know that we have commutative and non-commutative rings depending on whether or not they are commutative in multiplication, but I am wondering why it is that the axioms were defined that way, providing us with this option.
I am using this list of axioms, from David Sharpe’s Rings and factorization:
abstract-algebra ring-theory commutative-algebra
$endgroup$
More precisely, why is it that all rings are required by the axioms to have commutativity in addition, but are not held to the same axiom regarding multiplication? I know that we have commutative and non-commutative rings depending on whether or not they are commutative in multiplication, but I am wondering why it is that the axioms were defined that way, providing us with this option.
I am using this list of axioms, from David Sharpe’s Rings and factorization:
abstract-algebra ring-theory commutative-algebra
abstract-algebra ring-theory commutative-algebra
edited 5 hours ago
Eevee Trainer
7,05321337
7,05321337
asked 5 hours ago
KusaKusa
323
323
1
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
1
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
2
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago
|
show 4 more comments
1
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
1
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
2
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago
1
1
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
1
1
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
2
2
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago
|
show 4 more comments
1 Answer
1
active
oldest
votes
$begingroup$
The first rings that were considered were generally commutative; polynomial rings, then from work of Dedekind in number fields. The properties were then abstracted Fraenkel and Noether, who still dealt mostly with commutative rings.
However, it soon became apparent that there were too many instances where commutativity of multiplication did not hold. You had famously the quaternions, of course, but you also had matrices and, more generally, the endomorphism ring of an abelian group (where “multiplication” is composition of functions). So that we have two different, related, notions: commutative rings and noncommutative rings, just like we have noncommutative groups and commutative/abelian groups.
Now, why do this with multiplication and not with addition? Well, if you take your definition of ring above, which includes a unity, but you drop condition (3) (that is, you require everything except you do not require that addition be commutative), it turns out that the other eight axioms force commutativity of addition.
Indeed, suppose you have a structure $(R,+,cdot,0,1)$ that satisfies axioms (1), (2), and (4)-(9) above. I claim that one can deduce (3). Indeed, let $a,bin R$. Then using associativity on the left first, and associativity on the right second, we have
$$begin{align*}
(1+1)(a+b) &= 1(a+b) + 1(a+b) = a+b+a+b\
(1+1)(a+b) &= (1+1)a + (1+1)b = a+a+b+b.
end{align*}$$
From this we get that $a+b+a+b = a+a+b+b$. Now add the inverse of $a$ on the left and the inverse of $b$ on the left on both sides to get
$$begin{align*}
(-a) + a + b + a + b + (-b) &= 0+b+a+0 = b+a\
(-a) + a + a + b + b + (-b) &= 0+a+b+0 = a+b
end{align*}$$
Thus, we conclude that $a+b=b+a$. That is, commutativity of addition is a consequence of the other eight axioms.
The reason we include it is two-fold: one, is that it is much nicer to say that the first few axioms force $(R,+)$ to be a commutative/abelian group. The second is that it is also common to consider rings without unity, and if we do that, then it is no longer true that addition is forced to be commutative. To see this, note that if $(G,cdot)$ is any group with identity element $e_G$, and we define a multiplication on $G$ by letting $a*b=e_G$ for all $a,bin G$, then $(G,cdot,*)$ satisfies axioms (1)-(8) given above. But if the original group is not commutative, then the “addition” in this ring is not commutative. So if we want to consider rings without unity, we do want to explicitly require addition to be commutative.
$endgroup$
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
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%2f3134219%2fwhy-is-commutativity-optional-in-multiplication-for-rings%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$
The first rings that were considered were generally commutative; polynomial rings, then from work of Dedekind in number fields. The properties were then abstracted Fraenkel and Noether, who still dealt mostly with commutative rings.
However, it soon became apparent that there were too many instances where commutativity of multiplication did not hold. You had famously the quaternions, of course, but you also had matrices and, more generally, the endomorphism ring of an abelian group (where “multiplication” is composition of functions). So that we have two different, related, notions: commutative rings and noncommutative rings, just like we have noncommutative groups and commutative/abelian groups.
Now, why do this with multiplication and not with addition? Well, if you take your definition of ring above, which includes a unity, but you drop condition (3) (that is, you require everything except you do not require that addition be commutative), it turns out that the other eight axioms force commutativity of addition.
Indeed, suppose you have a structure $(R,+,cdot,0,1)$ that satisfies axioms (1), (2), and (4)-(9) above. I claim that one can deduce (3). Indeed, let $a,bin R$. Then using associativity on the left first, and associativity on the right second, we have
$$begin{align*}
(1+1)(a+b) &= 1(a+b) + 1(a+b) = a+b+a+b\
(1+1)(a+b) &= (1+1)a + (1+1)b = a+a+b+b.
end{align*}$$
From this we get that $a+b+a+b = a+a+b+b$. Now add the inverse of $a$ on the left and the inverse of $b$ on the left on both sides to get
$$begin{align*}
(-a) + a + b + a + b + (-b) &= 0+b+a+0 = b+a\
(-a) + a + a + b + b + (-b) &= 0+a+b+0 = a+b
end{align*}$$
Thus, we conclude that $a+b=b+a$. That is, commutativity of addition is a consequence of the other eight axioms.
The reason we include it is two-fold: one, is that it is much nicer to say that the first few axioms force $(R,+)$ to be a commutative/abelian group. The second is that it is also common to consider rings without unity, and if we do that, then it is no longer true that addition is forced to be commutative. To see this, note that if $(G,cdot)$ is any group with identity element $e_G$, and we define a multiplication on $G$ by letting $a*b=e_G$ for all $a,bin G$, then $(G,cdot,*)$ satisfies axioms (1)-(8) given above. But if the original group is not commutative, then the “addition” in this ring is not commutative. So if we want to consider rings without unity, we do want to explicitly require addition to be commutative.
$endgroup$
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
add a comment |
$begingroup$
The first rings that were considered were generally commutative; polynomial rings, then from work of Dedekind in number fields. The properties were then abstracted Fraenkel and Noether, who still dealt mostly with commutative rings.
However, it soon became apparent that there were too many instances where commutativity of multiplication did not hold. You had famously the quaternions, of course, but you also had matrices and, more generally, the endomorphism ring of an abelian group (where “multiplication” is composition of functions). So that we have two different, related, notions: commutative rings and noncommutative rings, just like we have noncommutative groups and commutative/abelian groups.
Now, why do this with multiplication and not with addition? Well, if you take your definition of ring above, which includes a unity, but you drop condition (3) (that is, you require everything except you do not require that addition be commutative), it turns out that the other eight axioms force commutativity of addition.
Indeed, suppose you have a structure $(R,+,cdot,0,1)$ that satisfies axioms (1), (2), and (4)-(9) above. I claim that one can deduce (3). Indeed, let $a,bin R$. Then using associativity on the left first, and associativity on the right second, we have
$$begin{align*}
(1+1)(a+b) &= 1(a+b) + 1(a+b) = a+b+a+b\
(1+1)(a+b) &= (1+1)a + (1+1)b = a+a+b+b.
end{align*}$$
From this we get that $a+b+a+b = a+a+b+b$. Now add the inverse of $a$ on the left and the inverse of $b$ on the left on both sides to get
$$begin{align*}
(-a) + a + b + a + b + (-b) &= 0+b+a+0 = b+a\
(-a) + a + a + b + b + (-b) &= 0+a+b+0 = a+b
end{align*}$$
Thus, we conclude that $a+b=b+a$. That is, commutativity of addition is a consequence of the other eight axioms.
The reason we include it is two-fold: one, is that it is much nicer to say that the first few axioms force $(R,+)$ to be a commutative/abelian group. The second is that it is also common to consider rings without unity, and if we do that, then it is no longer true that addition is forced to be commutative. To see this, note that if $(G,cdot)$ is any group with identity element $e_G$, and we define a multiplication on $G$ by letting $a*b=e_G$ for all $a,bin G$, then $(G,cdot,*)$ satisfies axioms (1)-(8) given above. But if the original group is not commutative, then the “addition” in this ring is not commutative. So if we want to consider rings without unity, we do want to explicitly require addition to be commutative.
$endgroup$
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
add a comment |
$begingroup$
The first rings that were considered were generally commutative; polynomial rings, then from work of Dedekind in number fields. The properties were then abstracted Fraenkel and Noether, who still dealt mostly with commutative rings.
However, it soon became apparent that there were too many instances where commutativity of multiplication did not hold. You had famously the quaternions, of course, but you also had matrices and, more generally, the endomorphism ring of an abelian group (where “multiplication” is composition of functions). So that we have two different, related, notions: commutative rings and noncommutative rings, just like we have noncommutative groups and commutative/abelian groups.
Now, why do this with multiplication and not with addition? Well, if you take your definition of ring above, which includes a unity, but you drop condition (3) (that is, you require everything except you do not require that addition be commutative), it turns out that the other eight axioms force commutativity of addition.
Indeed, suppose you have a structure $(R,+,cdot,0,1)$ that satisfies axioms (1), (2), and (4)-(9) above. I claim that one can deduce (3). Indeed, let $a,bin R$. Then using associativity on the left first, and associativity on the right second, we have
$$begin{align*}
(1+1)(a+b) &= 1(a+b) + 1(a+b) = a+b+a+b\
(1+1)(a+b) &= (1+1)a + (1+1)b = a+a+b+b.
end{align*}$$
From this we get that $a+b+a+b = a+a+b+b$. Now add the inverse of $a$ on the left and the inverse of $b$ on the left on both sides to get
$$begin{align*}
(-a) + a + b + a + b + (-b) &= 0+b+a+0 = b+a\
(-a) + a + a + b + b + (-b) &= 0+a+b+0 = a+b
end{align*}$$
Thus, we conclude that $a+b=b+a$. That is, commutativity of addition is a consequence of the other eight axioms.
The reason we include it is two-fold: one, is that it is much nicer to say that the first few axioms force $(R,+)$ to be a commutative/abelian group. The second is that it is also common to consider rings without unity, and if we do that, then it is no longer true that addition is forced to be commutative. To see this, note that if $(G,cdot)$ is any group with identity element $e_G$, and we define a multiplication on $G$ by letting $a*b=e_G$ for all $a,bin G$, then $(G,cdot,*)$ satisfies axioms (1)-(8) given above. But if the original group is not commutative, then the “addition” in this ring is not commutative. So if we want to consider rings without unity, we do want to explicitly require addition to be commutative.
$endgroup$
The first rings that were considered were generally commutative; polynomial rings, then from work of Dedekind in number fields. The properties were then abstracted Fraenkel and Noether, who still dealt mostly with commutative rings.
However, it soon became apparent that there were too many instances where commutativity of multiplication did not hold. You had famously the quaternions, of course, but you also had matrices and, more generally, the endomorphism ring of an abelian group (where “multiplication” is composition of functions). So that we have two different, related, notions: commutative rings and noncommutative rings, just like we have noncommutative groups and commutative/abelian groups.
Now, why do this with multiplication and not with addition? Well, if you take your definition of ring above, which includes a unity, but you drop condition (3) (that is, you require everything except you do not require that addition be commutative), it turns out that the other eight axioms force commutativity of addition.
Indeed, suppose you have a structure $(R,+,cdot,0,1)$ that satisfies axioms (1), (2), and (4)-(9) above. I claim that one can deduce (3). Indeed, let $a,bin R$. Then using associativity on the left first, and associativity on the right second, we have
$$begin{align*}
(1+1)(a+b) &= 1(a+b) + 1(a+b) = a+b+a+b\
(1+1)(a+b) &= (1+1)a + (1+1)b = a+a+b+b.
end{align*}$$
From this we get that $a+b+a+b = a+a+b+b$. Now add the inverse of $a$ on the left and the inverse of $b$ on the left on both sides to get
$$begin{align*}
(-a) + a + b + a + b + (-b) &= 0+b+a+0 = b+a\
(-a) + a + a + b + b + (-b) &= 0+a+b+0 = a+b
end{align*}$$
Thus, we conclude that $a+b=b+a$. That is, commutativity of addition is a consequence of the other eight axioms.
The reason we include it is two-fold: one, is that it is much nicer to say that the first few axioms force $(R,+)$ to be a commutative/abelian group. The second is that it is also common to consider rings without unity, and if we do that, then it is no longer true that addition is forced to be commutative. To see this, note that if $(G,cdot)$ is any group with identity element $e_G$, and we define a multiplication on $G$ by letting $a*b=e_G$ for all $a,bin G$, then $(G,cdot,*)$ satisfies axioms (1)-(8) given above. But if the original group is not commutative, then the “addition” in this ring is not commutative. So if we want to consider rings without unity, we do want to explicitly require addition to be commutative.
edited 4 hours ago
answered 5 hours ago
Arturo MagidinArturo Magidin
264k34588915
264k34588915
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
add a comment |
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
$begingroup$
There is an entire thread on the 4th paragragh, see Why is ring addition commuattive?
$endgroup$
– Bill Dubuque
5 hours ago
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%2f3134219%2fwhy-is-commutativity-optional-in-multiplication-for-rings%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
1
$begingroup$
For what it's worth, we also have the notion of a "commutative ring," one in which multiplication does commute. (en.wikipedia.org/wiki/Commutative_ring) Of course I get you're trying to get at why we don't require this, and I don't know how to answer you on that, but I figured it's a point worth bringing up.
$endgroup$
– Eevee Trainer
5 hours ago
$begingroup$
@EeveeTrainer Thank you! I dunno if you missed it, but I did express my awareness of that.
$endgroup$
– Kusa
5 hours ago
1
$begingroup$
Note that matrices are an example where addition is commutative but multiplication is not necessarily
$endgroup$
– J. W. Tanner
5 hours ago
$begingroup$
Oh, I did miss it, sorry about that Kusa. xD
$endgroup$
– Eevee Trainer
5 hours ago
2
$begingroup$
The first rings that were considered were generally commutative, but it soon became apparent that rings with noncommutative multiplication were far too common, starting with matrices and, more generally, endomorphism rings of abelian groups. On the other hand, if you take the definition of ring with unity, but omit the condition that addition is commutative, it turns out that you can prove that the other conditions force commutativity of addition.
$endgroup$
– Arturo Magidin
5 hours ago