Professional Documents
Culture Documents
Characterization of Weak Bi-Ideals in Bi-Near Rings
Characterization of Weak Bi-Ideals in Bi-Near Rings
Characterization of Weak Bi-Ideals in Bi-Near Rings
A S-bi near ring N is said to be a S -bi near A bi-near ring N is called left bi-potent
ring if x for all a, bN1N2 if Na2 = Na all a N1N2
Definition: 2.7 Definition: 2.20
A bi-near ring N is said to be a P(m,n)( A bi-near ring N is called left simple if Na = N
P(m,n))-bi-near ring if there exist a positive all a N1N2.
integer m,n such tht xN = xmNxn(Nx = xmNxn) for Definition: 2.21
all x N1N2 A bi-near-ring N is called CPNS bi-near ring if
Definition: 2.8 NxNy = NyNx for all x, y N1N2
A bi-near ring N is said to be a Pk(Pk)-bi-near Definition: 2.22
ring if there exist a positive integer k such that xkN A bi-near ring N is said to be Sub
= xNx(Nxk = xNx) for all xN1N2 commutative if Nx= xN for all xN1N2.
Definition: 2.23
Definition: 2.9 A bi-near ring N is said to be Stable if Nx =
A bisubgroup A of a bi-near ring (N,+,.) is said xNx = Nx for all xN1N2
to be Left(right)N-bisubgroup of N if Definition: 2.24
NAA(ANA) For AN,we define Radical A of A to be {
Definition: 2.10 x N1N2/ xkA for some positive integer k }.
A bisubgroup M of a bi-near ring N is called a Clearly A A
bi-sub near-ring of N if MMM. Definition: 2.25
Definition: 2.11 A bi-near ring N is called a bi-near field, if the
A bi-near ring N is said to have property(), if set of all non-zero elements of N is a group under
xN is a bisubgroup of (N,+) for every xN1N2 multiplication.
Definition: 2.12 Definition: 2.26
Let (N,+,.) be a binear-ring. A bisubgroup B of A bi-near ring N is called a Generalized Bi-
(N,+) is called bi-ideal of N if BNBB. i.e., near-Field (GNF) if for each a N1N2 there
BN1BB(or BN2BB). exists a unique bN1N2 such that aba = a and b =
Definition: 2.13 bab.
A bi-ideal B of a bi-near ring (N,+) is called Definition 2.27 :
Strong bi-ideal of N if NB2B.i.e., N1B2B( or A bi-near ring N is called Boolean if x2 = x for
N2B2B). all xN1N2
Definition: 2.14 Lemma 2.28: Let N be a zero-symmetric bi-near
A bisubgroup B of (N, +) is said to be a ring and if N is strongly bi-regular, then N is a bi-
Generalized (m,n) bi-ideal of N if BmNBnBi.e., regular bi-near ring.
BmN1Bn B ( or BmN2Bn B) where m and n are Lemma 2.29:
positive integers. Let N be a bi-regular bi-near ring. Then
Definition: 2.15 any left N-bisubgroup M of a bi-near ring N is an
Let (N,+,.) be a binear-ring. A bi idempotent bi-near ring.
subgroup Q of (N,+) is called a Quasi-ideal of N if Theorem 2.30:
QNNQQ i.e., QN1N1QQ(or QN2N2QQ) The following conditions are equivalent
Definition: 2.10 for a S-bi-near ring N.
A bi-near ring N is said to be bi-regular (i) N is strict weakly bi-regular.
if for any a N1N2 there exists b N1N2with (ii) For every aN, a(Na)2.
aba = a . (iii) For any two left N-bi-subgroups S1 and S2
Definition: 2.16 such that S1 S2 we have S2S1 = S1.
A bi-near ring N is said to be Self Result 2.31:
distributive bi-near ring if abc = abac for all If x2 = 0 x = 0 for all x N1 N 2 , then
a,b,cN1N2 a bi-near ring N has no non-zero nilpotent
Definition: 2.17 elements.
A bi-near ring N is said to be Strict weakly Lemma 2.32:
biregular if A2= A for every left N-bisubgroup of Let N be a zero-symmetric bi-near ring. If
N. L = {0}, then en = ene for 0 eE and for all
Definition: 2.18 n N1 N 2 .
A bi-near ring N is called strongly biregular if Lemma 2.33:
for each a N1N2, there exists b N1N2 such If a bi-near ring N is a zero-symmetric
that a = ba2. with ENd and L={0}, then ne = ene for all eE
Definition: 2.19 and for all n N1 N 2 .
Theorem 2.34
The following are equivalent in a bi-near A sub commutative S-bi-near ring is left
ring. bi-potent if and only if B = BNB for every bi-ideal
(i) A bi-near ring N is GNF. B of N.
(ii) A bi-near ring N is bi-regular and each
idempotent is central. 3.Weak Bi-ideals
(iii) N is bi-regular and sub commutative bi-
near ring. Definition 3.1.1:
Lemma 2.35: A bisubgroup B of a bi-near ring (N, +) is
If a bi-near ring N has the condition, eN = said to be a weak bi-ideal if B3B.
eNe = Ne for all e E, then E C(N). Remark 3.1.2:
Theorem 2.36: Every bi-ideal B of a bi-near ring is a weak bi-
Let N be a bi-regular bi-near ring.Then N ideal of a bi-nearr ing, but the converse is not true.
is stable a bi-near ring if and only if it is a sub For, consider the bi-near ring N = N 1 N 2 where
commutative bi-near ring
N1={0, a, b, c} according to the scheme (0,0,2,1)
Theorem 2.37:
(p. 408 Pilz [1]).
Let N be a bi-regular bi-near ring.Then N is a
stable bi-near ring iff EC(N ). . 0 a b c
Proposition 2.38: 0 0 0 0 0
Let N be a bi-near ring then the following
a 0 0 a a
are equivalent. b 0 0 c b
(i) N is a B-bi-regular bi-near ring
c 0 0 b c
(ii) RL = RL for every left N-bi-subgroup L
of N and for every right N-bi-subgroup R Or N2={0, a,b,c} according to the scheme(0,4, 1, 1)
of a bi-near ring N (p. 408 Pilz [1]).
(iii) For every pair of elements a,b of a bi-near
ring N, (a)r(b)l=(a)r(b)l. . 0 a b c
(iv) For any element a of a bi-near ring N, 0 0 0 0 0
(a)r(a)l=(a)r(a)l. a 0 b a a
b 0 c b b
Theorem 2.39: c 0 a c c
Let N be a bi-regular bi-near ring. Then if
N has (Ps), then xN= xNx for all x,n N1 N 2 . In this bi-near ring one can check that {0, b} and
Proposition 2.40: {0, c} are weak bi-ideals of N1 ( or N2). However
Every bi-regular bi-near ring is a B- {0, b}N1{0, b} = {0, c, b}{0, b}( or{0, b}N2{0,
biregular bi-near ring b} = {0, c, b}{0, b}) and hence {0, b} is not a bi-
Proposition 2.41 ideal of N1( or N2).Therefore {0, b} is a weak bi-
Let N be a S bi-near ring with property ideal of a bi-near ring N but not a bi-ideal of a bi-
(). Then the following are equivalent. near ring N.
(i) N is a B-biregular bi-near ring
(ii) N is a bi-regular bi-near ring Proposition 3.1.3:
(iii) For every quasi-ideal Q, QPQ = Q for Any homomorphic image of a weak bi-ideal is
some subset P of a bi-near ring N. also a weak bi-ideal of a bi-near ring N
Theorem 2.42 Proof:
Let a bi-near ring N(=No) is bi-regular. Let f : N N be a homomorphism and
Then the following statements are equivalent. B a weak bi-ideal of N where N = N 1 N 2 and
(i) N is an N.S.I. bi-near ring. N ' = N1' N 2' .Given B is a weak bi-ideal of a bi-
(ii) xN = xNx for all x in N. near ring N = N 1 N 2 implies B3B. Let B=f(B).
(iii) For all N-bisubgroups M1 and M2 of N,
Let bf(B). Then b3 = f(b)3 = f(b3) f(B3) f(B)
M1 M2 = M1 M2
= B.i.e., B3 B. Thus every homomorphic image
(iv) Nx Ny = Nxy for all x,y in N.
of a weak bi-ideal is also a weak bi-ideal of
(v) Every N-bisubgroup of a bi-near ring N is
a completely semi - prime ideal. N = N 1 N 2 . Hence any homomorphic image
(vi) A bi-near ring N has property P4. of a weak bi-ideal is also a weak bi-ideal of a bi-
(vii) A bi-near ring N has strong IFP. near ring N.
Proposition 1.1.66:
Proposition 3.1.4:
i.e. a = n1an2a. Since N is a left self-distributive bi- BBNB andso B = BNB for every bi-ideal B of a
near ring, a= n1an2a = n1an2a2Na2. i.e. a = n1an2 a2 bi-near ring N.
= ba2 where b = n1an2 N 1 N 2 . Hence a=ba2
where a,b N 1 N 2 .Thus N is strongly bi-regular
Proposition 3.1.13:
bi-near ring.Conversely, assume that N is strongly Let N be a left self-distributive S-bi-near
bi-regular bi-near ring.To prove B =NB2 where B is ring. Then B = B3 for every weak bi-ideal B of a bi-
a strong bi-ideal of a bi-near ring N.By definition
near ring N if and only if L1 L2 = L1L2 for any
of strong bi-ideal NB2 B.Since N is strongly bi- two left N-bisubgroups of a bi-near ring N.
regular bi-near ring,for bB then b N1 N 2 there Proof :
exist n N1 N 2 such that b=nb2 NB2 implies B Assume that B = B3 for every weak bi-
NB2. Hence NB2 = B for every strong bi-ideal B of ideal B of a bi-near ring N. By the Proposition
a bi-near ring N. 3.1.8, N is a strongly bi-regular bi-near ring.Every
bi-ideal B of a bi-near ring is also a weak bi-ideal
of a bi-near ring then by proposition 3.1.12
N is
Theorem 3.1.11: a bi-regular bi-near ring.Let L1 and L2 be any two
Let N be a left self-distributive S-bi-near left N-bisubgroups of a bi-near ring N. Let
ring. Then B3 = B for every weak bi-ideal B of N xL1L2 implies xL1 and xL2. Since N is a bi-
if and only if NB2 = B for every strong bi-ideal B of regular bi-near ring, for x N 1 N 2 there exist
a bi-near ring N. some a N 1 N 2 such that x = xax.Therefore
Proof:
x=xaxL1NL2L1L2 since NL2 L2 which
Let N be a left self-distributive S-bi-near
ring. Assume that B3 = B for every weak bi-ideal B implies that L1 L2 L1 L2.On the other hand, let
of a bi-near ring N then by Proposition 3.1.8 N is x L1 L2. Since N is a strongly bi-regular bi-near
strongly bi-regular bi-near ring.Now by Proposition ring, L={0} and so en=ene for all eE.Since
3.1.10 NB2 = B for every strong bi-ideal B of a bi- xL1L2, trivially xL2.Then x=yzL1L2 with
near ring N. Conversely assume that NB2 = B for yL1 and zL2.Now x=yz=(yby)z. Since by is an
every strong bi-ideal B of a bi-near ring N then by idempotent (by)z = (by)z(by). Thus x = yz =
Proposition 3.1.10 N is strongly bi-regular bi-near y(by)z = y(by)z(by)N1L1( or N2L1)L1 implies
ring.Now by Proposition 3.1.8 B3 = B for every xL1.Thus xL1L2. From the two inclusions
weak bi-ideal B of a bi-near ring N. proved above, we get that
L1L2=L1L2.Conversely assume that L1L2=L1L2
for any two left N-bisubgroups of a bi-near ring
Proposition 3.1.12: N.To prove B = B3 for every weak bi-ideal B of a
Let N be a left self-distributive S-bi-near bi-near ring N. Let a N 1 N 2 then Na is a left N-
ring.Then B = BNB for every bi-ideal B of a bi- bisubgroup of a bi-near ring N.Now, by our
near ring N if and only if N is a bi-regular bi-near assumption we get that Na=NaNa=NaNa. But
ring.
Na=NaN=NaN implies that Naa=NaNa.
Proof :
Therefore Na = NaNa = Naa = Na2.Since N is a S-
Assume that B = BNB for every bi-ideal
bi-near ring,aNa=Na2. i.e., for a N 1 N 2 ,
B of a bi-near ring N. To prove N is bi-regular bi-
near ring. let aN then Na is a bi-ideal of N. aNa=Na2 implies N is a strongly bi-regular bi-
Since N is a S-bi-near ring, we get aNa=NaNNa. near ring. By the Proposition 3.1.8, B = B3 for
i.e., a = n1an2a for some n1,n2 N 1 N 2 . Since N is every weak bi-ideal B of a bi-near ring N.
Proposition 3.1.14:
a left self-distributive bi-near ring, a = n1an2a2 Let N be a left self - distributive S-bi-near
Na2. Therefore for a,b N 1 N 2 , a= n1an2a2 = ring. Then B = B3 for every weak bi-ideal B of a bi-
ba2 where b = n1an2. Hence N is a strongly bi- near ring N if and only if A = A for a left N-
regular bi-near ring and so by the Lemma 2.28, N bisubgroup A of a bi-near ring N.
is a bi-regular bi-near ring. Conversely, Assume Proof :
that N is a bi-regular bi-near ring and B is a bi- Assume B = B3 for every weak bi-ideal B of a
ideal of a bi-near ring N implies BNBB.Now to bi-near ring N. By the Proposition 3.1.8, N is a
prove BBNB. Let bB then b N1 N 2 . Since N strongly bi-regular bi-near ring. Let A be a left N-
is a bi-regular bi-near ring, for each bisubgroup of a bi-near ring N. To Prove A=A.
b N 1 N 2 ,there exist a N 1 N 2 such that b = bab But obviously AA.Its enough to prove A A
.Let a A, then anA for some positive integer
BN1B(or BN2B) implies b BNB.Hence n.Since N is strongly bi-regular bi-near ring,for
each a N 1 N 2 there exist b N 1 N 2 such that
a=ba2= baa.Since N is left self-distributive bi-near For, consider the bi-near ring
ring we get that a=ba2 = baa = baba = b(aba) = N = N 1 N 2 where (N1,+) defined on the
b(abaa) = baba2== baban N1A (or N2A)A. Kleins four group (N1,+) with N1 ={0,a,b,c}
i.e.,aA implies AA.Therefore A=A for every where the semigroup operation . is defined as
left N-bisubgroup A of a bi-near ring N. follows (scheme (7,7,7,7) p.408, Pilz[1]).
Conversely assume that A = A for every left N-
bisubgroup A of a bi-near ring N.Let a N1 N 2 . 0 a b c
then a3Na2 and hence a Na2 = Na2.Thus for all 0 0 0 0 0
a N 1 N 2 ,aNa2 implies N is a strongly bi- a a a a a
b 0 0 0 0
regular bi-near ring. Therefore by the Proposition
c a a a a
3.1.8, B = B3 for every weak bi- ideal B of a bi-
near ring N.
Or N2 ={0,a,b,c} where the semigroup operation
. is defined as follows (scheme (7,7,1,7) p.408,
3.2 In this section, we prove certain
Pilz[1]).
results for left self distributive bi-near ring.
. 0 a b c
Remark 3.2.1 : 0 0 0 0 0
We can see that left permutable and left
a a a a a
self - distributive are not equivalent we give the
b 0 0 b 0
following two examples.
c a a c a
Exam ple 3.2.2 : This is left self- distributive but not left permutable
For, consider the bi-near ring
bi-near ring since abc bac for a,b,cN1N2.
N = N 1 N 2 where (N1,+) be the group of
integers modulo 8 Define . as per the (scheme Proposition 3.2.3:
(0,6,4,6,0,6,4,6) p.414, Pilz[1]). Let N be a left self distributive S-bi-near
ring. Then the following conditions are equivalent.
(i) B = B3 for every weak bi-ideal B of a bi-
. 0 1 2 3 4 5 6 7 near ring N.
0 0 0 0 0 0 0 0 0 (ii) N is a bi-regular and CPNS bi-near ring.
1 0 6 4 6 0 6 4 6 (iii) Nx Ny = Nxy for all x,y N = N1 N 2 .
2 0 4 0 4 0 4 0 4
(iv) N is a left bi-potent bi-near ring.
3 0 2 4 2 0 2 4 2
(v) N is a Boolean bi-near ring.
4 0 0 0 0 0 0 0 0
5 0 6 4 6 0 6 4 6 Proof :
6 0 4 0 4 0 4 0 4 To prove (i) (ii)
7 0 2 4 2 0 2 4 2 Assume that B = B3 for every weak bi-ideal B
of a bi-near ring N.By the Proposition 3.1.8, N is a
where (N2,+) be the group of integers modulo 8 strongly bi-regular bi-near ring and so N is a bi-
Define . as per the (scheme (0,2,4,2,0,2,4,2) regular bi-near ring. It is enough to show that N is
p.414, Pilz[1]). CPNS bi-near ring.Since N is bi-regular bi-near
ring then by the Proposition 3.1.13, A B = AB
. 0 1 2 3 4 5 6 7 for two left N-bisub groups A and B of a bi-near
0 0 0 0 0 0 0 0 0 ring N. Let x, y N 1 N 2 then Nx and Ny are left
1 0 2 4 2 0 2 4 2 N-bisub groups of N. Now by the Proposition
2 0 4 0 4 0 4 0 4 3.1.13, we get that NxNy = NxNy = NyNx =
3 0 6 4 6 0 6 4 6 NyNx.Therefore NxNy = NyNx for all
4 0 0 0 0 0 0 0 0 x,y N 1 N 2 . Hence N is a CPNS bi-near ring.
5 0 2 4 2 0 2 4 2 Hence N is bi-regular and CPNS bi-near ring.
6 0 4 0 4 0 4 0 4
To prove (ii)(iii)
7 0 6 4 6 0 6 4 6
Let x,yN. As N is a bi-regular bi-near
ring, by the Lemma 2.29,A = A2 for every left N-
One can see that this N = N 1 N 2 is left
bisubgroup A of a bi-near ring N.Since Nx Ny is
permutable, but not left self-distributive since a left N-bisub group of a bi-near ring N,Nx Ny =
1351315(or 1551515) (Nx Ny)2 NxNy Ny.Again since N is a
CPNS bi-near ring,NxNy=NyNxNx.Therefore
Example 3.2.2.1 :
NxNy = NxNy. Now Nx = NxN = NxN implies
Nxy = NxNy. Therefore Nxy = NxNy for all x,
= Q1Q2Q2Q1 for every pair of quasi-ideals Q1 and Assume that N is a left bi-potent bi-near
Q2 of a bi-near ring N. ring.Let a N 1 N 2 then a Na=Na2 ( N is S-bi-
To prove (vi) (vii) near ring).Hence a N = N 1 N 2 implies aNa2
Assume that Q1Q2 = Q1Q2 Q2Q1 for and so N is strongly bi-regular bi-near ring implies
every pair of quasi-ideals Q1 and Q2 of a bi-near N is a bi-regular bi-near ring. Then by proposition
ring N.Take Q1 =Q2=Q.By the assumption Q = Q 3.1.12 B = BNB for every bi-ideal B of a bi-near
Q = Q2Q2 = Q2. Hence Q2 = Q for every quasi- ring N.
ideal Q of a bi-near ring N. To prove (xii) (i)
To prove (vii) (viii) Let Q be a quasi-ideal of a bi-near ring N.
Assume that Q2 = Q for every quasi-ideal Since every quasi-ideal of a bi-near ring is a bi-
Q of a bi-near ring N.To Prove B2 = B for every bi- ideal of a bi-near ring N, then Q = QNQ for every
ideal B of a bi-near ring N. Let xB then Nx is a quasi-ideal Q of a bi-near ring N.
quasi-ideal of a bi-near ring N. If Nx is a quasi-
ideal of N then xNx=(Nx)2=NxNx( N is S-bi-
near ring).i.e., x = n1xn2x for some n1, Proposition 3.2.5:
n2 N 1 N 2 .Since N is a left self-distributive bi- Let N be a left self distributive S-bi-
near ring, x = n1xn2x = n1xn2x2Nx2. From this near ring and B = B3 for every weak bi-ideal B of a
xNx2 for all x N1 N 2 .Hence N is a strongly bi- bi-near ring N. Then a bi-near ring N has no non-
zero zero-divisors if and only if N is a left simple
regular bi-near ring and so N is a bi-regular bi-near bi-near ring.
ring.Let aBNNB. Then a = xn = n1x1 for some Proof :
x,x1B then x,x1 N 1 N 2 and n,n1 N 1 N 2 . Let N be a left self-distributive S-bi-near
Since x is regular, x = xyx for some ring and B = B3 for every weak bi-ideal B of a bi-
y N1 N 2 .Hence near ring N.Assume that N has no non-zero zero
a=xn=(xyx)n=(xy)(n1x1)BN1B(orBN2B)BNB divisors.Since B = B3 for every weak bi-ideal B of
B.That is BNNBB. Therefore B is a quasi-ideal a bi-near ring N, then by the Proposition 3.1.17, N
of a bi-near ring N and so B2 = B for every bi-ideal is a Boolean bi-near ring. i.e., For all x N1 N 2 ,
B of bi-near ring N. Nx=Nx2.Since N has no non-zero divisors, it
To prove (viii) (ix) follows that N=Nx for all x (N 1 N 2 )* . Hence a
Assume that B2 = B for every bi-ideal B bi-near ring N has no non-trivial left N-
of a bi-near ring N.To prove N is a strict weakly bisubgroup.Therefore a bi-near ring N is
bi-regular bi-near ring. Let x N 1 N 2 then Nx is simple.Conversely assume that N is a left simple
a bi-ideal of a bi-near ringN.Since N is a S-bi-near bi-near ring then by remark 2.31, a bi-near ring N
ring xNx=(Nx)2.Therefore xN implies has no non-zero zero-divisors.
2
xNx=(Nx) . Hence by the Theorem 2.30, N is a
strict weakly bi-regular bi-near ring. Proposition 3.2.6:
To prove (ix) (x) Let N be a left self - distributive S - bi-
Assume that N is a strict weakly bi- near ring. Then B = B3 for every weak bi-ideal B of
regular bi-near ring.Let a N1 N 2 implies a bi-near ring N if and only if xN = xNx for all
aNa( N is S-bi-near ring). If aNa then xN.
aNa=(Na)2 =(Na)(Na). i.e., a = n1an2a for some Proof :
n1,n2 N 1 N 2 . Since N is a left self-distributive bi- Assume that B = B3 for every weak bi-
ideal B of a bi-near ring N then by the Proposition
near ring,a=n1an2a=n1an2a2 Na2. Hence for all 3.1.8, N is a strongly bi-regular bi-near ring and so
a N 1 N 2 implies aNa2.Hence N is a strongly N is a bi-regular bi-near ring. Hence by the Result
bi-regular bi-near ring. 2.31 and by the Lemma 2.32,en = ene for eE and
To prove (x) (xi) n N1 N 2 . Let yxN then y = xn1 = xaxn1.( N
Assume that N is strongly bi-regular bi- is bi-regular).Since e = ax is an idempotent, axn1 =
near ring then N is a bi-regular bi-near ring.Thus axn1ax for all n1 N 1 N 2 .Thus y = xn1 = xaxn1 =
for every a N 1 N 2 there exist b N 1 N 2 such
x(axn1ax)xNx and so xN xNx. Hence yxN
that a = aba. Let xNa then x = n1a = n1aba = implies xN xNx.But trivially xNx xN and thus
n1abaaNa2.From this xNa implies xNa2 for all xN = xNx for xN.Conversely assume that xN =
x N 1 N 2 . Thus Na = Na2 for all a N 1 N 2
xNx for all x N1 N 2 . since N is a S -bi-near
i.e., N is a left bi-potent bi-near ring.
To prove (xi) (xii) ring, for x N 1 N 2 ,x xN= xNx which implies
that x is regular. Therefore N is a bi-regular bi-near
ring. Therefore by the Theorem 3.1.18, B = B3 for xNx, x N 1 N 2 and so N is a bi-regular bi-
every weak bi-ideal B of a bi-near ring N. near ring. As in our assumption N is a Pk bi-near
ring with E Nd , using the Theorem 2.37, and
Theorem 3.2.7:
Corollary 2.38, E C(N). Therefore by the
Let N be a left self-distributive S-bi-near ring.
Theorem 2.39, N is a stable bi-near ring.
Then the following conditions are equivalent.
(i) B = B3 for every weak bi-ideal B of a To Prove (iv) (v)
Assume that N is a stable bi-near ring. Let
bi-near ring N with E Nd.
x N 1 N 2 .Since N is stable and a S-bi-near ring,
(ii) aNa = Na = Na2 for every a
N1 N 2 . xNx=xNx for all x N 1 N 2 . i.e., N is a bi-
regular a bi-near ring.Then by the Theorem 2.37, E
(iii) N is a Sk and Pk bi-near ring for any
C(N). Again by Theorem 2.40, we get that N is a
positive integer k with E Nd.
P(1,2) bi-near ring. Since N is a bi-regular bi-near
(iv) N is a stable bi-near ring.
ring, we get that N is a S -bi-near ring.
(v) N is a P(1, 2) bi-near ring and S - bi-
near ring. To Prove (v) (vi)
(vi) N is a P(m,n) and bi-regular bi-near Assume that N is a Sand a P(1,2) bi-near
ring. ring,then aaN = Na2 a N 1 N 2 .Therefore N
(vii) B=BmNBn for every generalized(m,n) is a strongly bi-regular bi-near ring and so N is a
bi-ideal B of a bi-near ring N. bi-regular bi-near ring. By the Theorem 2.41, N is a
Proof : P(m,n) bi-near ring.
To Prove (i) (ii) To Prove (vi) (vii)
Assume that B = B3 for every weak bi- Assume that N is a bi-regular and
ideal B of a bi-near ring N with E Nd. Then by P(m,n) bi-near ring, Then by the Theorem 2.42,
the Proposition 3.1.8, N is a strongly bi-regular bi- and by the Theorem 2.41,E C(N). Let B be a
near ring. From this L={0}. By the Lemma 2.32, en generalized (m,n) bi-ideal of a bi-near ring N
= ene for all e E & n N 1 N 2 .Since E Nd, by implies BmNBn B.Let xB. Since N is a bi-
the Lemma 2.33,ne=ene for all eE and regular bi-near ring, then for x N 1 N 2 there
n N 1 N 2 . Hence E C(N). From this N is a exist some y N 1 N 2 such that x = xyx= xaxyxax
GNF.Let a N 1 N 2 .Now N is strongly bi-regular = xa (xyx) ax = (xa)m (xyx) (ax)n = xmam (xyx) anxn
bi-near ring then by the Proposition 2.34, N is a xm Nxn BmNBn. i.e.,B Bm N Bn. Therefore
sub commutative bi-near ring.Therefore aNa = B = Bm N Bn for every generalized (m, n) bi
Naa = Na2 for all a N 1 N 2 . By the Theorem ideal B of a bi-near ring N.
3.1.18, N is left bi-potent and so Na = Na2 for all To Prove (vii) (i)
Assume that B = Bm N Bn for every generalized
a N1 N 2 . Thus aNa = Na = Na2 for all a
(m, n) bi ideal B of a bi-near ring N. Since every
N1 N 2 . Hence aNa = Na = Na2 for all a bi-ideal is a generalized (m,n) bi-ideal of a bi-near
N1 N 2 . ring N, B = BmNBn BNB. Thus B=BNB forevery
To Prove (ii) (iii) biideal B of a bi-near ring N.By Proposition
Assume that aNa = Na = Na2 for all a 3.1.18, B = B3 for every weak bi- ideal B of bi-near
2 ring N.
N1 N 2 .Since N is a S-bi-near ring, aNa = Na for
all a N 1 N 2 .Therefore N is a strongly bi-regular
bi-near ring. Therefore N contains no non-zero
nilpotent elements. Thus eN = eNe. By the Proposition 3.2.8:
assumption eNe=Ne. Therefore eN = eNe = Ne and
so by the Lemma 2.35, E C(N). Therefore by the Let N be a left self - distributive S-bi-near
Theorem 2.36, N is a Pk bi-near ring.Since E ring and B = B3 for every weak bi-ideal B of N.
C(N), E Nd.Let x N1 N 2 . Since N is bi-regular Then the following conditions are true.
bi-near ring and left self - distributive x = xax =
(i) B R = BR RB for every bi-ideal B of N and
xax2 = ... =x axk for all x N1 N 2 Nxk and so N is
for every right N-bisubgroup R of a bi-near ring N.
a Sk bi-near ring. (ii) B L = BL LB for every bi-ideal B of N and
To Prove (iii) (iv) for every left N-bisubgroup L of a bi-near ring N.
Assume that N is a Sk and Pk bi-near ring for (iii) Q L = QL LQ for every quasi-ideal Q of
any positive integer k with E Nd. Let x N and for every left N-bisubgroup L of a bi-near
k
N 1 N 2 .Since N is a Sk-Pk bi-near-ring, xx N = ring N.
(iv) Q R = QR RQ for every quasi-ideal Q of The biggest application that we can enter now is
N and for every right N-bisubgroup R of a bi-near the building of a large steel rusting bi-nearring near
ring N. our institute. We think it's cool. It's also the reason
(v) R L =RLLR = RL for every right and left that I have used the "open-top" bi-nearring symbol
N-bisubgroups R and L of a bi-near ring N. for this collection of pages, since this is the largest
(3 metres plus, that's 10 feet for the imperialists)
application of nearring. I respect it's orientation. It
Proof: can become one more religious war, like left-right-
(i) Let B be a bi-ideal of a bi-near ring N. ness or the existance of hyphens.One element that
If x BR RB BN NB, then x = bn = has appeared recently as an application of nearrings
n1b1,where b,b1B and n, n1 N 1 N 2 . By the is the use of planar and other nearrings to develop
designs and codes. Roland Eggestberger, Gerhard
Proposition 3.1.8, N is a strongly bi-regular bi-near
Wagner, Peter Fuchs, Gunter Pilz all worked on
ring.Therefore N is a bi-regular bi-near ring. Let
some projects in this direction. Other people who
bB.Then b = bab for some a N 1 N 2 .Therefore have been major movers in this direction are Jim
x=bn=babn= ban1b1BNB B. Also x Clay and We.F. Ke.
BRRBNRRN RN R. Therefore BR RB
B R.On the other hand let xBR.Then x=b=r References
where bB and r R. If bB, then b=bab for
some a N 1 N 2 and r=rcr for some [1] Pilz Gunter, NearRings, North Holland,
c N 1 N 2 .Now x = b = bab = babr = br BR. Amsterdam, 1983.
[2] Jat J.L and Choudhary .S.C, On Strict weakly regular
Similarly x = r = rcr = rcrr = rcrb = rb RB and so
near-rings,The mathematics Student,Vol.46, No. 2(1978),
BRBRRB.Therefore BRRB=BR for every 175-182.
biideal B of a bi-near ring N and for every right [3] Tamil Chelvam and N.Ganesan On Biideals of
N-bisubgroup R of a bi-near ring N. Near-Rings,indian J.pure appl.Math.18(11), 1002
1005 Nov 1987.
(ii) Proof follows as in (i). [4] Tamil Chelvam and S.Jayalakshmi On Generalized
(m,n) Bi-ideals of a nearrings,Journal of the Indian
(iii) and (iv) Let Q be a quasi - ideal of a bi-near Math.Soc.
ring N. Every quasi - ideal a bi-near ring is also a bi Vol.69, Nos1-4 (2002), 57 60
[5] Jayalakshmi.S A Study on Regularities in near rings,
- ideal of a bi-near ring N. From (i) and (ii), (iii) PhD thesis,Manonmaniam Sundaranar University, 2003
and (iv) are true. [6] Tamizh Chelvam T, Bi-ideals and B-regular near-
rings, J. Ramanujam Math. Soc.7(2) (1982) 155164.
(v) Clearly RLLRRL. If xRL,then x = r = [7] Tamizh Chelvam T and Ganesan.N,On minimal bi-
l for some rR and lL. Since N is a bi-regular bi- ideals of near-rings,Journal of the Indian Math.
near ring r = rar and l = lbl for some a,b N 1 N 2 . Soc.53(1988)161166
[8]Tamizh Chelvam T and Jayalakshmi .S, On weak bi-
Then x = r = rar = rarr = rarl = rlRL.Similarly ideals of near-rings,, Journal of Korea Soc. Math. Educ.
xLR.Therefore RL = RL LR. By the B : Pure
assumption,N is a bi-regular a bi-near ring. Every appl. Math... Vol.14, Number 3 (2007) 153159.
bi-regular bi-near ring is also B-biregular a bi-near [9] Von Neumann On regular rings-Proc. Nat. Acad.
ring. Therefore by the Proposition 2.43, R L = USA 22(1936), 707-713
[10] W. B. Vasantha Kandasamy, Bialgebraic structures
RL for every left and right N - bisubgroups L and R
and Smarandache bialgebraic Structures, American
of a bi-near ring N. Research Press,
2003.