ISRN Algebra, Article ID 365424, 5 pages http://dx.doi.org/10.1155/2014/365424 Research Article A Note on Jordan Triple Higher -Derivations on Semiprime Rings O. H. Ezzat Mathematics Department, Al-Azhar University, Nasr City, Cairo 11884, Egypt Correspondence should be addressed to O. H. Ezzat; ohezzat@yahoo.com Received 9 February 2014; Accepted 26 March 2014; Published 9 April 2014 Academic Editors: E. Aljadeff, A. Jaballah, A. Kılıçman, F. Kittaneh, and H. You Copyright 2014 O. H. Ezzat. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduce the following notion. Let N 0 be the set of all nonnegative integers and let D=(d i ) i N0 be a family of additive mappings of a -ring R such that d 0 =id R ; D is called a Jordan higher -derivation (resp., a Jordan higher -derivation) of R if d n (x 2 )= d i (x)d j (x i ) (resp., d n (xyx) = d i (x)d j (y i )d k (x i+j ))forallx, y R and each n N 0. It is shown that the notions of Jordan higher -derivations and Jordan triple higher -derivations on a 6-torsion free semiprime -ring are coincident. 1. Introduction Let R be an associative ring, for any x, y R.RecallthatR is prime if xry = 0 implies x=0or y=0and is semiprime if xrx=0implies x=0.givenanintegern 2, R is said to be n-torsion free if, for x R,nx=0implies x=0. An additive mapping x x satisfying (xy) =y x and (x ) =xfor allx, y R is called an involution and R is called a -ring. An additive mapping d : R R is called a derivation if d(xy) = d(x)y + yd(x) holds for all x, y R, andit is called a Jordan derivation if d(x 2 ) = d(x)x + xd(x) for all x R. Every derivation is obviously a Jordan derivation and the converse is in general not true [1, Example3.2.1]. An influential Herstein theorem [2] shows that any Jordan derivationona2-torsionfreeprimeringisaderivation. Later on, Brešar [3] has extended Herstein s theorem to 2- torsion free semiprime rings. A Jordan triple derivation is an additive mapping d:r Rsatisfying d(xyx) = d(x)yx + xd(y)x+xyd(x) for all x,y R. Any derivation is obviously a Jordan triple derivation. It is also easy to see that every Jordan derivation of a 2-torsion free ring is a Jordan triple derivation [4, Lemma 3.5]. Brešar [5] has proved that any Jordan triple derivation of a 2-torsion free semiprime ring is a derivation. Let R be a -ring. An additive mapping d : R R is called a -derivation if d(xy) = d(x)y +xd(y)holds for all x, y R, and it is called a Jordan -derivation if d(x 2 ) = d(x)x +xd(x)holds for all x R.Wemight guess that any Jordan -derivation of a 2-torsion free prime -ring is a -derivation, but this is not the case. It has been proved in [6] thatnoncommutativeprime -rings do not admitnontrivial -derivations. A Jordan triple -derivation is an additive mapping d: R Rwith theproperty d(xyx) = d(x)y x +xd(y)x +xyd(x) for all x, y R.Itcouldeasilybe seen that any Jordan -derivation on a 2-torsion free -ring is a Jordan triple -derivation [6,Lemma 2]. Vukman [7]has proved that any Jordan triple -derivation on a 6-torsion free semiprime -ring is a Jordan -derivation. Let N 0 be the set of all nonnegative integers and let D= (d i ) i N0 beafamilyofadditivemappingsofaringrsuch that d 0 =id R.ThenD is said to be a higher derivation (resp., a Jordan higher derivation) ofr if, for each n N 0,d n (xy) = d i (x)d j (y) (resp., d n (x 2 ) = d i (x)d j (x)) holds for all x, y R. The concept of higher derivations was introducedby Hasse andschmidt [8]. This interesting notion of higher derivations has been studied in both commutative andnoncommutativerings;see,forexample,[9 13]. Clearly, every higher derivation is a Jordan higher derivation. Ferrero and Haetinger [13] have extended Herstein s theorem [2] for higher derivations on 2-torsion free semiprime rings. For an account of higher and Jordan higher derivations the reader is referred to [14]. A family D=(d i ) i N0 of additive mappings of a ring R, whered 0 =id R,iscalledaJordan triple higher derivation if d n (xyx) = d i (x)d j (y i )d k (x i+j ) holds for
2 ISRN Algebra all x, y R. Ferrero and Haetinger [13]have proved that every Jordan higher derivation of a 2-torsion free ring is a Jordan triple higher derivation. They also have proved that every Jordan triple higher derivation of a 2-torsion free semiprime ring is a higher derivation. Motivated by the notions of -derivations and higher derivations, we naturally introduce the notions of higher - derivations, Jordan higher -derivations, and Jordan triple higher -derivations. Ourmainobjectiveinthispaperisto show that every Jordan triple higher -derivation of a 6- torsion free semiprime -ring is a Jordan higher -derivation. This result extends the main result of [7]. It is also shown that every Jordan higher -derivation of a 2-torsion free -ring is a Jordan triple higher -derivation. So we can conclude that the notions of Jordan triple higher -derivations and Jordan higher -derivations are coincident on 6-torsion free semiprime -rings. 2. Preliminaries and Main Results We begin by the following definition. Definition 1. Let N 0 be the set of all nonnegative integers and let D=(d i ) i N0 be a family of additive mappings of a -ring R such that d 0 =id R. D is called (a) a higher -derivation of R if, for each n N 0, d n (xy) = d i (x) d j (y i ) x,y R; (1) (b) a Jordan higher -derivation of R if, for each n N 0, d n (x 2 )= d i (x) d j (x i ) x R; (2) (c) a Jordan triple higher -derivation of R if, for each n N 0, d n (xyx) = d i (x) d j (y i )d k (x i+j ) x,y R. Throughout this section, we will use the following notation. Notation. LetD = (d i ) i N0 be a Jordan triple higher - derivation of a -ring R. Foreveryfixedn N 0 and each x, y R, we denote by A n (x) and B n (x, y) the elements of R defined by A n (x) =d n (x 2 ) d i (x) d j (x i ), (3) ItcaneasilybeseenthatA n ( x) = A n (x), B n ( x, y) = B n (x, y), anda n (x+y) = A n (x) + A n (y) + B n (x, y) for each pair x, y R. Wewillusetheserelationswithoutany explicit mention in the steps of the proofs. The next lemmas are crucial in developing the proofs of the main results. Lemma 2 (see [5, Lemma 1.1]). Let R be a 2-torsion free semiprime ring. If x, y R are such that xry+yrx=0for all r R,thenxry =yrx=0for all r R.IfR is semiprime, then xry = 0 for all r Rimplies yrx=xy=yx=0. Lemma 3 (see [7, Lemma1]).Let R be a 2-torsion free semiprime -ring. If x, y R are such that xr y +yrx=0 for all r R,thenxy=yx=0. Lemma 4. Let D = (d i ) i N0 be a Jordan triple higher - derivation of a -ring R. IfA m (x) = 0 for all x Rand for each m n,thena n (x)y n x 2 n +x 2 ya n (x) = 0 for each n N 0 and for every x, y R. Proof. The substitution of xyx for y in the definition of Jordan triple higher -derivation gives d n (x (xyx) x) = d i (x) d j ((xyx) i )d k (x i+j ) = d i (x) ( d k (x i+j ) p+q+r=j d p (x i )d q (y i+p )d r (x i+p+q )) = d i (x) d p (x i )d q (y i+p )d r (x i+p+q ) i+p+q+r+k=n d k (x i+p+q+r ) = d i (x) d p (x i )y n x n x n +x 2 y d r (x) d k (x r ) i+p=n r+k=n i+p+q+r+k=n i+p =n,r+k=n d i (x) d p (x i )d q (y i+p )d r (x i+p+q ) d k (x i+p+q+r ). On the other hand, the substitution of x 2 for x in the definition of Jordan triple higher -derivation and using our assumption that A m (x) = 0 for m<ngive (5) B n (x, y) = d n (xy + yx) d i (x) d j (y i ) d i (y) d j (x i ). (4) d n (x 2 yx 2 ) = d i (x 2 )d j ((y) i )d k (x 2 i+j )
ISRN Algebra 3 =d n (x 2 ) y n x n x n +x 2 yd n (x 2 ) d i (x 2 )d j ((y) i )d k (x 2 i+j ) i =n,k=n The substitution of x+yfor x in relation (9)gives A n (x) y 2 +A n (y) x 2 +B n (x, y) x 2 +B n (x, y) y 2 +A n (x) (xy + yx) + A n (y) (xy + yx) (11) =d n (x 2 )y n x n x n +x 2 yd n (x 2 ) +B n (x, y) (xy + yx) = 0 i =n,k=n ( d u (x) d V (x u ))d j (y i ) u+v=i ( d s (x i+j )d t (x i+j+s )) s+t=k =d n (x 2 )y n x n x n +x 2 yd n (x 2 ) u+v+j+s+t=n u+v =n,s+t=n d u (x) d V (x u )d j (y u+v )d s (x u+v+j )d t (x u+v+j+s ). Now, subtracting the two relations so obtained we find that (d n (x 2 ) d i (x) d p (x i )) y n x 2 n i+p=n +x 2 y(d n (x 2 ) d r (x) d k (x r ))= 0. r+k=n Using our notation the last relation reduces to the required result. Now, we are ready to prove our main results. Theorem 5. Let R be a 6-torsion free semiprime -ring. Then every Jordan triple higher -derivation D=(d i ) i N0 of R is a Jordan higher -derivation of R. Proof. We intend to show that A n (x) = 0 for all x R.Incase n=0,wegettriviallya 0 (x) = 0 for all x R.Ifn=1,then it follows from [7, Theorem1]thatA 1 (x) = 0 for all x R. Thus we assume that A m (x) = 0 for all x Rand m<n. Thus, from Lemma 4,weseethat (6) (7) A n (x) y n x 2 n +x 2 ya n (x) =0 x,y R. (8) In case n is even, (8) reducestoa n (x)yx 2 +x 2 ya n (x) = 0; by applying Lemma 2 we get A n (x)x 2 = x 2 A n (x) = 0. In case n is odd, (8) reducestoa n (x)y x 2 +x 2 ya n (x) = 0; by applying Lemma 3 we get A n (x)x 2 =x 2 A n (x) = 0.Sofor either of the two cases we have for each n Substituting x for x in (11)weobtain A n (x) y 2 +A n (y) x 2 B n (x, y) x 2 B n (x, y) y 2 A n (x) (xy + yx) A n (y) (xy + yx) +B n (x, y) (xy + yx) = 0 (12) Comparing (11) and(12) we get, since R is 2-torsion free, that B n (x, y) x 2 +B n (x, y) y 2 +A n (x) (xy + yx) +A n (y) (xy + yx) = 0 (13) Putting 2x for x in (13) gives by the assumption that R is 2- torsion free that 4B n (x, y) x 2 +B n (x, y) y 2 +4A n (x) (xy + yx) +A n (y) (xy + yx) = 0 (14) Subtracting the relation (13) from(14) we obtain,since R is 3-torsion free, that B n (x, y) x 2 +A n (x) (xy + yx) = 0 (15) Right multiplication of (15) bya n (x)x and using (9) we obtain A n (x) xya n (x) x+a n (x) yxa n (x) x=0 x,y R. (16) Putting yx for y in (16) and left-multiplying by x we get (xa n (x)x)y(xa n (x)x) = 0, for all x, y R. By the semiprimeness of R it follows that xa n (x)x = 0 for all x R. So (16) reducestoa n (x)xya n (x)x = 0, forallx, y R. Again, by the semiprimeness of R, we get A n (x) x=0 x R. (17) Using (17), (15) reducestob n (x, y)x 2 +A n (x)yx = 0 for all x, y R. Multiplying this relation by A(x) fromthe right and by x from the left we get xa n (x)yxa n (x) = 0 for all x, y R. Again, by the semiprimeness of R, we get Linearizing (17)we have xa n (x) =0 x R. (18) A n (x) x 2 =0 x R, (9) x 2 A n (x) =0 x R. (10) A n (x) y+b n (x, y) x + A n (y) x +B n (x, y) y = 0 (19)
4 ISRN Algebra Putting x for x in (19)weget Now put w = x(xy + yx) + (xy + yx)x.using(24)weget A n (x) y+b n (x,y)x A n (y) x B n (x,y)y=0 x,y R. Adding (19) and(20) we get, since R is 2-torsion free, that (20) A n (x) y+b n (x,y)x=0 x,y R. (21) Multiplying (21) bya n (x) from the right and using (18) we get A n (x)ya n (x) = 0 for all x, y R. By the semiprimeness of R,wegetA n (x) = 0 for all x R.Thiscompletestheproof of the theorem. Corollary 6 (see [7, Theorem1]).Let R be a 6-torsion free semiprime -ring. Then every Jordan triple -derivation of R is a Jordan -derivation of R. Theorem 7. Let R be a 2-torsion free -ring. Then every Jordan higher -derivation D=(d i ) i N0 of R is a Jordan triple higher -derivation of R. d n (w) = d i (x) d j ((xy + yx) i ) d i (xy + yx) d j (x i ) = r+s=j d i (x) d r (x i )d s (y i+r ) r+s=j k+l=i k+l=i d i (x) d r (y i )d s (x i+r ) d k (x) d l (y k )d j (x k+l ) d k (y) d l (x k )d j (x k+l ) = d i (x) d r (x i )d s (y i+r ) i+r+s=n +2 d i (x) d j (y i )d k (x i+j ) (25) Proof. We have d n (x 2 )= d i (x) d j (x i ). (22) Also, d k (y) d l (x k )d j (x k+l ). k+l+j=n Put V =x+yand using (22)weobtain d n (V 2 )= d i (x + y) d j ((x + y) i ) = (d i (x) d j (x i )+d i (y) d j (y i ) d n (w) =d n ((x 2 y+yx 2 )+2xyx) =d n (x 2 y+yx 2 )+2d n (xyx) =2d n (xyx) + r+s+j=n d r (x) d s (x r )d j (y r+s ) d i (y) d k (x i )d l (x i+k ). i+k+l=n (26) d n (V 2 )=d n (x 2 +xy+yx+y 2 ) +d i (x) d j (y i )+d i (y) d j (x i )), =d n (x 2 )+d n (y 2 )+d n (xy + yx) = d l (x) d m ((x) l ) l+m=n d r (y) d s ((y) r )+d n (xy + yx). r+s=n Comparing the last two forms of d n (V 2 ) gives (23) Comparing the last two forms of d n (w) andusingthefactthat R is 2-torsion free, we obtain the required result. By Theorems 5 and 7,wecanstatethefollowing. Theorem 8. The notions of Jordan higher -derivation and Jordan triple higher -derivation on a 6-torsion free semiprime -ring are coincident. Conflict of Interests The author declares that there is no conflict of interests regarding the publication of this paper. Acknowledgments d n (xy + yx) = (d i (x) d j (y i )+d i (y) d j (x i )). (24) The author is truly indebted to Professor M. N. Daif for his constant encouragement and valuable discussions. The author also would like to express sincere gratitude to the
ISRN Algebra 5 referees for their careful reading and helpful comments. This paper is a part of the author s Ph.D. dissertation under the supervision of Professor M. N. Daif. References [1] M. Ashraf, S. Ali, and C. Haetinger, On derivations in rings and their applications, TheAligarhBulletinofMathematics,vol.25, no.2,pp.79 107,2006. [2] I. N. Herstein, Jordan derivations of prime rings, Proceedings of the American Mathematical Society, vol. 8, pp. 1104 1110, 1957. [3] M. Brešar, Jordan derivations on semiprime rings, Proceedings of the American Mathematical Society,vol.104,no.4,pp.1003 1006, 1988. [4] I. N. Herstein, Topics in Ring Theory, The University of Chicago Press, Chicago, Ill, USA, 1969. [5] M. Brešar, Jordan mappings of semiprime rings, Algebra,vol.127,no.1,pp.218 228,1989. [6] M. Brešar and J. Vukman, On some additive mappings in rings with involution, Aequationes Mathematicae,vol.38,no.2-3,pp. 178 185, 1989. [7] J. Vukman, A note on Jordan derivations in semiprime rings with involution, International Mathematical Forum, vol. 1, no. 13 16, pp. 617 622, 2006. [8] H. Hasse and F. K. Schmidt, Noch eine begrüdung der theorie der höheren differential quotienten in einem algebraaischen funktionenkorper einer unbestimmeten, Journal für die Reine und Angewandte Mathematik,vol.177,pp.215 237,1937. [9] L.N.Macarro, Onthe modulesof m-integrable derivations in non-zero characteristic, Advances in Mathematics,vol.229,no. 5, pp. 2712 2740, 2012. [10] D. Hoffmann and P. Kowalski, Integrating Hasse-Schmidt derivations, 2012, http://arxiv.org/abs/1212.5788. [11] Z. Xiao and F. Wei, Jordan higher derivations on triangular algebras, Linear Algebra and its Applications, vol.432,no.10, pp. 2615 2622, 2010. [12] F. Wei and Z. Xiao, Generalized Jordan derivations on semiprime rings and its applications in range inclusion problems, Mediterranean Mathematics, vol. 8, no. 3, pp. 271 291, 2011. [13] M. Ferrero and C. Haetinger, Higher derivations and a theorem by Herstein, Quaestiones Mathematicae. the South African Mathematical Society,vol.25,no.2,pp.249 257,2002. [14] C. Haetinger, M. Ashraf, and S. Ali, On higher derivations: a survey, International Mathematics, Game Theory, and Algebra, vol. 19, no. 5-6, pp. 359 379, 2011.
Advances in Operations Research Advances in Decision Sciences Applied Mathematics Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Advances in Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Mathematical Problems in Engineering Mathematics Discrete Mathematics Discrete Dynamics in Nature and Society Function Spaces Abstract and Applied Analysis International Stochastic Analysis Optimization