Properties of Boolean rings
Advanced Ring Theory question for CSIR-NET · GATE. Choose an option, check your answer, then read the detailed solution.
Question RT-007
Let $R$ be a ring with unity such that $x^2=x$ for every $x\in R$ (a Boolean ring). Which of the following must necessarily hold for every Boolean ring $R$?
Detailed Solution
For any $x\in R$, apply idempotency to $x+x$: $(x+x)^2=x+x$. Expanding, $(x+x)(x+x)=4x^2=4x$ (using $x^2=x$), so $4x=2x$, giving $2x=0$ for every $x$ — hence $R$ has characteristic $2$. For commutativity, expand $(x+y)^2=x+y$ for any $x,y\in R$: $x^2+xy+yx+y^2=x+y$, and since $x^2=x$, $y^2=y$, this simplifies to $xy+yx=0$, i.e. $xy=-yx$. Since the characteristic is $2$, $-1=1$, so $xy=yx$ — proving $R$ is commutative. This confirms (C) and rules out (A) (characteristic is $2$, not $3$) and (B) (commutativity is forced, not merely "need not" hold). Option (D) is false: $R=\mathbb Z_2\times\mathbb Z_2$ is a Boolean ring (every element satisfies $x^2=x$) but is not a field, since $(1,0)(0,1)=(0,0)$ shows it has zero divisors. Thus the correct option is $\boxed{\mathrm{C}}$.Concepts tested: Boolean ringsCharacteristicCommutativity
💬 Discuss this problem
Have a doubt or a different approach? Continue the mathematics discussion on Telegram.
Join Telegram Discussion
Have a doubt or a different approach? Continue the mathematics discussion on Telegram.
Join Telegram Discussion
Keep Practising
More Ring Theory Questions
A Boolean Ring on a Power Set
Which property holds for the ring of subsets under symmetric difference and intersection?
Attempt Question →Complement of an Idempotent Element
If $e$ is idempotent in a ring with unity, what can be said about $1-e$?
Attempt Question →Nontrivial Idempotents in $\mathbb Z_3\times\mathbb Z_3$
Does the product ring $\mathbb Z_3\times\mathbb Z_3$ contain nontrivial idempotents?
Attempt Question →