Let R be a prime ring of characteristi c Φ 2 with a derivation d Φ 0 and a non-central Lie ideal U such that d(u)n is central, for all u e U. We prove that R must satisfy s4, the standard identity in 4 variables; hence R is either commutative or an order in a 4-diniensional simple algebra. This result extends a theorem of Herstein to Lie ideals. In [2] Herstein shows that if R is a prime ring with center Z and if d Φ 0 is a derivation of R such that J(JC) W e Z, for all x e 7?, then i? satisfies s49 the standard identity in 4 variables. This theorem indicates that the global structure of a ring is often tightly connected to the behaviour of one of its derivations. The purpose of this note is to show that the same conclusion holds for prime rings of characteristi c Φ 2 even if we assume only that d(u)n is central for those u in some non-central Lie ideal. We will proceed by first proving the result when d is inner. We will then use Kharchenko's theorem on differential identities [5] to reduce to the case where d is inner on the Martindale quotient ring of R. By using Kharchenko's theorem, our proof will actually be somewhat simpler than the proof in [2]. In all that follows, unless stated otherwise, R will be a prime ring of characteristic Φ 2, U a non-central Lie ideal of i?, d Φ 0 a derivation of /?, and n > 1 a fixed integer such that d(u)n is central, for all u e U. For any ring S, Z = Z(S) will denote its center. For subsets A, B c R9 [A, B] will be the additive subgroup generated by all [α, b] = αb — bα; α e A, b e B. In addition, s4 will denote the standard identity in 4 variables. By a result of Herstein [3], U D [/, R] for some / Φ 0, an ideal of R. Therefore, we will assume throughout that U D [/, R]. We will also make frequent and important use of the following three results. We do not necessarily state them in their fullest generality. 1. (Carini-Giamb runo [1].) If U <£ Z(R) is a Lie ideal of a prime ring R of characteristic Φ 2, and if d is a derivation of R such that d(u)n = 0, for all WG [/, then d = 0.
Read full abstract