International Journal of Mathematics and Mathematical Sciences
Volume 2005 (2005), Issue 20, Pages 3347-3350
doi:10.1155/IJMMS.2005.3347

A note on derivations in semiprime rings

Joso Vukman and Irena Kosi-Ulbl

Department of Mathematics, Faculty of Education, University of Maribor, Koroška Cesta 160, Maribor 2000, Slovenia

Received 20 June 2005; Revised 2 October 2005

Copyright © 2005 Joso Vukman and Irena Kosi-Ulbl. 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 prove in this note the following result. Let n>1 be an integer and let R be an n!-torsion-free semiprime ring with identity element. Suppose that there exists an additive mapping D:RR such that D(xn)=j=1nxnjD(x)xj1 is fulfilled for all xR. In this case, D is a derivation. This research is motivated by the work of Bridges and Bergen (1984). Throughout, R will represent an associative ring with center Z(R). Given an integer n>1, a ring R is said to be n-torsion-free if for xR, nx=0 implies that x=0. Recall that a ring R is prime if for a,bR, aRb=(0) implies that either a=0 or b=0, and is semiprime in case aRa=(0) implies that a=0. An additive mapping D:RR is called a derivation if D(xy)=D(x)y+xD(y) holds for all pairs x,yR and is called a Jordan derivation in case D(x2)=D(x)x+xD(x) is fulfilled for all xR. Every derivation is a Jordan derivation. The converse is in general not true. A classical result of Herstein (1957) asserts that any Jordan derivation on a prime ring with characteristic different from two is a derivation. A brief proof of Herstein's result can be found in 1988 by Brešar and Vukman. Cusack (1975) generalized Herstein's result to 2-torsion-free semiprime rings (see also Brešar (1988) for an alternative proof). For some other results concerning derivations on prime and semiprime rings, we refer to Brešar (1989), Vukman (2005), Vukman and Kosi-Ulbl (2005).