Generalized derivations with Engel condition on multilinear polynomials

Let R be a prime ring with extended centroid C, δ a nonzero generalized derivation of R, f(x ₁, ..., x _n ) a nonzero multilinear polynomial over C, I a nonzero right ideal of R and k ≥ a fixed integer. If [δ(f(r ₁, ..., r _n )), f(r ₁, ..., r _n )] _k = 0, for all r ₁, ..., r _n ∈ I, then either δ(x) = ax, with (a-γ)I = 0 and a suitable γ ∈ C or there exists an idempotent element e ∈ soc(RC) such that IC = eRC and one of the following holds (1) if char(R) = 0 then f(x ₁, ..., x _n ) is central valued in eRCe (2) if char(R) = p > 0 then is central valued in eRCe, for a suitable s ≥ 0, unless when char(R) = 2 and eRCe satisfies the standard identity s ₄ (3) δ(x) = ax−xb, where (a+b+α)e = 0, for α ∈ C, and f(x ₁, ..., x _n )² is central valued in eRCe.     

Centralizers of generalized skew derivations on multilinear polynomials

Let R be a prime ring of characteristic different from 2, let Q be the right Martindale quotient ring of R, and let C be the extended centroid of R. Suppose that G is a nonzero generalized skew derivation of R and f(x ₁,..., x _n ) is a noncentral multilinear polynomial over C with n noncommuting variables. Let f(R) = {f(r ₁,..., r _n ): r _i ∈ R} be the set of all evaluations of f(x ₁,..., x _n ) in R, while A = {[G (f(r ₁,..., r _n )), f(r ₁,..., r _n )]: r _i ∈ R}, and let C _R (A) be the centralizer of A in R; i.e., C _R (A) = {a ∈ R: [a, x] = 0, ? _x ∈ A }. We prove that if A ≠ (0), then C _R (A) = Z(R).     

An Engel condition with skew derivations

Let R be a prime ring and set [x, y]₁ = [x, y] = xy ? yx for ${x,y\in R}$ and inductively [x, y] _k = [[x, y] _k-1, y] for k > 1. We apply the theory of generalized polynomial identities with automorphisms and skew derivations to obtain the following result: If δ is a nonzero σ-derivation of R and L is a noncommutative Lie ideal of R so that [δ(x), x] _k  = 0 for all ${x \in L}$ , where k is a fixed positive integer, then charR = 2 and ${R\subseteq M_{2}(F)}$ for some field F. This result generalizes the case of derivations by Lanski and also the case of automorphisms by Mayne.     

Derivations with Engel conditions on multilinear polynomials

Let be a prime algebra over a commutative ring with unity and let be a multilinear polynomial over . Suppose that is a nonzero derivation on such that for all in some nonzero ideal of , with fixed. Then is central--valued on except when char and satisfies the standard identity in 4 variables.

     

Centralizers of generalized derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2, with Utumi quotient ring U and extended centroid C, δ a nonzero derivation of R, G a nonzero generalized derivation of R, and f(x ₁, …, x _n ) a noncentral multilinear polynomial over C. If δ(G(f(r ₁, …, r _n ))f(r ₁, …, r _n )) = 0 for all r ₁, …, r _n ∈ R, then f(x ₁, …, x _n )² is central-valued on R. Moreover there exists a ∈ U such that G(x) = ax for all x ∈ R and δ is an inner derivation of R such that δ(a) = 0.     

An Engel condition with skew derivations for one-sided ideals

We apply the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem: Let A be a prime ring with the extended centroid C and with two-sided Martindale quotient ring Q, R a nonzero right ideal of A and \(\delta \) a nonzero \(\sigma \)-derivation of A, where \(\sigma \) is an epimorphism of A. For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\ldots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\ldots ],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\ldots ,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) A is commutative; (2) \(C\cong GF(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. Our theorems are natural generalizations of the well-known results for derivations obtained by Lanski (Proc Am Math Soc 125:339–345, 1997) and Lee (Can Math Bull 38:445–449, 1995).     

Generalized derivations acting on multilinear polynomials in prime rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, let F, G and H be three generalized derivations of R, I an ideal of R and f(x₁,..., x _n ) a multilinear polynomial over C which is not central valued on R. If

$$F(f(r))G(f(r)) = H(f(r)^2 )$$

for all r = (r₁,..., r _n ) ∈ I ⁿ , then one of the following conditions holds:

1. (1)
   there exist a ∈ C and b ∈ U such that F(x) = ax, G(x) = xb and H(x) = xab for all x ∈ R
    
2. (2)
   there exist a, b ∈ U such that F(x) = xa, G(x) = bx and H(x) = abx for all x ∈ R, with ab ∈ C
    
3. (3)
   there exist b ∈ C and a ∈ U such that F(x) = ax, G(x) = bx and H(x) = abx for all x ∈ R
    
4. (4)
   f(x₁,..., x _n )² is central valued on R and one of the following conditions holds

   1. (a)
      there exist a, b, p, p’ ∈ U such that F(x) = ax, G(x) = xb and H(x) = px + xp’ for all x ∈ R, with ab = p + p’
       
   2. (b)
      there exist a, b, p, p’ ∈ U such that F(x) = xa, G(x) = bx and H(x) = px + xp’ for all x ∈ R, with p + p’ = ab ∈ C.
       
    

     

Cocentralizing and vanishing derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2 and extended centroid C and let f(x1,..., x _n ) be a multilinear polynomial over C not central-valued on R, while δ is a nonzero derivation of R. Suppose that d and g are derivations of R such that

$\delta (d(f(r_1 , \ldots ,r_n ))f(r_1 , \ldots ,r_n ) - f(r_1 , \ldots ,r_n )g(f(r_1 , \ldots ,r_n ))) = 0$

for all r1,..., r _n ∈ R. Then d and g are both inner derivations on R and one of the following holds: (1) d = g = 0; (2) d = ?g and f(x ₁,..., x _n )² is central-valued on R.

     

Identities with Engel conditions on derivations

Let R be a semiprime ring with a derivation D. The focus is on the two identities with Engel condition on ${D: [x^m, D(x^{n_1}),\ldots,D(x^{n_s})]_s=0}$ for all ${x\in R}$ and ${[x^m, D(x)^{n_1},\ldots,D(x)^{n_s}]_s=0}$ for all ${x\in R}$ , where s, m, n ₁, . . . , n _s are fixed positive integers. Our results are natural generalizations of Posner’s theorem on centralizing derivations, Herstein’s theorem on derivations with power-central values and a recent result by A. Fo?ner, M. Fo?ner and Vukman.     

Annihilators of derivations with Engel conditions on lie ideals

LetR a prime ring,L a noncentral Lie ideal ofR anda ∈R. Suppose thatd is a nonzero derivation ofR such thata[d(u),u] _k =0 for allu ∈L, wherek is a fixed positive integer. Thena=0 except when charR=2 and dim _C RC=4.