Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can someone write a small proof that is being omitted by the book? I'm sure it's easy but for some reason I'm a little confused.

It says:

"Let R be a ring (not necessarily commutative). Let J be an ideal of R containing all the differences xy-yx as x and y range over R. It is quite easy to show that the quotient ring R/J is commutative."

share|cite|improve this question
up vote 2 down vote accepted

We can actually prove something a bit stronger. Namely: Let $R$ be a ring and $J$ an ideal of $R$. $R/J$ is commutative if and only if $xy - yx\in J$ for all $x,y\in R$.

Proof: To show that a ring is commutative, we need to show that $xy = yx$ for all $x,y$ in the ring. But this is the same as showing that $xy - yx = 0$. To be $0$ in a quotient ring is the same as being in the ideal that is being modded by. So this shows precisely that $R/J$ is commutative exactly when $xy - yx \in J$ for all $x,y \in R$.

share|cite|improve this answer
I get it now! Thanks! – user39794 Dec 18 '12 at 18:08
I did not say we needed $ab = ba$ for elements in $J$. I said that we need $ab - ba \in J$ for all $a,b \in R$. – Tobias Kildetoft Dec 18 '12 at 18:11

When does $xy \equiv yx \pmod J$?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.