2
$\begingroup$

Given $R$ is a ring, and $b$ is some positive integer such that $x + x^{2b + 1} = x^{2b} + x^{10b + 1}$ for all $x \in R$, prove that $R$ is Boolean, i.e. $x =x^2$ for all $x$ in $R$.

I am not sure where to begin with the problem, and what avenue of approach I should take such that my methodology is inclusive to all $x$ in R. Would it be feasible to convert this problem into matrix form, and then prove $A = A^2$?

  • 0
    You can try proving that R has characteristic 2. To do this you can try substituting x = 1, 2, 3, ... and see what happens.2010-12-15
  • 1
    How would you "convert the problem" into "matrix form"?2010-12-15
  • 0
    @user4767: There is something amiss in your first sentence. Are you assuming that the equality holds for all $x\in R$, and are trying to deduce from *that* equality that $x=x^2$ for all $x$?2010-12-15
  • 0
    @Arturo Magidin: Since we assume $x$ in $R$, I want to deduce that $x =x^2$ for all $x$ in $R$.2010-12-15
  • 0
    @Qiaochu Yuan: Just to clarify, do you suggest that I simplify the equality so that 2x = 0?2010-12-15
  • 0
    @user4767: no, I just mean that it might be useful to show that R has characteristic 2 as a lemma. Also, do you get to assume that R is commutative? @Arturo: I have corrected the problem statement.2010-12-15
  • 0
    @Qiaochu Yuan: Well, if R is a Boolean ring then we know that it is commutative because all Boolean rings are commutative. I'm not sure how we can initially assume that, though.2010-12-15
  • 0
    @Qiaochu, user4767: I think Qiaochu's first comment is a suggestion to try $b=1,2,3\ldots$ (as opposed to $x$).2010-12-15
  • 2
    TO show $2 = 0$ in $R$ evaluate the identity at $x = -1$.2010-12-15
  • 0
    @Bill: It's unclear if the ring is assumed to have an identity, but you don't have to; as you had originally suggested, playing with the identity with $x$ and with $-x$ readily yields that $x+x=0$ for all $x$.2010-12-15
  • 0
    @Arturo: no, my suggestion was to try x = 1, 1 + 1, ... and take the gcds (I assumed the ring has an identity).2010-12-15
  • 1
    found a really great paper that could be of service: http://www.emis.de/journals/HOA/IJMMS/Volume17_4/749015.pdf2010-12-15

1 Answers 1