If every commutator is idempotent, then the ring is commutative Let $R$ be a ring and for $x,y\!\in\!R$, define the commutator as $[x,y]:=xy-yx$. An $r\!\in\!R$ is idempotent iff $r^2=r$.
How can one prove, that if every commutator is idempotent, then the whole ring is commutative, i.e. all commutators are zero?
 A: This does not answer the general question, but a simple special case, which I find cute:
Suppose $R$ is a finite dimensional algebra over a field of characteristic zero. Pick $x$, $y\in R$. Since $[x,y]$ is a commutator, its action on every finite dimensional $R$-module is of trace zero; on the other hand, since $[x,y]$ is by hypothesis idempotent, its trace on a module is the dimension of its image. It follows that $[x,y]$ acts by zero on every module so, because faithful modules do exist, it must be zero.
Later. Consider the non-commutative polynomial $f(x,y)=[x,y]^2-[x,y]$, and define new polynomial $h$ by $$h(x,y)=f(x,y)-f(y,x)$$ A simple computation shows that $h(x,y)=2[x,y]$. 
If we plug elements of $R$ into $f$ we get zero, so the same is true of $h$. The above observation means then that $2[x,y]=0$ for all $x$, $y\in R$. If now $2$ is invertible in $R$, or at least not a divisor of zero, then we see that $R$ is commutative.
A: Proof from "Two elementary generalisations of boolean rings" AMM Feb.1986:
Let $Z(R):=\{x\!\in\!R;\: \forall y\!\in\!R\!: xy=yx\}$ denote the center of the ring. We notice that 
    \begin{equation*}
        \label{eq:7.1}
        xy-yx=(xy-yx)^2=(yx-xy)^2=yx-xy.
        \tag*{(1)}
    \end{equation*}
First we show a general lemma, that if $xy\!=\!0$ implies $yx\!=\!0$ $(\ast)$, then every idempotent $e$ is central. For arbitrary $r\!\in\!R$ we have $(e^2\!-\!e)r=0=e(er\!-\!r)$ and by $(\ast)$ we have $0=(er\!-\!r)e=ere\!-\!re$. Similarly, from $r(e^2\!-\!e)=0=(re\!-\!r)e$ by $(\ast)$ we get $0=e(re\!-\!r)=ere\!-\!er$. Therefore $re=ere=er$ which proves $e\!\in\!Z(R)$.
Next we prove, that all commutators are central. This follows from the previous paragraph, because the condition $(\ast)$ holds: if $xy=0$, then $yx$ $=yx-xy$ $=(yx\!-\!xy)^2$ $=(yx)^2$ $=y(xy)x$ $=0$. We have proved, that 
    \begin{equation*}
        \label{eq:7.2}
        \forall x,y\in R:\; xy-yx\in Z(R).
        \tag*{(2)}
    \end{equation*}
Next we prove that all squares are central. This we get from the equality  $x(xy-yx)$ $\overset{(1)}{=}x(yx-xy)$ $\overset{(2)}{=}(yx-xy)x$, which tells us that $x^2y=yx^2$ , i.e.
\begin{equation*}
    \label{eq:7.3}
    \forall x\in R:\; x^2\in Z(R).
    \tag*{(3)}
\end{equation*}
Next we prove, that $(xy)^2=(yx)^2$. This we achieve via $(3)$ by writing $yxy$ as a sum of squares:
$$(xy)^2 =x(yxy)=x\big((yx)^2+y^2-(yx\!-\!y)^2-y^2x\big)$$
\begin{equation*}
    \label{eq:7.4}
    \overset{(3)} {=}\big((yx)^2+y^2-(yx-y)^2-y^2x\big)x=(yxy)x=(yx)^2
    \tag*{(4)}
\end{equation*}
Finally, we show that all elements are central:
$$xy\!-\!yx=(xy\!-\!yx)^2=xy(xy\!-\!yx)\!-\!yx(xy\!-\!yx) \overset{(1)}{=} xy(xy\!-\!yx)\!-\!yx(yx\!-\!xy)$$
$$= (xy)^2\!-\!xy^2x\!-\!(yx)^2\!+\!yx^2y\overset{(4)}{=}-\!xy^2x\!+\!yx^2y \overset{(3)}{=} -\!x^2y^2\!+\!x^2y^2=0$$
This completes the proof.
