Some Results on Lie Ideals With Symmetric Reverse Bi-Derivations in Semiprime Rings I

Abstract

Let R be a semiprime ring, U a square-closed Lie ideal of R and D : R R ! R a symmetric reverse bi-derivation and d be the trace of D: In the present paper, we shall prove that R commutative ring if any one of the following holds: i) d(U) = (0); ii)d(U) Z; iii)[d (x) ; y] 2 Z; iv)d(x)oy 2 Z; v)d ([x; y])[d(x); y] 2 Z; vi)d (x y)(d(x)y) 2 Z; vii)d ([x; y])d(x)y 2 Z viii)d (x y) [d(x); y] 2 Z; ix)d(x) y [d(y); x] 2 Z; x)d([x; y]) (d(x) y) [d(y); x] 2 Z xi)[d(x); y] [g(y); x] 2 Z; for all x; y 2 U; where G : R R ! R is symmetric reverse bi-derivations such that g is the trace of