SlideShare a Scribd company logo
1 of 13
Download to read offline
Mathematical Theory and Modeling                                                                                      www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




          Commutativity                    in       Prime Gamma Rings with Jordan                               Left
                                                       Derivations

                                                           A.C. Paul


                                         Department of Mathematics, Rajshahi University


                                                      Rajshahi, Bangladesh.


                                                email: acpaulrubd_math@yahoo.com


                                        Md. Mizanor Rahman       (Corresponding Author)


                                        Department of Mathematics, Jagannath University


                                                       Dhaka, Bangladesh.


                                                email: mizanorrahman@gmail.com


Abstract


 Let M be a 2–torsion free prime Г–ring and let d: M→M be a Jordan left derivation . In this article, we show that under a


suitable condition every nonzero Jordan left derivation on M induces the commutativity of M and accordingly d is a left


derivation of M.


Key words: Jordan left derivation, prime Г– ring, left derivation, Г– ring.


1.   Introduction


 N. Nobusawa [7] introduced the notion of a Г–ring       as a generalization of   classical ring . Barnes [2] generalized the


concept of    Nobusawa’s Г–ring. Now a days, a Г–ring due to Barnes is known as a Г–ring and the Г–ring due to Nobusawa


is known as ГN–ring. A number of important properties of Г–rings were introduced by them as well as by Kyuno [5], Luh


[6] and others. We begin with the following definition :
                                                               96
Mathematical Theory and Modeling                                                                                   www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




 Let M and Γ be additive Abelian groups. If there is a mapping M                     sending (x,α,y) → xαy such that


 (a)(x+y) αz = x α z +y α z ,     x(α+β)z=xαz + xβz,       xα(y+z)=xαy + xαz


(b) (xαy) βz=xα (yβz)


for all x, y, z∈M and α, β ∈ Γ, then M is called a Γ–ring.


For example, let R be a ring with 1 and let M=Mm,n(R) and Г= Mn,m(R) then M is a Г–ring with respect to the matrix


addition and matrix multiplication.


Note that every ring is a Г–ring if we take     Г= M.


The notions of a prime Г–ring and a completely prime Г–ring were initiated by Luh [6] and some analogous results


corresponding to the prime rings were obtained by him and Kyuno [5], whereas the concept of a strongly completely prime


Г–ring was used and developed by Sapanie and Nakajima in [8].


A   Γ–ring M is called a prime Г–ring if for all a,b∈M , aΓMΓb=0         implies a=0 or b=0.


And, M is called a completely prime if        aГb = 0   (with a,b∈ M) implies a=0 or b=0.


It is noted that every completely prime Г–ring is a prime Г–ring.


A   Г–ring M is     2–torsion free if 2a=0 implies a=0 for all a∈M. And, a Г–ring M is said to be commutative if


aγb = bγa     holds    for all a,b∈M and γ∈Г.


The notions of      derivation and Jordan derivation of a Г–ring have been introduced by Sapanie and Nakajima [8].


Afterwards, Jun and Kim [4] obtained some significant results due to Jordan left derivation of a classical ring. Y.Ceven [3]


worked on left derivations of completely prime            Г–rings and obtained some extensive results of left derivation and


Jordan left derivation of a          Г–ring. M. Soyturk [9] investigated the commutativity of prime Г–rings with the left and




                                                               97
Mathematical Theory and Modeling                                                                                         www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




right derivations. He obtained some results on the commutativity of prime Г–rings of             characteristic not equal to 2 and 3.


Some commutativity results of prime Г–rings with left derivations were obtained by Asci and Ceran [1].


In this paper, we obtain the commutativity results of 2–torsion free prime Г–rings with left Jordan derivations and


consequently we prove that every Jordan left derivation is a left         derivation.


Let M be a Γ–ring. An additive mapping d:M→M               is called a derivation if


d(aαb) = d(a)αb + aαd(b), for all a, b ∈M and α ∈ Γ.


An additive mapping d:M→M           is called a left derivation if


d(aαb) = aαd(b) + bαd(a), for every a, b ∈M and α ∈ Γ


An additive mapping d:M→M           is called a Jordan derivation if


d(aαa)=d(a)αa+aαd(a), for every a∈M and α ∈ Γ.


An additive mapping d:M→M is called a Jordan left derivation if               d(aαa)=2aαd(a), for every a∈M and α∈Γ.


Y. Ceven [3] proved that every Jordan left derivation on a Г–ring M is a left derivation if M is 2–torsion free        completely


prime Г–ring.


Now we define [a,b]α = aαb–bαa . [a,b]α is called the commutator of a and b with respect to α. We use the condition


aαbβc=aβbαc for all a,b,c∈M and α,β∈Г and will represented it by (⋆). An example of a left derivation and a Jordan left


derivation are given in [3].


2.   Main Results


 The following Lemma is due to Y.Ceven [3, Lemma 2.1]


2.1 Lemma     Let M be a two torsion free           – ring satisfying the condition (⋆) and d be a Jordan left derivation on M. Then


for all a,b                          :


                                                                     98
Mathematical Theory and Modeling                                                                                    www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




      (i)    d(aαb + bαa) =2aαd(b) +2bαd(a).


      (ii)   d(aαbβa) = aβaαd(b)+3aαbβd(a) – bαaβd(a)


      (iii) d(aαbβc+cαbβa)= aβcαd(b)+cβaαd(b)+3aαbβd(c)+3cαbβd(a)–bαcβd(a)–bαaβd(c).


2.2    Lemma     Let M be a 2–torsion free Г–ring satisfying the condition (⋆) and let d   be a Jordan left derivation on M.


Then


(i) [a,b]α β aα d(a) = aα[a,b]α β d(a)


(ii) [a,b]α β(d(aαb) –aα d(b) – bα d(a))=0


(iii) [a,b]α β d([a,b]α )=0


(iv) d(aαaβb)= aβaαd(b)+(aβb+bβa)αd(a)+aαd([a,b]β )


Proof (i)      By Lemma 2.1(iii)



d(aαbβc+cαbβa) = aβcαd(b)+cβaαd(b)+ 3aαbβd(c) +3cαbβd(a) – bαaβd(c) – bαcβd(a).


Replacing       aαb   for     c , we get   d((aαb)β (aαb) + (aαb)αbβa) = aβ(aαb)αd(b)+ (aαb)βaαd(b)+ 3aαbβd(aαb)


+3(aαb)αbβd(a) – bαaβd(aαb) – bα(aαb)βd(a).


This gives



2(aαb)β d(aαb) +d(aα(bαb)βa)


= aβaαbαd(b)+ aαbβaαd(b)+ 3aαbβd(aαb) +3(aαb)αbβd(a) – bαaβd(aαb) – bα(aαb)βd(a).


By using Lemma 2.1(ii)



–aαbβ d(aαb) + bαaβd(aαb) +aβaαd(bαb)+ 3aαbαbβd(a) – bαbαaβd(a)


= aβaαbαd(b)+ aαbβaαd(b)+3aαbαbβd(a)– bαaαbβd(a)


                                                               99
Mathematical Theory and Modeling                                                                         www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




Thus     (aαb–bαa)βd(aαb)=      aβaαbαd(b)–aαbβaαd(b)–bαbαaβd(a)+bαaαbβd(a)


=aαaαbβd(b)–aαbαaβd(b)–bαbαaβd(a)+bαaαbβd(a)=aα(aαb–bαa)βd(b)+bα(aαb–bαa)βd(a)….(A)


Replacing a+b for b (aαb–bαa)β(2aαd(a)+d(aαb))=aα(aαb–bαa)βd(a+b)+(a+b)α(aαb–bαa)βd(a)


Thus      aα(aαb–bαa)βd(b)+bα(aαb–bαa)βd(a)=2aα(aαb–bαa)βd(a)+aα(aαb–bαa)βd(b)+bα(aαb–


bαa)βd(a)–2(aαb–bαa)βaαd(a) ,           By using (A)


(aαb– bαa)βaαd(a) = aα(aαb– bαa)βd(a),              since M is 2–torsion free



Hence      [a,b]α βaαd(a) = aα [a,b]α βd(a).



(ii)    Replacing a+b     for a in Lemma 2.2 (i)


((a+b)αb– bα (a+b))β (a+b)αd(a+b) = (a+b)α((a+b)αb– bα (a+b))βd(a+b)


 (aαb– bαa)β(aαd(a)+bαd(a)+aαd(b)+bαd(b))=aα(aαb–bαa)β(d(a)+d(b))+bα(aαb– bαa)β(d(a)+d(b))


(aαb– bαa)β aαd(a) +(aαb– bαa)β bαd(a)+ (aαb– bαa)β aαd(b) +(aαb– bαa)β bαd(b)= aα(aαb– bαa)βd(a) + aα(aαb–


bαa)βd(b) + bα(aαb– bαa)βd(a) + bα(aαb– bαa)βd(b)


Now using Lemma 2.2(i), we have


aα(aαb– bαa)β d(a) +(aαb– bαa)β bαd(a)+ (aαb– bαa)β aαd(b) –bα(bαa– aαb)β d(b)= aα(aαb– bαa)βd(a) + aα(aαb–


bαa)βd(b) + bα(aαb– bαa)βd(a) – bα(bαa– aαb)βd(b)



 Thus (aαb– bαa)β(bαd(a)+aαd(b)) = (aαb– bαa)β d(aαb),                  By using   (A)


Therefore        (aαb– bαa)β (d(aαb)– aαd(b)–bαd(a)) = 0


This gives      [a,b]α β(d(aαb) –aα d(b) – bα d(a))=0.


(iii)   Using Lemma 2.1(i) in 2.2(ii) ,we get


                                                                  100
Mathematical Theory and Modeling                                                                                   www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




(aαb– bαa)β (–d(bαa)+2 aαd(b)+2bαd(a)– aαd(b)–bαd(a)) = 0


(aαb– bαa)β (d(bαa)– aαd(b)–bαd(a)) = 0…………….(B)


Taking    2.2(ii)–(B)     (aαb– bαa)βd(aαb)–d(bαa) = 0. Therefore [a,b]α β d([a,b]α) = 0.


(iv) From Lemma 2.1(i) , we have          d(aαb+bαa) = 2aαd(b)+2bαd(a)


Replacing bβa for b, we get         d(aαbβa+bβaαa) = 2aαd(bβa)+2bβaαd(a)…………...(C)


Again replacing     aβb    for b in Lemma 2.1(i)    d(aαaβb + aβbαa) = 2aαd(aβb)+2aβb αd(a)…...(D)


Taking    (D) – (C) and using (⋆) , we get


d(aαaβb + aβbαa– aαbβa – bβaαa) = 2aαd(aβb–bβa)+2(aβb – bβa)αd(a).


Thus     d(aαaβb – bβaαa) = 2aαd(aβb–bβa)+2(aβb – bβa)αd(a)……….(E)


Now replacing aβa for a in Lemma 2.1(i) and using (⋆)


d(aβaαb + bαaβa)=2aβaαd(b)+2bαd(aβa)=2aβaαd(b)+4bαaβd(a)=2aβaαd(b)+4bβaαd(a)…(F)


Taking (E)+(F)      d(2aαaβb)=2aβaαd(b)+2aαd(aβb – bβa)+2(aβb+bβa)αd(a)


Since M is 2–torsion free, we have        d(aαaβb)= aβaαd(b)+(aβb+bβa)αd(a)+aαd([a,b]β) .


2.3Theorem       Let M be a 2–torsion free prime Г–ring satisfying the assumption (⋆). If there exists a nonzero Jordan left


derivation d: M→M, then M is commutative.


Proof:    Let us assume that M is non commutative. Lemma 2.2(i) can be written as


(xα(xαy – yαx) – (xαy – yαx)αx)β d(x) = 0             x,y     M   and


This gives    (xαxαy–2xαyαx+yαxαx)β d(x)=0              x,y   M     and


Replacing [a,b]γ for      x, we have


[a,b]γ α[a,b]γ αyβ d([a,b]γ )– 2[a,b]γ αyα [a,b]γ β d([a,b]γ)+ yα [a,b]γ α[a,b]γ β d([a,b]γ)=0.


                                                                  101
Mathematical Theory and Modeling                                                                                    www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




But by Lemma 2.2(iii), we get               [a, b]ߛ α [a, b]ߛ αyβ d([a, b]ߛ ) = 0



For the primeness of M, we have             [a, b] α [a, b] = 0           or      d([a, b]ߛ ) = 0



Suppose that [a, b] α [a, b] = 0 ,       for all    α∈Γ ………….(1)


Using Lemma 2.1 (i) , 2.1( ii), 2.2(iii)     and (1)    we see that



W = d([a, b]ߛ βxβ [a, b]ߛ αyα [a, b] ߛ + [a, b]ߛ αyα [a, b]ߛ                    β [a, b]ߛ βx)



= 2 [a, b] βxβ d([a, b]ߛ αyα [a, b] ߛ ) + 2[a, b]ߛ αyα [a, b]ߛ β d([a, b] ߛ βx)



= 2 [a, b]ߛ βxβ [a, b]ߛ α [a, b] ߛ αd(y) + 6[a, b]ߛ βxβ [a, b]ߛ αyα d([a, b]ߛ )


–2 [a, b]ߛ βxβ yα [a, b] ߛ α d([a,b]ߛ ) + 2 [a, b]ߛ αyα [a, b]ߛ                β d([a, b]ߛ βx)



= 6[a, b]ߛ βxβ [a, b] ߛ αyαd([a, b]ߛ ) –2[a, b]ߛ βxβ yα[a, b]ߛ αd([a, b]ߛ )+2[a, b]ߛ αyα[a, b]ߛ βd([a, b]ߛ βx)



= 6[a, b]ߛ βxβ [a, b]ߛ αyα d([a, b] ߛ ) +2 [a, b]ߛ αyα [a, b]ߛ                 β d([a, b]ߛ βx)...............(2)



On the other hand       W = d([a, b]ߛ β (xβ [a, b]ߛ αy) α [a, b]ߛ )



     = [a, b]ߛ α[a, b]ߛ β d(xβ[a, b]ߛ αy)+3[a, b]ߛ βxβ [a, b]ߛ αyαd([a, b]ߛ )–x β[a, b]ߛ αyβ [a, b]ߛ αd([a, b]ߛ )



     = 3[a, b] βxβ [a, b]ߛ αyα d([a, b]ߛ ) ........................ (3)



Therefore, subtracting (3) from (2), and using (⋆), we get



3[a, b]ߛ βxα[a, b]ߛ βyα d([a, b]ߛ ) + [a, b]ߛ αyβ 2[a, b]ߛ α d([a, b]ߛ βx) = 0 ............... (4)


Also we have       V = d([a, b]ߛ αxβ [a, b]ߛ + xα [a, b]ߛ β [a, b]ߛ )= d([a, b]ߛ αxβ [a, b]ߛ )


= [a, b]ߛ β [a, b]ߛ α d(x) + 3[a, b]ߛ αxβ d([a, b]ߛ ) – xα [a, b]ߛ β d([a, b]ߛ ) = 3[a, b]ߛ αxβ d([a, b]ߛ)…..(5)
                                                                    102
Mathematical Theory and Modeling                                                                                                 www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




 On the other hand



V = d([a, b]ߛ αxβ [a, b]ߛ + xα[a, b]ߛ β [a, b]ߛ ) = 2[a, b]ߛ α d(xβ [a, b]ߛ ) + 2xβ [a, b]ߛ α d([a, b]ߛ )



  = 2[a, b] α d(xβ [a, b] ).............    (6)



Comparing (5) and (6) we obtain            3 [a, b] αxβd([a, b]ߛ ) = 2[a, b]ߛ α d(xβ [a, b]ߛ ) ...................(7)



Now [a, b]ߛ α d(xβ [a, b]ߛ + [a, b]ߛ βx) = [a, b]ߛ α (2xβ d([a, b]ߛ ) + 2[a, b]ߛ β d(x)



          = 2 [a, b]ߛ αxβ d([a, b]ߛ ) + 2[a, b]ߛ α [a, b]ߛ β d(x) = 2 [a, b]ߛ αxβ d([a, b]ߛ ) ........... (8)



Thus     3[a, b]ߛ α (d(xβ [a, b]ߛ ) + d([a, b]ߛ βx)) = 6[a, b]ߛ αxβ d([a, b]ߛ )= 2.3 [a, b]ߛ                   αxβ d([a, b]ߛ )



= 2.2 [a, b] α d(xβ [a, b] ) = 4 [a, b]ߛ α d(xβ [a, b]ߛ )             by using    (7)



Therefore we have        3[a, b]ߛ α (d(xβ [a, b]ߛ ) + 3[a, b]ߛ α d( [a, b]ߛ βx) = 4 [a, b]ߛ α d(xβ [a, b]ߛ ).


This gives                         3[a, b] α d([a, b]ߛ βx) = [a, b]ߛ α d(xβ [a, b]ߛ )           ...................... (9)



By (9) we have        [a, b]ߛ α d((xβ [a, b]ߛ ) + [a, b]ߛ βx) = 3[a, b]ߛ α d([a, b]ߛ βx) + [a, b]ߛ α (d([a, b]ߛ βx)



= 4[a, b] α d([a, b]ߛ βx) ..................(10)



We also obtain that [a, b]ߛ αd(( xβ [a, b]ߛ) + [a, b]ߛ βx)=[a, b]ߛ α2x β d( [a, b]ߛ) + [a, b]ߛ α2[a, b]ߛβd(x)



= 2 [a, b] αxβd([a, b]ߛ)………………(11)



From (10) and (11), we obtain 4[a, b]ߛ α d([a, b]ߛ βx) – 2[a, b]ߛ α xβ d([a, b]ߛ ) = 0



                                                                     103
Mathematical Theory and Modeling                                                                                    www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




Since M      is 2– torsion free, we have    2[a, b]ߛ α d([a, b]ߛ βx) = [a,b]γαxβ d([a, b]ߛ ).............(12)



From (4) and (12)     3[a, b]ߛ βxα [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b]ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) = 0.......(13)



Replacing     yα[a, b]ߛ βy for x     in (12), 2[a, b]ߛ αd([a, b]ߛ βyα[a, b]ߛ βy)=[a, b]ߛ αyβ[a, b]ߛ αyβd([a, b]ߛ)



2[a, b]ߛ α2[a, b]ߛ βyα d ([a, b]ߛ βy) = [a, b]ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ)



4[a, b]ߛ α [a, b]ߛ βyα d([a, b]ߛ βy) = [a, b]ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ)



Therefore        [a, b] αyβ [a, b] αyβ d([a, b]ߛ ) = 0.............. (14)



Now replacing       y by x + y,            [a, b]ߛ α (x + y) β [a, b]ߛ α(x + y)β d([a, b]ߛ )= 0



[a, b]ߛ αxβ [a, b]ߛ αxβ d([a, b]ߛ ) + [a, b] ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ )



+ [a, b]ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ )             = 0.


This gives      [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ )            = 0.



Therefore,      [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) = 0 …… (15)


Subtracting (15)       from (13) ,we obtain          2[a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) = 0.



Since M is 2–torsion free, we have [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) = 0, for every                 y∈M.



Since M is prime and non commutative, we have             d ([a, b]ߛ) = 0 ,    a,b   M          and          Г.



This implies that       d(aγb – bγa) = 0. Therefore d(aγb) = d(bγa),          a,b    M     and          Г……(16)


d((bαa)βa+aβ(bαa))=d((bαa)βa)+d(aβ(bαa))=d((bαa)βa)+d((bαa)βa)=2d((bαa)βa) by using (16)
                                                                  104
Mathematical Theory and Modeling                                                                www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




 Thus    2d((bαa)βa)= d((bαa)βa + aβ(bαa))= d((bαa)βa)+d(aβ(bαa))



This implies     d(bαaβa)= aαaβd(b)+3aβbαd(a)– bβaαd(a)…(17),         by using Lemma 2.1(ii).



On the other hand             d(aα(bβa)+(bβa)αa )=2(aαd(bβa) + bβaαd(a)) ……………(18)


and                                       d(aα(aβb)+(aβb)αa)=2(aαd(aβb)+(aβb)αd(a)) ……………(19)



Taking(19) –(18), d(aαaβb–bβaαa)=2aα d([a,b]β)+2[a,b]βα d(a),∀a,b∈M,α,β∈Г……(20)



Now putting     aβa for    a in Lemma 2.1(i), we have



d(aβaαb+bαaβa)=2(aβaα d(b)+ bα d(aβa))= 2(aβaα d(b)+ bα 2aβ d(a)).



Using (⋆)    above equation      reduces to   d(aαaβb+bβaαa)=2(aαaβd(b)+2bβaα d(a))…(21)



Subtracting (20) from (21) and using (⋆), we get



d(2bαaβa)=2aβaαd(b)+4bαaβd(a)–2aα d([a,b]β)–2[a,b]β α d(a))



d(bαaβa)=aβaαd(b)+2bαaβd(a)– aα d([a,b]β)– aβbαd(a)+ bβaαd(a), M is 2–torsion free



                          =    aβaαd(b)+3bαaβd(a)– aα d([a,b]β)– aβbαd(a) ,   by using (⋆)



                          = aαaβd(b)+3bβaαd(a)– aβbαd(a)………….(22)


From (22)and(17), aαa βd(b)+3aβbαd(a)– bβaα d(a)= aαaβd(b)+3bβaαd(a)– aβbαd(a).


This gives      –3(bβa – aβb)α d(a) – (bβa – aβb)α d(a) = 0




                                                              105
Mathematical Theory and Modeling                                                                                  www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




Then we have             –3[b,a]β α d(a) – [b,a]β α d(a) = 0.


Since M is 2–torsion free, so         [b,a]β α d(a) = 0……………….(23)



Now putting     bγx      for   b in     (23), we     get [bγx, a]β α d(a) = 0



([b,a]β γx +a[γ,β]a x+bγ [x,a]β )α d(a) = 0



Since    a[γ,β]a x = a(γaβ–βaγ)x = aγaβx – aβaγx = 0,         by using   (⋆).



 Thus ([b,a]β γx +bγ [x,a]β )α d(a) = 0



[b,a]β γx α d(a)+bγ [x,a]β α d(a) = 0



[b,a]β γx α d(a) = 0 ,          a,b    M    and              Г



Since M is    prime , thus d(a)=0. Hence we conclude that if d≠0, then M is commutative.


2.3Theorem       If M is a 2–torsion free prime Г–ring satisfying the assumption (⋆) then every Jordan left derivation on M


is a left derivation on M.


Proof:     Since M is commutative.         Thus     aαb = bαa ,   for all a,b∈ M and α∈Г .


By Lemma 2.1(i), we have 2d(aαb)=2aα d(b)+2bα d(a)= 2(aαd(b)+ bα d(a))


Since M is 2–torsion free, we get       d(aαb) = aαd(b)+ bα d(a).


This completes the proof.




                                                                   106
Mathematical Theory and Modeling                                                                               www.iiste.org
ISSN 2224-5804 (Paper)    ISSN 2225-0522 (Online)
Vol.2, No.9, 2012




References


[1] M. Asci and S. Ceran., The commutativity in prime gamma rings with left derivation, Internat. Math. Forum, 2(3),


(2007), 103–108.


[2] W.E. Barnes,     On the Γ–rings of Nobusawa,    Pacific J. Math. 18, (1966), 411–422.


[3] Y.Ceven, Jordan left derivations on completely prime Γ–ring, C.U. Fen–Edebiyat Fakultesi Fen Bilimleri Dergisi,


23(2002), 39–43,.


[4] K.W. Jun and B.D. Kim, A note on Jordan left derivations, Bull. Korean Math. Soc. 33(1996), 221–228.


[5] S. Kyuno, On prime gamma rings, Pacific J. Math. 75(1978),185–190.


[6] J. Luh, On the theory of simple Г–rings, Michigan Math. J. 16(1969), 65–75.


 [7] N. Nobusawa , On the generalization of the ring theory, Osaka J. Math.1, (1964), 81–89.


[8] M. Soyturk, The Commulativity in prime gamma rings with derivation, Turk. J., Math. 18, (1994), 149–155.




                                                            107
This academic article was published by The International Institute for Science,
Technology and Education (IISTE). The IISTE is a pioneer in the Open Access
Publishing service based in the U.S. and Europe. The aim of the institute is
Accelerating Global Knowledge Sharing.

More information about the publisher can be found in the IISTE’s homepage:
http://www.iiste.org


The IISTE is currently hosting more than 30 peer-reviewed academic journals and
collaborating with academic institutions around the world. Prospective authors of
IISTE journals can find the submission instruction on the following page:
http://www.iiste.org/Journals/

The IISTE editorial team promises to the review and publish all the qualified
submissions in a fast manner. All the journals articles are available online to the
readers all over the world without financial, legal, or technical barriers other than
those inseparable from gaining access to the internet itself. Printed version of the
journals is also available upon request of readers and authors.

IISTE Knowledge Sharing Partners

EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische
Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial
Library , NewJour, Google Scholar

More Related Content

What's hot

FURTHER RESULTS ON ODD HARMONIOUS GRAPHS
FURTHER RESULTS ON ODD HARMONIOUS GRAPHSFURTHER RESULTS ON ODD HARMONIOUS GRAPHS
FURTHER RESULTS ON ODD HARMONIOUS GRAPHSgraphhoc
 
IRJET- Direct Product of Soft Hyper Lattices
IRJET- Direct Product of Soft Hyper LatticesIRJET- Direct Product of Soft Hyper Lattices
IRJET- Direct Product of Soft Hyper LatticesIRJET Journal
 
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...11.0001www.iiste.org call for paper.differential approach to cardioid distrib...
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...Alexander Decker
 
1.differential approach to cardioid distribution -1-6
1.differential approach to cardioid distribution -1-61.differential approach to cardioid distribution -1-6
1.differential approach to cardioid distribution -1-6Alexander Decker
 
S. Duplij - Polyadic systems, representations and quantum groups
S. Duplij - Polyadic systems, representations and quantum groupsS. Duplij - Polyadic systems, representations and quantum groups
S. Duplij - Polyadic systems, representations and quantum groupsSteven Duplij (Stepan Douplii)
 
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...Robustness of supertree methods for reconciling dense incompatible data. SJ. ...
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...Roderic Page
 
Development of implicit rational runge kutta schemes for second order ordinar...
Development of implicit rational runge kutta schemes for second order ordinar...Development of implicit rational runge kutta schemes for second order ordinar...
Development of implicit rational runge kutta schemes for second order ordinar...Alexander Decker
 
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal, 2014
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal,  2014Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal,  2014
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal, 2014Jurgen Riedel
 
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton Tensor
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton TensorDual Gravitons in AdS4/CFT3 and the Holographic Cotton Tensor
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton TensorSebastian De Haro
 
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal Subgroups
IRJET -  	  Triple Factorization of Non-Abelian Groups by Two Minimal SubgroupsIRJET -  	  Triple Factorization of Non-Abelian Groups by Two Minimal Subgroups
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal SubgroupsIRJET Journal
 
E-Cordial Labeling of Some Mirror Graphs
E-Cordial Labeling of Some Mirror GraphsE-Cordial Labeling of Some Mirror Graphs
E-Cordial Labeling of Some Mirror GraphsWaqas Tariq
 
sarminIJMA1-4-2015 forth paper after been publishing
sarminIJMA1-4-2015 forth paper after been publishingsarminIJMA1-4-2015 forth paper after been publishing
sarminIJMA1-4-2015 forth paper after been publishingMustafa El-sanfaz
 
2. Prasad_Komal JNU2015 (1)
2. Prasad_Komal JNU2015 (1)2. Prasad_Komal JNU2015 (1)
2. Prasad_Komal JNU2015 (1)Komal Goyal
 
Measures of risk on variability with application in stochastic activity networks
Measures of risk on variability with application in stochastic activity networksMeasures of risk on variability with application in stochastic activity networks
Measures of risk on variability with application in stochastic activity networksAlexander Decker
 
Gauss Bonnet Boson Stars
Gauss Bonnet Boson StarsGauss Bonnet Boson Stars
Gauss Bonnet Boson StarsJurgen Riedel
 

What's hot (19)

FURTHER RESULTS ON ODD HARMONIOUS GRAPHS
FURTHER RESULTS ON ODD HARMONIOUS GRAPHSFURTHER RESULTS ON ODD HARMONIOUS GRAPHS
FURTHER RESULTS ON ODD HARMONIOUS GRAPHS
 
735
735735
735
 
IRJET- Direct Product of Soft Hyper Lattices
IRJET- Direct Product of Soft Hyper LatticesIRJET- Direct Product of Soft Hyper Lattices
IRJET- Direct Product of Soft Hyper Lattices
 
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...11.0001www.iiste.org call for paper.differential approach to cardioid distrib...
11.0001www.iiste.org call for paper.differential approach to cardioid distrib...
 
1.differential approach to cardioid distribution -1-6
1.differential approach to cardioid distribution -1-61.differential approach to cardioid distribution -1-6
1.differential approach to cardioid distribution -1-6
 
Gj3611551159
Gj3611551159Gj3611551159
Gj3611551159
 
1452 86301000013 m
1452 86301000013 m1452 86301000013 m
1452 86301000013 m
 
S. Duplij - Polyadic systems, representations and quantum groups
S. Duplij - Polyadic systems, representations and quantum groupsS. Duplij - Polyadic systems, representations and quantum groups
S. Duplij - Polyadic systems, representations and quantum groups
 
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...Robustness of supertree methods for reconciling dense incompatible data. SJ. ...
Robustness of supertree methods for reconciling dense incompatible data. SJ. ...
 
Development of implicit rational runge kutta schemes for second order ordinar...
Development of implicit rational runge kutta schemes for second order ordinar...Development of implicit rational runge kutta schemes for second order ordinar...
Development of implicit rational runge kutta schemes for second order ordinar...
 
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal, 2014
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal,  2014Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal,  2014
Gauss–Bonnet Boson Stars in AdS - Ibericos, Portugal, 2014
 
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton Tensor
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton TensorDual Gravitons in AdS4/CFT3 and the Holographic Cotton Tensor
Dual Gravitons in AdS4/CFT3 and the Holographic Cotton Tensor
 
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal Subgroups
IRJET -  	  Triple Factorization of Non-Abelian Groups by Two Minimal SubgroupsIRJET -  	  Triple Factorization of Non-Abelian Groups by Two Minimal Subgroups
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal Subgroups
 
E-Cordial Labeling of Some Mirror Graphs
E-Cordial Labeling of Some Mirror GraphsE-Cordial Labeling of Some Mirror Graphs
E-Cordial Labeling of Some Mirror Graphs
 
WASJ JOURNAL
WASJ JOURNALWASJ JOURNAL
WASJ JOURNAL
 
sarminIJMA1-4-2015 forth paper after been publishing
sarminIJMA1-4-2015 forth paper after been publishingsarminIJMA1-4-2015 forth paper after been publishing
sarminIJMA1-4-2015 forth paper after been publishing
 
2. Prasad_Komal JNU2015 (1)
2. Prasad_Komal JNU2015 (1)2. Prasad_Komal JNU2015 (1)
2. Prasad_Komal JNU2015 (1)
 
Measures of risk on variability with application in stochastic activity networks
Measures of risk on variability with application in stochastic activity networksMeasures of risk on variability with application in stochastic activity networks
Measures of risk on variability with application in stochastic activity networks
 
Gauss Bonnet Boson Stars
Gauss Bonnet Boson StarsGauss Bonnet Boson Stars
Gauss Bonnet Boson Stars
 

Viewers also liked

The outer rings_of_sn1987a
The outer rings_of_sn1987aThe outer rings_of_sn1987a
The outer rings_of_sn1987aSérgio Sacani
 
Apostol: Calculus Volume 2
Apostol: Calculus Volume 2Apostol: Calculus Volume 2
Apostol: Calculus Volume 2qadry13
 
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...Sérgio Sacani
 
On the gravitational_field_of_a_point_mass_according_to_einstein_theory
On the gravitational_field_of_a_point_mass_according_to_einstein_theoryOn the gravitational_field_of_a_point_mass_according_to_einstein_theory
On the gravitational_field_of_a_point_mass_according_to_einstein_theorySérgio Sacani
 
On some structural_features_of_the_metagalaxy
On some structural_features_of_the_metagalaxyOn some structural_features_of_the_metagalaxy
On some structural_features_of_the_metagalaxySérgio Sacani
 
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...Sérgio Sacani
 

Viewers also liked (8)

The outer rings_of_sn1987a
The outer rings_of_sn1987aThe outer rings_of_sn1987a
The outer rings_of_sn1987a
 
Apostol: Calculus Volume 2
Apostol: Calculus Volume 2Apostol: Calculus Volume 2
Apostol: Calculus Volume 2
 
Book algebra
Book algebraBook algebra
Book algebra
 
Geometric Aspects of LSA
Geometric Aspects of LSAGeometric Aspects of LSA
Geometric Aspects of LSA
 
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...
Kepler 1647b the_largest_and_longest_period_kepler_transiting_circumbinary_pl...
 
On the gravitational_field_of_a_point_mass_according_to_einstein_theory
On the gravitational_field_of_a_point_mass_according_to_einstein_theoryOn the gravitational_field_of_a_point_mass_according_to_einstein_theory
On the gravitational_field_of_a_point_mass_according_to_einstein_theory
 
On some structural_features_of_the_metagalaxy
On some structural_features_of_the_metagalaxyOn some structural_features_of_the_metagalaxy
On some structural_features_of_the_metagalaxy
 
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...
Low surface brightness_imaging_of_the_magellanic_system_imprints_of_tidal_int...
 

Similar to Commutativity in prime gamma rings with jordan left

Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...SEENET-MTP
 
Solution of a Vector-Triangle Problem Via Geometric (Clifford) Algebra
Solution of a Vector-Triangle Problem Via Geometric (Clifford) AlgebraSolution of a Vector-Triangle Problem Via Geometric (Clifford) Algebra
Solution of a Vector-Triangle Problem Via Geometric (Clifford) AlgebraJames Smith
 
amer.math.monthly.124.2.179.pdf
amer.math.monthly.124.2.179.pdfamer.math.monthly.124.2.179.pdf
amer.math.monthly.124.2.179.pdfxohovaf
 
M. Dimitrijević, Noncommutative models of gauge and gravity theories
M. Dimitrijević, Noncommutative models of gauge and gravity theoriesM. Dimitrijević, Noncommutative models of gauge and gravity theories
M. Dimitrijević, Noncommutative models of gauge and gravity theoriesSEENET-MTP
 
Chapter 6 algebraic expressions iii
Chapter 6   algebraic expressions iiiChapter 6   algebraic expressions iii
Chapter 6 algebraic expressions iiiKhusaini Majid
 
A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...Alexander Decker
 
B. Dragovich: On Modified Gravity and Cosmology
B. Dragovich: On Modified Gravity and CosmologyB. Dragovich: On Modified Gravity and Cosmology
B. Dragovich: On Modified Gravity and CosmologySEENET-MTP
 
4 6multiplication formulas
4 6multiplication formulas4 6multiplication formulas
4 6multiplication formulasmath123a
 
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...inventionjournals
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curvesmmasdeu
 
Shahjahan notes:Mathematicsinphysicstheorysampleproblematc
Shahjahan notes:MathematicsinphysicstheorysampleproblematcShahjahan notes:Mathematicsinphysicstheorysampleproblematc
Shahjahan notes:MathematicsinphysicstheorysampleproblematcShahjahan Physics
 

Similar to Commutativity in prime gamma rings with jordan left (20)

Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
 
Form1
Form1Form1
Form1
 
Maths formula
Maths formulaMaths formula
Maths formula
 
Formulas
FormulasFormulas
Formulas
 
Form1hhhh
Form1hhhhForm1hhhh
Form1hhhh
 
B.Tech-II_Unit-IV
B.Tech-II_Unit-IVB.Tech-II_Unit-IV
B.Tech-II_Unit-IV
 
Solution of a Vector-Triangle Problem Via Geometric (Clifford) Algebra
Solution of a Vector-Triangle Problem Via Geometric (Clifford) AlgebraSolution of a Vector-Triangle Problem Via Geometric (Clifford) Algebra
Solution of a Vector-Triangle Problem Via Geometric (Clifford) Algebra
 
amer.math.monthly.124.2.179.pdf
amer.math.monthly.124.2.179.pdfamer.math.monthly.124.2.179.pdf
amer.math.monthly.124.2.179.pdf
 
Homework 2 sol
Homework 2 solHomework 2 sol
Homework 2 sol
 
M. Dimitrijević, Noncommutative models of gauge and gravity theories
M. Dimitrijević, Noncommutative models of gauge and gravity theoriesM. Dimitrijević, Noncommutative models of gauge and gravity theories
M. Dimitrijević, Noncommutative models of gauge and gravity theories
 
Chapter 6 algebraic expressions iii
Chapter 6   algebraic expressions iiiChapter 6   algebraic expressions iii
Chapter 6 algebraic expressions iii
 
Formulas
FormulasFormulas
Formulas
 
A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...
 
Bc4103338340
Bc4103338340Bc4103338340
Bc4103338340
 
B. Dragovich: On Modified Gravity and Cosmology
B. Dragovich: On Modified Gravity and CosmologyB. Dragovich: On Modified Gravity and Cosmology
B. Dragovich: On Modified Gravity and Cosmology
 
4 6multiplication formulas
4 6multiplication formulas4 6multiplication formulas
4 6multiplication formulas
 
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
On Triplet of Positive Integers Such That the Sum of Any Two of Them is a Per...
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curves
 
Shahjahan notes:Mathematicsinphysicstheorysampleproblematc
Shahjahan notes:MathematicsinphysicstheorysampleproblematcShahjahan notes:Mathematicsinphysicstheorysampleproblematc
Shahjahan notes:Mathematicsinphysicstheorysampleproblematc
 
IME 2019 - fechada
IME 2019 - fechadaIME 2019 - fechada
IME 2019 - fechada
 

More from Alexander Decker

Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...Alexander Decker
 
A validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale inA validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale inAlexander Decker
 
A usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websitesA usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websitesAlexander Decker
 
A universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banksA universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banksAlexander Decker
 
A unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized dA unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized dAlexander Decker
 
A trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistanceA trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistanceAlexander Decker
 
A transformational generative approach towards understanding al-istifham
A transformational  generative approach towards understanding al-istifhamA transformational  generative approach towards understanding al-istifham
A transformational generative approach towards understanding al-istifhamAlexander Decker
 
A time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibiaA time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibiaAlexander Decker
 
A therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school childrenA therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school childrenAlexander Decker
 
A theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banksA theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banksAlexander Decker
 
A systematic evaluation of link budget for
A systematic evaluation of link budget forA systematic evaluation of link budget for
A systematic evaluation of link budget forAlexander Decker
 
A synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjabA synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjabAlexander Decker
 
A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...Alexander Decker
 
A survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incrementalA survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incrementalAlexander Decker
 
A survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniquesA survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniquesAlexander Decker
 
A survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo dbA survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo dbAlexander Decker
 
A survey on challenges to the media cloud
A survey on challenges to the media cloudA survey on challenges to the media cloud
A survey on challenges to the media cloudAlexander Decker
 
A survey of provenance leveraged
A survey of provenance leveragedA survey of provenance leveraged
A survey of provenance leveragedAlexander Decker
 
A survey of private equity investments in kenya
A survey of private equity investments in kenyaA survey of private equity investments in kenya
A survey of private equity investments in kenyaAlexander Decker
 
A study to measures the financial health of
A study to measures the financial health ofA study to measures the financial health of
A study to measures the financial health ofAlexander Decker
 

More from Alexander Decker (20)

Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...Abnormalities of hormones and inflammatory cytokines in women affected with p...
Abnormalities of hormones and inflammatory cytokines in women affected with p...
 
A validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale inA validation of the adverse childhood experiences scale in
A validation of the adverse childhood experiences scale in
 
A usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websitesA usability evaluation framework for b2 c e commerce websites
A usability evaluation framework for b2 c e commerce websites
 
A universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banksA universal model for managing the marketing executives in nigerian banks
A universal model for managing the marketing executives in nigerian banks
 
A unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized dA unique common fixed point theorems in generalized d
A unique common fixed point theorems in generalized d
 
A trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistanceA trends of salmonella and antibiotic resistance
A trends of salmonella and antibiotic resistance
 
A transformational generative approach towards understanding al-istifham
A transformational  generative approach towards understanding al-istifhamA transformational  generative approach towards understanding al-istifham
A transformational generative approach towards understanding al-istifham
 
A time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibiaA time series analysis of the determinants of savings in namibia
A time series analysis of the determinants of savings in namibia
 
A therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school childrenA therapy for physical and mental fitness of school children
A therapy for physical and mental fitness of school children
 
A theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banksA theory of efficiency for managing the marketing executives in nigerian banks
A theory of efficiency for managing the marketing executives in nigerian banks
 
A systematic evaluation of link budget for
A systematic evaluation of link budget forA systematic evaluation of link budget for
A systematic evaluation of link budget for
 
A synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjabA synthetic review of contraceptive supplies in punjab
A synthetic review of contraceptive supplies in punjab
 
A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...A synthesis of taylor’s and fayol’s management approaches for managing market...
A synthesis of taylor’s and fayol’s management approaches for managing market...
 
A survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incrementalA survey paper on sequence pattern mining with incremental
A survey paper on sequence pattern mining with incremental
 
A survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniquesA survey on live virtual machine migrations and its techniques
A survey on live virtual machine migrations and its techniques
 
A survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo dbA survey on data mining and analysis in hadoop and mongo db
A survey on data mining and analysis in hadoop and mongo db
 
A survey on challenges to the media cloud
A survey on challenges to the media cloudA survey on challenges to the media cloud
A survey on challenges to the media cloud
 
A survey of provenance leveraged
A survey of provenance leveragedA survey of provenance leveraged
A survey of provenance leveraged
 
A survey of private equity investments in kenya
A survey of private equity investments in kenyaA survey of private equity investments in kenya
A survey of private equity investments in kenya
 
A study to measures the financial health of
A study to measures the financial health ofA study to measures the financial health of
A study to measures the financial health of
 

Commutativity in prime gamma rings with jordan left

  • 1. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Commutativity in Prime Gamma Rings with Jordan Left Derivations A.C. Paul Department of Mathematics, Rajshahi University Rajshahi, Bangladesh. email: acpaulrubd_math@yahoo.com Md. Mizanor Rahman (Corresponding Author) Department of Mathematics, Jagannath University Dhaka, Bangladesh. email: mizanorrahman@gmail.com Abstract Let M be a 2–torsion free prime Г–ring and let d: M→M be a Jordan left derivation . In this article, we show that under a suitable condition every nonzero Jordan left derivation on M induces the commutativity of M and accordingly d is a left derivation of M. Key words: Jordan left derivation, prime Г– ring, left derivation, Г– ring. 1. Introduction N. Nobusawa [7] introduced the notion of a Г–ring as a generalization of classical ring . Barnes [2] generalized the concept of Nobusawa’s Г–ring. Now a days, a Г–ring due to Barnes is known as a Г–ring and the Г–ring due to Nobusawa is known as ГN–ring. A number of important properties of Г–rings were introduced by them as well as by Kyuno [5], Luh [6] and others. We begin with the following definition : 96
  • 2. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Let M and Γ be additive Abelian groups. If there is a mapping M sending (x,α,y) → xαy such that (a)(x+y) αz = x α z +y α z , x(α+β)z=xαz + xβz, xα(y+z)=xαy + xαz (b) (xαy) βz=xα (yβz) for all x, y, z∈M and α, β ∈ Γ, then M is called a Γ–ring. For example, let R be a ring with 1 and let M=Mm,n(R) and Г= Mn,m(R) then M is a Г–ring with respect to the matrix addition and matrix multiplication. Note that every ring is a Г–ring if we take Г= M. The notions of a prime Г–ring and a completely prime Г–ring were initiated by Luh [6] and some analogous results corresponding to the prime rings were obtained by him and Kyuno [5], whereas the concept of a strongly completely prime Г–ring was used and developed by Sapanie and Nakajima in [8]. A Γ–ring M is called a prime Г–ring if for all a,b∈M , aΓMΓb=0 implies a=0 or b=0. And, M is called a completely prime if aГb = 0 (with a,b∈ M) implies a=0 or b=0. It is noted that every completely prime Г–ring is a prime Г–ring. A Г–ring M is 2–torsion free if 2a=0 implies a=0 for all a∈M. And, a Г–ring M is said to be commutative if aγb = bγa holds for all a,b∈M and γ∈Г. The notions of derivation and Jordan derivation of a Г–ring have been introduced by Sapanie and Nakajima [8]. Afterwards, Jun and Kim [4] obtained some significant results due to Jordan left derivation of a classical ring. Y.Ceven [3] worked on left derivations of completely prime Г–rings and obtained some extensive results of left derivation and Jordan left derivation of a Г–ring. M. Soyturk [9] investigated the commutativity of prime Г–rings with the left and 97
  • 3. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 right derivations. He obtained some results on the commutativity of prime Г–rings of characteristic not equal to 2 and 3. Some commutativity results of prime Г–rings with left derivations were obtained by Asci and Ceran [1]. In this paper, we obtain the commutativity results of 2–torsion free prime Г–rings with left Jordan derivations and consequently we prove that every Jordan left derivation is a left derivation. Let M be a Γ–ring. An additive mapping d:M→M is called a derivation if d(aαb) = d(a)αb + aαd(b), for all a, b ∈M and α ∈ Γ. An additive mapping d:M→M is called a left derivation if d(aαb) = aαd(b) + bαd(a), for every a, b ∈M and α ∈ Γ An additive mapping d:M→M is called a Jordan derivation if d(aαa)=d(a)αa+aαd(a), for every a∈M and α ∈ Γ. An additive mapping d:M→M is called a Jordan left derivation if d(aαa)=2aαd(a), for every a∈M and α∈Γ. Y. Ceven [3] proved that every Jordan left derivation on a Г–ring M is a left derivation if M is 2–torsion free completely prime Г–ring. Now we define [a,b]α = aαb–bαa . [a,b]α is called the commutator of a and b with respect to α. We use the condition aαbβc=aβbαc for all a,b,c∈M and α,β∈Г and will represented it by (⋆). An example of a left derivation and a Jordan left derivation are given in [3]. 2. Main Results The following Lemma is due to Y.Ceven [3, Lemma 2.1] 2.1 Lemma Let M be a two torsion free – ring satisfying the condition (⋆) and d be a Jordan left derivation on M. Then for all a,b : 98
  • 4. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 (i) d(aαb + bαa) =2aαd(b) +2bαd(a). (ii) d(aαbβa) = aβaαd(b)+3aαbβd(a) – bαaβd(a) (iii) d(aαbβc+cαbβa)= aβcαd(b)+cβaαd(b)+3aαbβd(c)+3cαbβd(a)–bαcβd(a)–bαaβd(c). 2.2 Lemma Let M be a 2–torsion free Г–ring satisfying the condition (⋆) and let d be a Jordan left derivation on M. Then (i) [a,b]α β aα d(a) = aα[a,b]α β d(a) (ii) [a,b]α β(d(aαb) –aα d(b) – bα d(a))=0 (iii) [a,b]α β d([a,b]α )=0 (iv) d(aαaβb)= aβaαd(b)+(aβb+bβa)αd(a)+aαd([a,b]β ) Proof (i) By Lemma 2.1(iii) d(aαbβc+cαbβa) = aβcαd(b)+cβaαd(b)+ 3aαbβd(c) +3cαbβd(a) – bαaβd(c) – bαcβd(a). Replacing aαb for c , we get d((aαb)β (aαb) + (aαb)αbβa) = aβ(aαb)αd(b)+ (aαb)βaαd(b)+ 3aαbβd(aαb) +3(aαb)αbβd(a) – bαaβd(aαb) – bα(aαb)βd(a). This gives 2(aαb)β d(aαb) +d(aα(bαb)βa) = aβaαbαd(b)+ aαbβaαd(b)+ 3aαbβd(aαb) +3(aαb)αbβd(a) – bαaβd(aαb) – bα(aαb)βd(a). By using Lemma 2.1(ii) –aαbβ d(aαb) + bαaβd(aαb) +aβaαd(bαb)+ 3aαbαbβd(a) – bαbαaβd(a) = aβaαbαd(b)+ aαbβaαd(b)+3aαbαbβd(a)– bαaαbβd(a) 99
  • 5. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Thus (aαb–bαa)βd(aαb)= aβaαbαd(b)–aαbβaαd(b)–bαbαaβd(a)+bαaαbβd(a) =aαaαbβd(b)–aαbαaβd(b)–bαbαaβd(a)+bαaαbβd(a)=aα(aαb–bαa)βd(b)+bα(aαb–bαa)βd(a)….(A) Replacing a+b for b (aαb–bαa)β(2aαd(a)+d(aαb))=aα(aαb–bαa)βd(a+b)+(a+b)α(aαb–bαa)βd(a) Thus aα(aαb–bαa)βd(b)+bα(aαb–bαa)βd(a)=2aα(aαb–bαa)βd(a)+aα(aαb–bαa)βd(b)+bα(aαb– bαa)βd(a)–2(aαb–bαa)βaαd(a) , By using (A) (aαb– bαa)βaαd(a) = aα(aαb– bαa)βd(a), since M is 2–torsion free Hence [a,b]α βaαd(a) = aα [a,b]α βd(a). (ii) Replacing a+b for a in Lemma 2.2 (i) ((a+b)αb– bα (a+b))β (a+b)αd(a+b) = (a+b)α((a+b)αb– bα (a+b))βd(a+b) (aαb– bαa)β(aαd(a)+bαd(a)+aαd(b)+bαd(b))=aα(aαb–bαa)β(d(a)+d(b))+bα(aαb– bαa)β(d(a)+d(b)) (aαb– bαa)β aαd(a) +(aαb– bαa)β bαd(a)+ (aαb– bαa)β aαd(b) +(aαb– bαa)β bαd(b)= aα(aαb– bαa)βd(a) + aα(aαb– bαa)βd(b) + bα(aαb– bαa)βd(a) + bα(aαb– bαa)βd(b) Now using Lemma 2.2(i), we have aα(aαb– bαa)β d(a) +(aαb– bαa)β bαd(a)+ (aαb– bαa)β aαd(b) –bα(bαa– aαb)β d(b)= aα(aαb– bαa)βd(a) + aα(aαb– bαa)βd(b) + bα(aαb– bαa)βd(a) – bα(bαa– aαb)βd(b) Thus (aαb– bαa)β(bαd(a)+aαd(b)) = (aαb– bαa)β d(aαb), By using (A) Therefore (aαb– bαa)β (d(aαb)– aαd(b)–bαd(a)) = 0 This gives [a,b]α β(d(aαb) –aα d(b) – bα d(a))=0. (iii) Using Lemma 2.1(i) in 2.2(ii) ,we get 100
  • 6. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 (aαb– bαa)β (–d(bαa)+2 aαd(b)+2bαd(a)– aαd(b)–bαd(a)) = 0 (aαb– bαa)β (d(bαa)– aαd(b)–bαd(a)) = 0…………….(B) Taking 2.2(ii)–(B) (aαb– bαa)βd(aαb)–d(bαa) = 0. Therefore [a,b]α β d([a,b]α) = 0. (iv) From Lemma 2.1(i) , we have d(aαb+bαa) = 2aαd(b)+2bαd(a) Replacing bβa for b, we get d(aαbβa+bβaαa) = 2aαd(bβa)+2bβaαd(a)…………...(C) Again replacing aβb for b in Lemma 2.1(i) d(aαaβb + aβbαa) = 2aαd(aβb)+2aβb αd(a)…...(D) Taking (D) – (C) and using (⋆) , we get d(aαaβb + aβbαa– aαbβa – bβaαa) = 2aαd(aβb–bβa)+2(aβb – bβa)αd(a). Thus d(aαaβb – bβaαa) = 2aαd(aβb–bβa)+2(aβb – bβa)αd(a)……….(E) Now replacing aβa for a in Lemma 2.1(i) and using (⋆) d(aβaαb + bαaβa)=2aβaαd(b)+2bαd(aβa)=2aβaαd(b)+4bαaβd(a)=2aβaαd(b)+4bβaαd(a)…(F) Taking (E)+(F) d(2aαaβb)=2aβaαd(b)+2aαd(aβb – bβa)+2(aβb+bβa)αd(a) Since M is 2–torsion free, we have d(aαaβb)= aβaαd(b)+(aβb+bβa)αd(a)+aαd([a,b]β) . 2.3Theorem Let M be a 2–torsion free prime Г–ring satisfying the assumption (⋆). If there exists a nonzero Jordan left derivation d: M→M, then M is commutative. Proof: Let us assume that M is non commutative. Lemma 2.2(i) can be written as (xα(xαy – yαx) – (xαy – yαx)αx)β d(x) = 0 x,y M and This gives (xαxαy–2xαyαx+yαxαx)β d(x)=0 x,y M and Replacing [a,b]γ for x, we have [a,b]γ α[a,b]γ αyβ d([a,b]γ )– 2[a,b]γ αyα [a,b]γ β d([a,b]γ)+ yα [a,b]γ α[a,b]γ β d([a,b]γ)=0. 101
  • 7. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 But by Lemma 2.2(iii), we get [a, b]ߛ α [a, b]ߛ αyβ d([a, b]ߛ ) = 0 For the primeness of M, we have [a, b] α [a, b] = 0 or d([a, b]ߛ ) = 0 Suppose that [a, b] α [a, b] = 0 , for all α∈Γ ………….(1) Using Lemma 2.1 (i) , 2.1( ii), 2.2(iii) and (1) we see that W = d([a, b]ߛ βxβ [a, b]ߛ αyα [a, b] ߛ + [a, b]ߛ αyα [a, b]ߛ β [a, b]ߛ βx) = 2 [a, b] βxβ d([a, b]ߛ αyα [a, b] ߛ ) + 2[a, b]ߛ αyα [a, b]ߛ β d([a, b] ߛ βx) = 2 [a, b]ߛ βxβ [a, b]ߛ α [a, b] ߛ αd(y) + 6[a, b]ߛ βxβ [a, b]ߛ αyα d([a, b]ߛ ) –2 [a, b]ߛ βxβ yα [a, b] ߛ α d([a,b]ߛ ) + 2 [a, b]ߛ αyα [a, b]ߛ β d([a, b]ߛ βx) = 6[a, b]ߛ βxβ [a, b] ߛ αyαd([a, b]ߛ ) –2[a, b]ߛ βxβ yα[a, b]ߛ αd([a, b]ߛ )+2[a, b]ߛ αyα[a, b]ߛ βd([a, b]ߛ βx) = 6[a, b]ߛ βxβ [a, b]ߛ αyα d([a, b] ߛ ) +2 [a, b]ߛ αyα [a, b]ߛ β d([a, b]ߛ βx)...............(2) On the other hand W = d([a, b]ߛ β (xβ [a, b]ߛ αy) α [a, b]ߛ ) = [a, b]ߛ α[a, b]ߛ β d(xβ[a, b]ߛ αy)+3[a, b]ߛ βxβ [a, b]ߛ αyαd([a, b]ߛ )–x β[a, b]ߛ αyβ [a, b]ߛ αd([a, b]ߛ ) = 3[a, b] βxβ [a, b]ߛ αyα d([a, b]ߛ ) ........................ (3) Therefore, subtracting (3) from (2), and using (⋆), we get 3[a, b]ߛ βxα[a, b]ߛ βyα d([a, b]ߛ ) + [a, b]ߛ αyβ 2[a, b]ߛ α d([a, b]ߛ βx) = 0 ............... (4) Also we have V = d([a, b]ߛ αxβ [a, b]ߛ + xα [a, b]ߛ β [a, b]ߛ )= d([a, b]ߛ αxβ [a, b]ߛ ) = [a, b]ߛ β [a, b]ߛ α d(x) + 3[a, b]ߛ αxβ d([a, b]ߛ ) – xα [a, b]ߛ β d([a, b]ߛ ) = 3[a, b]ߛ αxβ d([a, b]ߛ)…..(5) 102
  • 8. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 On the other hand V = d([a, b]ߛ αxβ [a, b]ߛ + xα[a, b]ߛ β [a, b]ߛ ) = 2[a, b]ߛ α d(xβ [a, b]ߛ ) + 2xβ [a, b]ߛ α d([a, b]ߛ ) = 2[a, b] α d(xβ [a, b] )............. (6) Comparing (5) and (6) we obtain 3 [a, b] αxβd([a, b]ߛ ) = 2[a, b]ߛ α d(xβ [a, b]ߛ ) ...................(7) Now [a, b]ߛ α d(xβ [a, b]ߛ + [a, b]ߛ βx) = [a, b]ߛ α (2xβ d([a, b]ߛ ) + 2[a, b]ߛ β d(x) = 2 [a, b]ߛ αxβ d([a, b]ߛ ) + 2[a, b]ߛ α [a, b]ߛ β d(x) = 2 [a, b]ߛ αxβ d([a, b]ߛ ) ........... (8) Thus 3[a, b]ߛ α (d(xβ [a, b]ߛ ) + d([a, b]ߛ βx)) = 6[a, b]ߛ αxβ d([a, b]ߛ )= 2.3 [a, b]ߛ αxβ d([a, b]ߛ ) = 2.2 [a, b] α d(xβ [a, b] ) = 4 [a, b]ߛ α d(xβ [a, b]ߛ ) by using (7) Therefore we have 3[a, b]ߛ α (d(xβ [a, b]ߛ ) + 3[a, b]ߛ α d( [a, b]ߛ βx) = 4 [a, b]ߛ α d(xβ [a, b]ߛ ). This gives 3[a, b] α d([a, b]ߛ βx) = [a, b]ߛ α d(xβ [a, b]ߛ ) ...................... (9) By (9) we have [a, b]ߛ α d((xβ [a, b]ߛ ) + [a, b]ߛ βx) = 3[a, b]ߛ α d([a, b]ߛ βx) + [a, b]ߛ α (d([a, b]ߛ βx) = 4[a, b] α d([a, b]ߛ βx) ..................(10) We also obtain that [a, b]ߛ αd(( xβ [a, b]ߛ) + [a, b]ߛ βx)=[a, b]ߛ α2x β d( [a, b]ߛ) + [a, b]ߛ α2[a, b]ߛβd(x) = 2 [a, b] αxβd([a, b]ߛ)………………(11) From (10) and (11), we obtain 4[a, b]ߛ α d([a, b]ߛ βx) – 2[a, b]ߛ α xβ d([a, b]ߛ ) = 0 103
  • 9. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Since M is 2– torsion free, we have 2[a, b]ߛ α d([a, b]ߛ βx) = [a,b]γαxβ d([a, b]ߛ ).............(12) From (4) and (12) 3[a, b]ߛ βxα [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b]ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) = 0.......(13) Replacing yα[a, b]ߛ βy for x in (12), 2[a, b]ߛ αd([a, b]ߛ βyα[a, b]ߛ βy)=[a, b]ߛ αyβ[a, b]ߛ αyβd([a, b]ߛ) 2[a, b]ߛ α2[a, b]ߛ βyα d ([a, b]ߛ βy) = [a, b]ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ) 4[a, b]ߛ α [a, b]ߛ βyα d([a, b]ߛ βy) = [a, b]ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ) Therefore [a, b] αyβ [a, b] αyβ d([a, b]ߛ ) = 0.............. (14) Now replacing y by x + y, [a, b]ߛ α (x + y) β [a, b]ߛ α(x + y)β d([a, b]ߛ )= 0 [a, b]ߛ αxβ [a, b]ߛ αxβ d([a, b]ߛ ) + [a, b] ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b]ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αyβ d([a, b]ߛ ) = 0. This gives [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) = 0. Therefore, [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) + [a, b] ߛ αyβ [a, b]ߛ αxβ d([a, b]ߛ ) = 0 …… (15) Subtracting (15) from (13) ,we obtain 2[a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) = 0. Since M is 2–torsion free, we have [a, b]ߛ αxβ [a, b]ߛ αyβ d([a, b]ߛ ) = 0, for every y∈M. Since M is prime and non commutative, we have d ([a, b]ߛ) = 0 , a,b M and Г. This implies that d(aγb – bγa) = 0. Therefore d(aγb) = d(bγa), a,b M and Г……(16) d((bαa)βa+aβ(bαa))=d((bαa)βa)+d(aβ(bαa))=d((bαa)βa)+d((bαa)βa)=2d((bαa)βa) by using (16) 104
  • 10. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Thus 2d((bαa)βa)= d((bαa)βa + aβ(bαa))= d((bαa)βa)+d(aβ(bαa)) This implies d(bαaβa)= aαaβd(b)+3aβbαd(a)– bβaαd(a)…(17), by using Lemma 2.1(ii). On the other hand d(aα(bβa)+(bβa)αa )=2(aαd(bβa) + bβaαd(a)) ……………(18) and d(aα(aβb)+(aβb)αa)=2(aαd(aβb)+(aβb)αd(a)) ……………(19) Taking(19) –(18), d(aαaβb–bβaαa)=2aα d([a,b]β)+2[a,b]βα d(a),∀a,b∈M,α,β∈Г……(20) Now putting aβa for a in Lemma 2.1(i), we have d(aβaαb+bαaβa)=2(aβaα d(b)+ bα d(aβa))= 2(aβaα d(b)+ bα 2aβ d(a)). Using (⋆) above equation reduces to d(aαaβb+bβaαa)=2(aαaβd(b)+2bβaα d(a))…(21) Subtracting (20) from (21) and using (⋆), we get d(2bαaβa)=2aβaαd(b)+4bαaβd(a)–2aα d([a,b]β)–2[a,b]β α d(a)) d(bαaβa)=aβaαd(b)+2bαaβd(a)– aα d([a,b]β)– aβbαd(a)+ bβaαd(a), M is 2–torsion free = aβaαd(b)+3bαaβd(a)– aα d([a,b]β)– aβbαd(a) , by using (⋆) = aαaβd(b)+3bβaαd(a)– aβbαd(a)………….(22) From (22)and(17), aαa βd(b)+3aβbαd(a)– bβaα d(a)= aαaβd(b)+3bβaαd(a)– aβbαd(a). This gives –3(bβa – aβb)α d(a) – (bβa – aβb)α d(a) = 0 105
  • 11. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 Then we have –3[b,a]β α d(a) – [b,a]β α d(a) = 0. Since M is 2–torsion free, so [b,a]β α d(a) = 0……………….(23) Now putting bγx for b in (23), we get [bγx, a]β α d(a) = 0 ([b,a]β γx +a[γ,β]a x+bγ [x,a]β )α d(a) = 0 Since a[γ,β]a x = a(γaβ–βaγ)x = aγaβx – aβaγx = 0, by using (⋆). Thus ([b,a]β γx +bγ [x,a]β )α d(a) = 0 [b,a]β γx α d(a)+bγ [x,a]β α d(a) = 0 [b,a]β γx α d(a) = 0 , a,b M and Г Since M is prime , thus d(a)=0. Hence we conclude that if d≠0, then M is commutative. 2.3Theorem If M is a 2–torsion free prime Г–ring satisfying the assumption (⋆) then every Jordan left derivation on M is a left derivation on M. Proof: Since M is commutative. Thus aαb = bαa , for all a,b∈ M and α∈Г . By Lemma 2.1(i), we have 2d(aαb)=2aα d(b)+2bα d(a)= 2(aαd(b)+ bα d(a)) Since M is 2–torsion free, we get d(aαb) = aαd(b)+ bα d(a). This completes the proof. 106
  • 12. Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.2, No.9, 2012 References [1] M. Asci and S. Ceran., The commutativity in prime gamma rings with left derivation, Internat. Math. Forum, 2(3), (2007), 103–108. [2] W.E. Barnes, On the Γ–rings of Nobusawa, Pacific J. Math. 18, (1966), 411–422. [3] Y.Ceven, Jordan left derivations on completely prime Γ–ring, C.U. Fen–Edebiyat Fakultesi Fen Bilimleri Dergisi, 23(2002), 39–43,. [4] K.W. Jun and B.D. Kim, A note on Jordan left derivations, Bull. Korean Math. Soc. 33(1996), 221–228. [5] S. Kyuno, On prime gamma rings, Pacific J. Math. 75(1978),185–190. [6] J. Luh, On the theory of simple Г–rings, Michigan Math. J. 16(1969), 65–75. [7] N. Nobusawa , On the generalization of the ring theory, Osaka J. Math.1, (1964), 81–89. [8] M. Soyturk, The Commulativity in prime gamma rings with derivation, Turk. J., Math. 18, (1994), 149–155. 107
  • 13. This academic article was published by The International Institute for Science, Technology and Education (IISTE). The IISTE is a pioneer in the Open Access Publishing service based in the U.S. and Europe. The aim of the institute is Accelerating Global Knowledge Sharing. More information about the publisher can be found in the IISTE’s homepage: http://www.iiste.org The IISTE is currently hosting more than 30 peer-reviewed academic journals and collaborating with academic institutions around the world. Prospective authors of IISTE journals can find the submission instruction on the following page: http://www.iiste.org/Journals/ The IISTE editorial team promises to the review and publish all the qualified submissions in a fast manner. All the journals articles are available online to the readers all over the world without financial, legal, or technical barriers other than those inseparable from gaining access to the internet itself. Printed version of the journals is also available upon request of readers and authors. IISTE Knowledge Sharing Partners EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar