You need to use tex /tex instead of math tags. They still need the square braces. []
[Note: when I pressed "preview post," I got the error "LaTeX ERROR: Unknown error" all over, and most of the text didn't appear. However, it seems to be a problem with my own computer because the code is correct. Please let me know if I did something wrong, and how to fix this display problem. Thanks]
This is a seemingly-innocuous problem from my abstract algebra book that turns out to be getting the better of me. Let be a ring such that for all . Then is a commutative ring.
I've already proven that in a ring where , we have commutativity. This was done by first proving that , and then I had:
whence
But by the lemma discussed above, so we had , and so .
I figured I would do something similar for the present problem. In fact, I have already shown that . Proceeding as before, I then evaluated , but this didn't yield anything too helpful. What did work out nicely was to evaluate which led quickly to a nice result:
In fact, it seems like I'm almost done, because if I can only show that
then I can prove commutativity from there. It sounds right, and it is right, but regrettably I don't see the proof of the above fact. In spite of the progress I seem to have made, I'm stuck. Any ideas?
ok, so if x^3 = x, then R is reduced because x^2 = 0 --> x = x^3 = (x^2)x = 0x = 0. therefore (x^2)^2 = x^4 = (x^3)x = x^2, so any square is idempotent, and thus central.
so x+x = (x^2 + x)^2 - x^2 - x^2, and since this is a sum of squares, is central.
finally, x+x^2 = x^2 + x^2 + x^2 + x^2 + x + x + x + x, so x+x+x = -(x^2 + x^2 + x^2), so x+x+x is central, thus x = (x+x+x) - (x+x) is central, thus R is commutative?
(and, yeah, i know, i skipped a couple steps).
First Deveno, try to use Latex; it helps. E.g., is [tex]x+x = (x^2 + x)^2 - x^2 - x^2[/tex].
Second, you seem to have it, but I would say that instead of "is a sum of squares." The idea is the same, no doubt, but the idea is that Z(R) is a subring and therefore closed under addition. We expressed 2x in terms of elements in Z(R) and therefore 2x must also be in Z(R), i.e., 2x is central. That link was great. I completely forgot how to approach this problem since I haven't done algebra in a few years, but I knew I did it before.
I didn't even realize that Wordpress was yours. Very nice in the simple and direct (yet comprehensive) explanation of things, as well as the page design (e.g., the graphic has that looping arrow pointing to the rss feed). I know where I'm looking when I need algebra help (will review for math gre later this year).