ISRN Algebra

Volume 2014 (2014), 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

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.

Abstract.

We introduce the following notion. Let be the set of all nonnegative integers and let be a family of additive mappings of a *-ring R such that ; D is called a Jordan higher *-derivation (resp., a Jordan higher *-derivation) of R if (resp., ) for all and each . 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 be an associative ring, for any . Recall that is prime if implies or and is semiprime if implies . Given an integer , is said to be -torsion free if, for implies . An additive mapping satisfying and for all is called an involution and is called a -.

An additive mapping is called a derivation if holds for all , and it is called a Jordan derivation if for all . Every derivation is obviously a Jordan derivation and the converse is in general not true [1, Example ]. An influential Herstein theorem [2] shows that any Jordan derivation on a 2-torsion free prime ring is a derivation. Later on, Brešar [3] has extended Herstein’s theorem to 2-torsion free semiprime rings. A Jordan triple derivation is an additive mapping satisfying for all . 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 be a -ring. An additive mapping is called a -derivation if holds for all , and it is called a Jordan -derivation if holds for all . We might 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] that noncommutative prime -rings do not admit nontrivial -derivations. A Jordan triple -derivation is an additive mapping with the property for all . It could easily be seen that any Jordan -derivation on a 2-torsion free -ring is a Jordan triple -derivation [6, ]. Vukman [7] has proved that any Jordan triple -derivation on a 6-torsion free semiprime -ring is a Jordan -derivation.

Let be the set of all nonnegative integers and let be a family of additive mappings of a ring such that . Then is said to be a higher derivation (resp., a Jordan higher derivation) of if, for each (resp., ) holds for all . The concept of higher derivations was introduced by Hasse and Schmidt [8]. This interesting notion of higher derivations has been studied in both commutative and noncommutative rings; see, for example, [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 of additive mappings of a ring , where , is called a Jordan triple higher derivation if holds for all . 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. Our main objective in this paper is to 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 be the set of all nonnegative integers and let be a family of additive mappings of a -ring such that . is called

(a)a higher -derivation of if, for each ,

(b)a Jordan higher -derivation of if, for each ,

(c)a Jordan triple higher -derivation of if, for each ,

Throughout this section, we will use the following notation.

Notation. Let be a Jordan triple higher -derivation of a -ring . For every fixed and each , we denote by and the elements of defined by

It can easily be seen that , , and for each pair . We will use these relations without any 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 be a 2-torsion free semiprime ring. If are such that for all , then for all . If is semiprime, then for all implies .

Lemma 3 (see [7, Lemma 1]). Let be a 2-torsion free semiprime -ring. If are such that for all , then .

Lemma 4. Let be a Jordan triple higher -derivation of a -ring . If for all and for each , then for each and for every .

Proof. The substitution of for in the definition of Jordan triple higher -derivation gives

On the other hand, the substitution of for in the definition of Jordan triple higher -derivation and using our assumption that for give

Now, subtracting the two relations so obtained we find that

Using our notation the last relation reduces to the required result.

Now, we are ready to prove our main results.

Theorem 5. Let be a 6-torsion free semiprime -ring. Then every Jordan triple higher -derivation of is a Jordan higher -derivation of .

Proof. We intend to show that for all . In case , we get trivially for all . If , then it follows from [7, Theorem 1] that for all . Thus we assume that for all and . Thus, from Lemma 4, we see that

In case is even, (8) reduces to ; by applying Lemma 2 we get . In case is odd, (8) reduces to ; by applying Lemma 3 we get . So for either of the two cases we have for each

The substitution of for in relation (9) gives

Substituting for in (11) we obtain

Comparing (11) and (12) we get, since is 2-torsion free, that

Putting for in (13) gives by the assumption that is 2-torsion free that

Subtracting the relation (13) from (14) we obtain, since is 3-torsion free, that

Right multiplication of (15) by and using (9) we obtain

Putting for in (16) and left-multiplying by we get , for all . By the semiprimeness of it follows that for all . So (16) reduces to , for all . Again, by the semiprimeness of , we get

Using (17), (15) reduces to for all . Multiplying this relation by from the right and by from the left we get for all . Again, by the semiprimeness of , we get

Linearizing (17) we have

Putting for in (19) we get

Adding (19) and (20) we get, since is 2-torsion free, that

Multiplying (21) by from the right and using (18) we get for all . By the semiprimeness of , we get for all . This completes the proof of the theorem.

Corollary 6 (see [7, Theorem 1]). Let be a 6-torsion free semiprime -ring. Then every Jordan triple -derivation of is a Jordan -derivation of .

Theorem 7. Let be a 2-torsion free -ring. Then every Jordan higher -derivation of is a Jordan triple higher -derivation of .

Proof. We have

Put and using (22) we obtain

Comparing the last two forms of gives

Now put . Using (24) we get

Also,

Comparing the last two forms of and using the fact that is 2-torsion free, we obtain the required result.

By Theorems 5 and 7, we can state the following.

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

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 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

M. Ashraf, S. Ali, and C. Haetinger, “On derivations in rings and their applications,” The Aligarh Bulletin of Mathematics, vol. 25, no. 2, pp. 79–107, 2006.

I. N. Herstein, “Jordan derivations of prime rings,” Proceedings of the American Mathematical Society, vol. 8, pp. 1104–1110, 1957.

M. Brešar, “Jordan derivations on semiprime rings,” Proceedings of the American Mathematical Society, vol. 104, no. 4, pp. 1003–1006, 1988.

I. N. Herstein, Topics in Ring Theory, The University of Chicago Press, Chicago, Ill, USA, 1969.

M. Brešar, “Jordan mappings of semiprime rings,” Journal of Algebra, vol. 127, no. 1, pp. 218–228, 1989.

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.

J. Vukman, “A note on Jordan *—derivations in semiprime rings with involution,” International Mathematical Forum, vol. 1, no. 13–16, pp. 617–622, 2006.

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.

L. N. Macarro, “On the modules of m-integrable derivations in non-zero characteristic,” Advances in Mathematics, vol. 229, no. 5, pp. 2712–2740, 2012.

D. Hoffmann and P. Kowalski, “Integrating Hasse-Schmidt derivations,” 2012, http://arxiv.org/abs/1212.5788

Z. Xiao and F. Wei, “Jordan higher derivations on triangular algebras,” Linear Algebra and its Applications, vol. 432, no. 10, pp. 2615–2622, 2010.

F. Wei and Z. Xiao, “Generalized Jordan derivations on semiprime rings and its applications in range inclusion problems,” Mediterranean Journal of Mathematics, vol. 8, no. 3, pp. 271–291, 2011.

M. Ferrero and C. Haetinger, “Higher derivations and a theorem by Herstein,” Quaestiones Mathematicae. Journal of the South African Mathematical Society, vol. 25, no. 2, pp. 249–257, 2002.

C. Haetinger, M. Ashraf, and S. Ali, “On higher derivations: a survey,” International Journal of Mathematics, Game Theory, and Algebra, vol. 19, no. 5-6, pp. 359–379, 2011.