Professional Documents
Culture Documents
Lemma Theorem 1. Proof. - : + X) X + X. Thus, X + X
Lemma Theorem 1. Proof. - : + X) X + X. Thus, X + X
Weak commutativity
The following lemma is a specialization to boolean near-rings of a result by
Reddy and Murty [7] on strongly regular near-rings.
Lemma 1. If N is a boolean near-ring, then xy = xyx for each x,y e N.
Theorem 1. If N is a boolean near-ring, then abc = acb for each a,b,c N.
Proof. Let a,b,c e N. Then b(a - ac)c = b(ac - ac) = bO. Thus, [{a-ac)b{a-ac)]c
= (a-ac)b0 implies {a-ac)bc - (a-ac)b0 by Lemma 1. Since cbc = cb, we
obtain, from the preceding equation that abc-acb - abO - acbO. Next, c{a ac)c = c{ac - ac) = cO and thus, by Lemma 1, c(a - ac) = cO and this gives
bc(a - ac) bcO. Again, by Lemma 1, bc(a - ac) = bc(a - ac)bc and thus, by
the last two equations, bc{a - ac)bc = bcO. Now pre-multiplying both sides
by a - ac we obtain [(a - ac)bc{a - ac)bc] = (a - ac)bc0 and this gives, by
idempotency, that (a - ac)bc = (a- ac)bc0. Again, using cbc cb, we obtain
from the preceding equation that abc - acb = abcO - acbO. But we have seen
earlier that abc - acb abO - acbO and so abcO - acbO = abO - acbO and
this gives that abcO = abO for each a, b,c N. Hence, by using the result just
obtained, we have that abO = aabO = aaO = aO for each a,b e N. Returning
to the equation abc - acb = abO-acbO we conclude that abcacb = abOacbO = aO-aO = 0. Therefore abc = acb for each a,b,ce N.
S. Light [4] proved that a boolean (right) near-ring N containing a left
multiplicative identity is a boolean ring. With Theorem 1 at our disposal, we
give a modification of his result as follows.
Theorem 2. Let N denote a boolean near-ring such that, if each of x,y N, then
there exists an e e N such that ex x and ey = y. Then N is a boolean ring.
Proof. Let
(S \ + S 2
- - - +S ) ( X
X)
= i|(x + x)+52(jC+A,)-|----+5(x+x) = 0.
Let A denote a boolean ring and let B denote an additive abelian group.
Consider the group direct sum A B of A and B. Define a multiplication in
A B by (a\ , b \ ) (02, >2) = (1 2 1 ) It can be verified directly
that A B forms a boolean right near-ring with commutative addition and
satisfies the identity (*-.k)0 = xy-yx. We will denote this boolean near-ring by
N(A, B).
Theorem 4. Let N denote a boolean near-ring in which the addition is
commutative and suppose, for each x , y N , that
(*) (jc - y)0 xy - yx.
Then there exist a boolean ring A and an abelian group B such that N =
N (A , B).
Proof, let A = {a N|<z0 = 0} and let B = {b e N|60 = b). Clearly, A and B are
additive subgroups of N . For each a\yaz A, we have by (*) that ai02~a2ai
= (ai-fl2)0 = ajO-^O = 0-0 = 0 and thus a\ai = aia\. Also, A is closed with
respect to multiplication since (01*22)0 = Zi(22O) = ajO = 0 for each
fl|,fl2 A and thus 2^2 A. Hence A is a boolean ring. Furthermore, A n B
= {0} and, from the definitions of A and B along with Theorem 1, ab = abO
= aOb = aO = 0, for each a A and b B.
Let (f > : N N (A , b ) denote a mapping defined by <f>{jc) = (jc x0,jc0) for each x N. It is easy to see that <f> is additive. To see that <f> is
also multiplicative, let x\, X2 N. Using the identity (*), we obtain x\ (X2X2O) - (*2-*20)Xi = [ATi (JC2 JC20)]0 = ^10-(AT2-JC20)0 = X|0- JC20 + JC2O = JC|0.
Thus X \ {X 2 - JC2O) - X2X \ + JC2O = jciO and rearranging we obtain *1
{ x 2 - X2O) = X2X y + (x\ ~ *2)0 = *2*1 + *i*2 ~ *2*1 = *i*2- Also, by
Theorem 1, X1X2O = X1OX2 = *i0. Thus, <f>{x\)(f>{x2) = (x\ - XiO,XiO)
(a:2 - *20,*20) = ((X \ - Xi0)(*2 - *20),X \0 ) = (x i (x 2 - *20) - XiO(x2 *20),*i0) = (*i*2 - A"i0, jcjO) = { x \ x z - *|JC20,*i*20) = <f>(xix2). Hence,
^ is a homomorphism. That <f> is injective is trivial.
Now, for each (a, b) e N (A , B ), let c = a + b . Then c O = {a + 6)0 = a0 +60
= 0 + 6 = 6 and c - c 0 = a + b - b = a. Thus 4>{c) = (c - cO, cO) = (a, b).
This shows that <f> is suijective. Therefore <f> is an isomorphism and
consequently N = N (A , B).