0

Is the following statement true/false ?

If $R$ be a ring with unit such that $a^2=a$ for $a \in R.$ Then $ R=\{0,1\}$

My attempt : I think this statement is true

$(a+a)^2=a +a$

$(a+a)(a+a)=a+a \implies a^2+a^2+a^2+a^2=a+a \implies a+a+a+a=a+a$

$\implies a+a=0$ by cancellation laws

Therefore $a=-a \implies 2a=0$ and $R=\mathbb{Z_2}$ i,e $R=\{0,1\}$

Shaun
  • 44,997
jasmine
  • 14,457

2 Answers2

2

Consider a set X. Now consider its power set.

Now consider the operation on the power set to be:

  • Symmetric Difference as "addition"
  • Intersection as "multiplication"

In this structure, the "square" of any element is itself.

Check that all conditions for a ring hold.

0

Posting this Answer because the other Answer ( which is valid ! ) & the Online Examples & the Comments are mostly about Power Sets & Sub-Sets , while I wanted to give a much simpler Example.

Let the ring have all n-bit Binary Strings Eg when $n=8$ , the Elements are $\{00000000,00000001,00000010,\cdots,11111110,11111111\}$ ( 256 Elements ! )

Let ADDITION $+$ be bit-wise "EXCLUSIVE-OR".
Let MULTIPLICATION $\times$ be bit-wise "AND".

We can see that $a + a = 2a = 00000000$ ( always , no matter which Binary String $a$ is )
We can also see $a \times a = a^2 = a$ ( always , no matter which Binary String $a$ is )

Hence , we can have a "large ring" with arbitrary size , not just 2 Elements $\{0,1\}$.
More-over , there is no necessity to consider just Power Sets & Sub-Sets.
There are other "types" of Examples too.

Prem
  • 9,669
  • 1
    This is like the other answer, in a different guise, i.e., you example of a ring of $n$-element bits is an encoding of a power-set on an $n$-element set $X={x_1,\dots,x_n}$ where each subset in encoded as a sequence of bits having $1$ in the $k$-th position iff the $x_k$ belongs to that subset. The operations coincide too. (+1) since this might be easier to understand to some. – amrsa Sep 27 '23 at 11:41
  • 1
    However, this answer is a multiduplicate. See this post, and all those linked or related to it. – Anne Bauval Sep 27 '23 at 12:39
  • Yes , I realized that Connection , when I was typing $256=2^8$ , @amrsa , & I thought about eliminating a few elements to make it not Isomorphic to the Power Set , though I eventually decided that it would then become unintuitive & cumbersome , hence I left it as-it-was !! Mean-while , I think I have cooked up a new valid Example which may not be easily Connected to the Power Set Way , but I think I should not update my Answer , this Question being a Multi-Duplicate !! – Prem Sep 27 '23 at 16:32