Ring Theory · Advanced

Properties of Boolean rings

Advanced Ring Theory question for CSIR-NET · GATE. Choose an option, check your answer, then read the detailed solution.

Ring TheoryBoolean RingsAdvancedCSIR-NET · GATE30 August 2026

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

Keep Practising

More Ring Theory Questions

A Boolean Ring on a Power Set

AdvancedCSIR-NET · GATE11 Oct 2026

Which property holds for the ring of subsets under symmetric difference and intersection?

Attempt Question →

Complement of an Idempotent Element

AdvancedCSIR-NET · GATE19 Oct 2026

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$

ModerateCSIR-NET · GATE17 Oct 2026

Does the product ring $\mathbb Z_3\times\mathbb Z_3$ contain nontrivial idempotents?

Attempt Question →