Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be a non-zero commutative ring with identity. The following is well known:

If $x,y \in R$ are idempotents then $x+y-2xy$ is also an idempotent and more than that by defining $x*y = x+y-2xy$, the set of idempotent elemetns becomes a 2-group.

Now Let $T$ be the set of all elements $x$ with $x^3 =x$. Is there any general binary operation on $T$ that makes $T$ a (semi)group ?

share|improve this question
I think you've asked too many questions too quickly. This is like 3 or 4 already today. I'd normally restrict myself to 1 per day, so I could actually respond to comments people leave and think through the answers they give. Also, if you post too many questions too quickly you'll have lower chances of all being answered. –  David White Dec 29 '12 at 23:26
Are you certain the operation that you named $\ast$ is associative? –  Todd Trimble Dec 29 '12 at 23:41
Note that for such an x, xx is an idempotent, so you already have such an operation on a subset of T. Gerhard "Ask Me About System Design" Paseman, 2012.12.29 –  Gerhard Paseman Dec 30 '12 at 0:07
Don't you mean x+y-xy? You are supposed to think of + as union and product as intersection and you are trying to construct the symmetric difference. –  Benjamin Steinberg Dec 30 '12 at 3:08
I think the answer to your question is that there is no "natural operation" a commutative semigroup of idempotents is automatically a meet-semilattice and inside of a ring forms a boolean algebra. You are trying to take the additive part of the corresponding boolean ring. –  Benjamin Steinberg Dec 30 '12 at 3:10

Your Answer


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