37
$\begingroup$

A ring $R$ is a Boolean ring provided that $a^2=a$ for every $a \in R$. How can we show that every Boolean ring is commutative?

$\endgroup$
  • 1
    $\begingroup$ There's a proof of this in the first chapter of Halmos' Lectures on Boolean Algebras. $\endgroup$ – Michael Hardy Sep 8 '11 at 12:44
  • $\begingroup$ This is exercise 15 from chapter 7 Introduction to Rings section 1 Definitions and Examples in Dummit and Foote, 3rd edition. $\endgroup$ – nilo de roock Sep 19 '14 at 10:25

10 Answers 10

58
$\begingroup$

Every Boolean ring is of characteristic 2, since $a+a=(a+a)^2=a^2+a^2+a^2+a^2=a+a+a+a\implies a+a=0$.
Now, for any $x,y$ in the ring $x+y=(x+y)^2=x^2+xy+yx+y^2=x+y+xy+yx$, so $xy+yx=0$ and hence $xy+(xy+yx)=xy$. But since the ring has characteristic 2, $yx=xy$.

$\endgroup$
  • $\begingroup$ How do you go from xx+xy+yx+yy to x+xy+yx+y? $\endgroup$ – NUG Feb 22 '17 at 18:58
  • $\begingroup$ @NUG Since every element in $R$ is idempotent. $\endgroup$ – Bach Jun 10 at 10:46
23
$\begingroup$

I always like to know where these problems come from, their history. This was first proved in a paper by Stone in 1936. Here's a link to that paper for anyone who is interested:

http://dx.doi.org/10.1090/S0002-9947-1936-1501865-8

His proof is in the first full paragraph on p. 40.

$\endgroup$
  • $\begingroup$ Can someone provide a valid link or just copy the main idea? I failed to load the paper but I am eager to take a look at it. Thanks. $\endgroup$ – Bach Jun 10 at 10:41
8
$\begingroup$

Of course, this is an old chestnut: if you are interested in typical generalizations of this commutativity theorem in a wider, more structural context (to associative, unitary rings) I suggest reading T.Y. Lam's beautiful Springer GTM 131 "A First Course in Noncommutative Rings", Chapter 4, §12, in particular the Jacobson-Herstein Theorem (12.9), p. 209: A (unitary, associative) ring $R$ is commutative iff for any $a,b\in R$ one always has $(ab-ba)^{n+1}=ab-ba$ for some $n\in\mathbb N$ ($n$ generally depending on $a,b$). (Further, using Artin's theorem concerning diassociativity of alternative algebrae, associativity of $R$ may be weakened to alternativity.) Cp. also the exercises given, in particular Ex. 9. Note that the Boolean case is special, as that the ring considered needn't be unitary a-priori. Kind regards - Stephan F. Kroneck.

$\endgroup$
5
$\begingroup$

We want to show that $xy = yx$ for all $x,y \in R$. We know that $(x+y)^2 = x+y$. So $(x+y)^2 = (x+y)(x+y) = xx+xy+yx+yy = x+xy+yx+y = x+x^2y^2+y^2x^2+y$. This equals $x+(xy)+(yx) + y = x+y$ so that $xy = yx$.

$\endgroup$
  • $\begingroup$ How do you go from xx+xy+yx+yy to x+xy+yx+y? $\endgroup$ – NUG Feb 22 '17 at 18:56
  • $\begingroup$ $xx+xy+yx+yy = x^2 +xy+yx+y^2 = x+xy+yx+y$ because it was given that $a^2 =a$ for all $a \in R$. $\endgroup$ – Matt Robbins Feb 28 '18 at 18:56
  • 1
    $\begingroup$ Hello, how does $xy+yx$ imply $xy=yx$? Doesn't $xy=yx$ imply $xy-yx=0$, and so how is $xy+yx=0$? $\endgroup$ – numericalorange Apr 3 '18 at 22:49
  • 1
    $\begingroup$ @numericalorange because the Boolean ring is of characteristic 2, and so 1+1=0 implies that 1 = -1 :) $\endgroup$ – IntegrateThis Apr 20 at 3:42
4
$\begingroup$

Plug $a = x + y$.

$\endgroup$
3
$\begingroup$

HINT $\rm\quad\ \ A = X+Y\ \ \Rightarrow\ \ X\ Y = - Y\ X\:.\ $ But $\rm -1 = 1\ $ via $\rm\ A = -1$

$\endgroup$
3
$\begingroup$

If $a,b\in R$, \begin{align} 2ba &=4ba-2ba\\ &=4(ba)^2-2ba\\ &=(2ba)^2-2ba\\ &=2ba-2ba\\ &=0, \end{align} so \begin{align} ab &=ab+0\\ &=ab+2ba\\ &=[ab+ba]+ba\\ &=[(a+b)^2-a^2-b^2]+ba\\ &=[(a+b)-a-b]+ba\\ &=0+ba\\ &=ba. \end{align}

$\endgroup$
2
$\begingroup$

As Yuval points out $(x+y)^{2} = x+y$ which implies $x^{2} + y^{2} + x \cdot y + y \cdot x = x+y$. Now from this you have $x \cdot y + y \cdot x =0$.

$\endgroup$
  • $\begingroup$ I don't work out the rest because, Timothy has already done it before me. $\endgroup$ – anonymous Nov 14 '10 at 18:46
1
$\begingroup$

When you get to the part where ab=-ba ab =-ba (1) Pre-multiply a to both sides a(ab)=a(-ba)
a^2b=a-ba ab=a-ba (2) Post-multiply a to (1) (ab)a=(-ba)a aba=-ba^2 aba=-ba (3) . . . From (2) & (3), you can deduce that ab=ba

$\endgroup$
0
$\begingroup$

I have solved this question myself and wonder what are the solutions on the Internet, and yet since I didn't see any solution like mine (most probably because my solution didn't notice that the ring is of characteristic $2$). Anyway, I will put it here.

For any $x,y$ in the ring let $a=xy-yx$, then $$xax=x^2yx-xyx^2=xyx-xyx=0$$ and $$xay=x^2y^2-xyxy=xy-(xy)^2=0$$ hence $$0=(xax)y-(xay)x=xa(xy-yx)=xa^2=xa.$$ Seeking for symmetry we find that $y(-a)=0$, and so $$ya=ya+y(-a)=y(a+(-a))=y0=0$$ hence $$0=x(ya)-y(xa)=(xy-yx)a=a^2=a.$$ This completes the proof.

$\endgroup$

protected by user26857 Dec 5 '15 at 10:38

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?