Skew *-derivations with power-central values

Let R be a prime ring with involution * and d be a nonzero derivation on R such that d(x ^*) = -d(x)^* for all x ∈ R. Suppose that n ≥ 1 is a fixed integer. Then (I) if d(s) ⁿ = 0 for all s = s ^*, then R is either a commutative domain or an order in a 4-dimensional central simple algebra; (II) if d(s) ⁿ ∈Z, the center of R for all s = s ^*, then R is either a commutative domain or an order in a simple algebra of dimension 4 or 16 over its center.     

Skew Derivations and Engel Conditions

It is known that for a nonzero derivation d of a prime ring R, if a nonzero ideal I of R satisfies the Engel-type identity [[…[[d(x ^{k ₀} ), x ^{k ₁} ], x ^{k ₂} ],…], x ^{k _n} ], then R is commutative. Here we extend this result to a skew derivation of R for a Lie ideal I, which has an immediate corollary that replaces d by an automorphism of R. A related result in two variables is obtained for d a (θ, ?)-derivation.     

Subsets with Generalized Derivations Having Nilpotent Values on Lie Ideals

Let R be a prime ring, with no nonzero nil right ideal, Q the two-sided Martindale quotient ring of R, F a generalized derivation of R, L a noncommutative Lie ideal of R, and b ∈ Q. If, for any u, w ∈ L, there exists n = n(u, w) ≥1 such that (F(uw) ? bwu)ⁿ = 0, then one of the following statements holds:

1. F = 0 and b = 0;

2. R ? M₂(K), the ring of 2 × 2 matrices over a field K, b² = 0, and F(x) = ?bx, for all x ∈ R.

     

A result concerning nilpotent values with generalized skew derivations on Lie ideals

ABSTRACT

Let n≥1 be a fixed integer, R a prime ring with its right Martindale quotient ring Q, C the extended centroid, and L a non-central Lie ideal of R. If F is a generalized skew derivation of R such that (F(x)F(y)?yx)ⁿ = 0 for all x,y∈L, then char(R) = 2 and R?M₂(C), the ring of 2×2 matrices over C.     

Commutativity of rings with derivations

I. N. Herstein [10] proved that a prime ring of characteristic not two with a nonzero derivation d satisfying d(x)d(y) = d(y)d(x) for all x, y must be commutative, and H. E. Bell and M. N. Daif [8] showed that a prime ring of arbitrary characteristic with nonzero derivation d satisfying d(xy) = d(yx) for all x, y in some nonzero ideal must also be commutative. For semiprime rings, we show that an inner derivation satisfying the condition of Bell and Daif on a nonzero ideal must be zero on that ideal, and for rings with identity, we generalize all three results to conditions on derivations of powers and powers of derivations. For example, let R be a prime ring with identity and nonzero derivation d, and let m and n be positive integers such that, when charR is finite, m ∨ n < charR. If d(x ^m y ⁿ ) = d(y ⁿ x ^m ) for all x, y ∈ R, then R is commutative. If, in addition, charR≠ 2 and the identity is in the image of an ideal I under d, then d(x) ^m d(y) ⁿ = d(y) ⁿ d(x) ^m for all x, y ∈ I also implies that R is commutative.     

A Generalization of Engel Conditions with Derivations in Rings

Let R be a prime ring of characteristic different from 2 with Z the center of R and d a nonzero derivation of R. Let k, m, n be fixed positive integers. If ([d(x ^k ), x ^k ] _n ) ^m  ∈ Z for all x ∈ R, then R satisfies S ₄, the standard identity in 4 variables.     

Derivations with power central values on multilinear polynomials in prime rings

Let R be a prime ring of char R ≠ = 2 with center Z(R) and with extended centroid C, d a nonzero derivation of R and f(x ₁, ..., x _n ) a nonzero multilinear polynomial over C. Suppose that x ^s d(x)x ^t ∈ Z(R) for all x ∈ {d(f(x ₁, ..., x _n ))|x ₁, ..., x _n ∈ ρ}, where ρ is a nonzero right ideal of R and s ≥ 0, t ≥ 0 are fixed integers. If d(ρ)ρ ≠ = 0, then ρ C = eRC for some idempotent e in the socle of RC and f(x ₁, ..., x _n ) ^N is central-valued in eRCe, where N = s + t + 1.      

ON CERTAIN SUBGROUPS OF PRIME RINGS WITH DERIVATIONS

Let R be a noncommutative prime ring and let d be a nonzero derivation on R. A classical theorem of Posner asserts that the subset {[x ^d , x]|x ∈ R} is not contained in the center of R. Under the additional assumption that char R ≠ 2 and d ³ ≠ 0, we show that the additive subgroup of R generated by the subset {[x ^d , x] | x ∈ R} contains a noncentral Lie ideal of R.     

Ore Extensions of Quasi-Baer Rings

We first study the quasi-Baerness of R[x; σ, δ] over a quasi-Baer ring R when σ is an automorphism of R, obtaining an affirmative result. We next show that if R is a right principally quasi-Baer ring and σ is an automorphism of R with σ(e) = e for any left semicentral idempotent e ∈ R, then R[x; σ, δ] is right principally quasi-Baer. As a corollary, we have that R[x; δ] over a right principally quasi-Baer ring R is right principally quasi-Baer. Finally, we give conditions under which the quasi-Baernesses (right principal quasi-Baernesses) of R and R[x; σ, δ] are equivalent.     

On Lie ideals with derivations as homomorphisms and anti-homomorphisms

In [2, Theorem 3], Bell and Kappe proved that if d is a derivation of a prime ring R which acts as a homomorphism or an anti-homomorphism on a nonzero right ideal I of R, then d = 0 on R. In the present paper our objective is to extend this result to Lie ideals. The following result is proved: Let R be a 2-torsion free prime ring and U a nonzero Lie ideal of R such that u ² ∈ U, for all u ∈ U. If d is a derivation of R which acts as a homomorphism or an anti-homomorphism on U, then either d=0 or U ?Z(R).     

On a certain identity satisfied by a derivation and an arbitrary additive mapping

Summary LetR be a prime ring andd be a nonzero derivation ofR. If an additive mappingf ofR satisfiesd(x)f(x) = 0 for allx R, thenf vanishes on some nonzero left ideal ofR and on some nonzero right ideal ofR.     

On the Centralizers of Derivations with Engel Conditions

Let R be a noncommutative prime ring and d, δ two nonzero derivations of R. If δ([d(x), x] _n ) = 0 for all x ∈ R, then char R = 2, d ² = 0, and δ = αd, where α is in the extended centroid of R. As an application, if char R ≠ 2, then the centralizer of the set {[d(x), x] _n  | x ∈ R} in R coincides with the center of R.     

Annihilators of power values of derivations in prime rings

In this paper we prove some results concerning annihilators of power values of derivations in prime rings. The following main theorem establishes a unified version of several earlier results in the literature:Let R be a prime ring with center Z and with extended centroid C,Q, its two-sided Martindale quotient ring, ρ a nonzero right ideal of R and D a nonzero derivation of R.Suppose that aD([x,y])ⁿ ∈ Z (D([x,y])ⁿa ∈ Z) for all x,y∈ρ where a∈Rand n is a fixed positive integer. If [ρ,ρ]ρ ≠ 0 and dim _C RC >4, then either aD(ρ) = 0 (a = 0 resp.) or D= ad(p) for some p∈ Qsuch that pρ = 0.     

Generalized Derivations with Engel Conditions on One-Sided Ideals

Let R be a noncommutative prime ring and I a nonzero left ideal of R. Let g be a generalized derivation of R such that [g(r ^k ), r ^k ] _n  = 0 for all r ∈ I, where k, n are fixed positive integers. Then there exists c ∈ U, the left Utumi quotient ring of R, such that g(x) = xc and I(c ? α) = 0 for a suitable α ∈ C. In particular we have that g(x) = α x, for all x ∈ I.     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

ADDITIVE SUBGROUPS GENERATED BY POLYNOMIAL VALUES ON RIGHT IDEALS

Let R be a prime ring with extended centroid C, ρ a nonzero right ideal of R and f(X ₁,…,X_t ) a nonzero polynomial over C. We determine the additive subgroup of RC generated by all elements f(x ₁,…,x_t ) for x ₁,…,x_t ∈ ρ C and obtain a result concerning an independence property of polynomials in prime rings.     

A Note on Lie Automorphisms,Subrings, and Lie Ideals of Prime Rings

ABSTRACT

Let R be a prime ring of characteristic not 2 or 3 and L a noncentral Lie ideal of R. Suppose that σ is a Lie automorphism on L such that σ² ? 1 is noncentral on L, where 1 is the identity map, then the subring of R generated by the set {[x ^σ, x] | x ∈ L} contains a nonzero ideal of R.     

Annihilators of Skew Derivations with Engel Conditions on Lie Ideals

Let R be a prime ring, L a noncentral Lie ideal of R, and a ∈ R. Set [x, y]₁ = [x, y] = xy ? yx for x, y ∈ R and inductively [x, y]_k = [[x, y]_k?1, y] for k > 1. Suppose that δ is a nonzero σ-derivation of R such that a[δ(x), x]_k = 0 for all x ∈ L, where σ is an automorphism of R and k is a fixed positive integer. Then a = 0 except when char R = 2 and R ? M₂(F), the 2 × 2 matrix ring over a field F.