Derivations with engel conditions in prime and semiprime rings

Let R be a prime ring, I a nonzero ideal of R, d a derivation of R and m, n fixed positive integers. (i) If (d[x, y]) ^m = [x, y] _n for all x, y ∈ I, then R is commutative. (ii) If Char R ≠ 2 and [d(x), d(y)] _m = [x, y] ⁿ for all x, y ∈ I, then R is commutative. Moreover, we also examine the case when R is a semiprime ring.     

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.     

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.     

Higher derivations and commutativity in lattice-ordered rings

In 1978 I. N. Herstein proved that a prime ring \(R\) of characteristic not two with nonzero derivation \(d\) satisfying \(d(x)d(y)=d(y)d(x)\) for all \(x,y\in R\) is commutative, and in 1995 Bell and Daif showed that \(d(xy)=d(yx)\) implies commutativity. We extend the Bell–Daif theorem to lattice-ordered prime rings with a positive derivation satisfying the property on a one-sided \(L\) -ideal and interpret these conditions for higher derivations in prime \(d\) -rings and in semiprime \(f\) -rings. Our key tool is that every positive derivation nilpotent on a one-sided \(L\) -ideal of a semiprime \(\ell \) -ring is zero on that ideal.     

Semiperfect Prüfer rings and FPF rings

The Asano-Michler theorem states that a 2-sided order R in a simple Artinian ringO is hereditary provided thatR satisfies the three requirements: (AM1) Noetherian; (AM2) nonzero ideals are invertible; (AM3) bounded. We generalize this in one direction by specializing to a semiperfect bounded orderR, and prove thatR is semihereditary assuming only that finitely generated nonzero ideals are invertible (=R is Prüfer). In this case,R ≈ a fulln ×n matrix ringD _n over a valuation domainD. More generally, we study a ringR, called right FPF, over which finitely generated faithful right modules generate the category mod-R of all rightR-modules. We completely determine all semiperfect Noetherian FPF rings: they are finite products of semiperfect Dedekind prime rings and Quasi-Frobenius rings. (For semiprime right FPF rings, we do not require the Noetherian or semiperfect hypothesis in order to obtain a decom-position into prime rings: the acc on direct summands suffices. The “theorem” with “semiperfect” delected is an open problem.     

Posner and herstein theorems for derivations of 3-prime near-rings

The analog of Posner's theorem on the composition of two derivations in prime rings is proved for 3-prime near-rings. It is shown that if d is a nonzero derivation of a 2-torsionfree 3-prime near-ring N and an element a ? N is such that ax^d = x^da for all x ? N, then a is a central element. As a consequence it is shown that if d\ and d₂ are nonzero derivations of a 2-torsionfree 3-prime near-ring N and x^d1y^d2 = y^d2x^d1 for all x, y ? N, then N is a commutative ring. Thus two theorems of Herstein are generalized     

Weakly Special Classes of Semiprime Rings

This paper investigates closure properties possessed by certain classes of finite subdirect products of prime rings. If ℳ is a special class of prime rings then the class ℳ_∞ of all finite subdirect products of rings in ℳ is shown to be weakly special. A ring S is said to be a right tight extension [resp. tight extension] of a subring R if every nonzero right ideal [resp. right ideal and left ideal] of S meets R nontrivially. Every hereditary class of semiprime rings closed under tight extensions is weakly special. Each of the following conditions imposed on a semiprime ring yields a hereditary class closed under right tight extensions: ACC on right annihilators; finite right Goldie dimension; right Goldie. The class of all finite subdirect products of uniformly strongly prime rings is shown to be closed under tight extensions, answering a published question. This revised version was published online in June 2006 with corrections to the Cover Date.     

Rings of quotients for rings with big center

A ring R is called an IIC-ring if any nonzero ideal of R has nonzero intersection with the center of R. We consider certain results about rings of quotients of semiprime IIC-rings and show by examples that these properties are not preserved in the case of arbitrary IIC-rings. We also prove more general properties of IIC-rings concerning its rings of quotients.     

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.     

Strong commutativity preserving generalized derivations on right ideals

We characterize a prime ring R which admits a generalized derivation g and a map f : ρ → R such that [ f (x), g(y)]?=?[x, y] for all ${x,y\in \rho}$ , where ρ is a nonzero right ideal of R. With this, several known results can be either deduced or generalized.     

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 one sided ideals of a semiprime ring with generalized derivations

Let R be a ring with center Z(R). An additive mapping ${F : R \longrightarrow R}$ is said to be a generalized derivation on R if there exists a derivation ${d : R \longrightarrow R}$ such that F(xy) = F(x)y + xd(y), for all ${x, y \in R}$ (the map d is called the derivation associated with F). Let R be a semiprime ring and U be a nonzero left ideal of R. In the present note we prove that if R admits a generalized derivation F, d is the derivation associated with F such that d(U) ≠ (0) then R contains some nonzero central ideal, if one of the following conditions holds: (1) R is 2-torsion free and ${F(xy) \in Z(R)}$ , for all ${x, y \in U}$ , unless F(U)U = UF(U) = Ud(U) = (0); (2) ${F(xy) \mp yx \in Z(R)}$ , for all ${x,y \in U}$ ; (3) ${F(xy) \mp [x,y] \in Z(R)}$ , for all ${x,y \in U}$ ; (4) F ≠ 0 and F([x,y]) = 0, for all ${x, y \in U}$ , unless Ud(U) = (0); (5) F ≠ 0 and ${F([x, y]) \in Z(R)}$ , for all ${x, y \in U}$ , unless either d(Z(R))U = (0) or Ud(U) = (0)n.     

On Commutativity of Rings With Derivations

Let R be a ring and d : R → R a derivation of R. In the present paper we investigate commutativity of R satisfying any one of the properties (i)d([x,y]) = [x,y], (ii)d(x o y) = xoy, (iii)d(x) o d(y) = 0, or (iv)d(x) o d(y) = x o y, for all x, y in some apropriate subset of R.     

Nilpotent and invertible values in semiprime rings with generalized derivations

Let R be a semiprime ring and F be a generalized derivation of R and n??? 1 a fixed integer. In this paper we prove the following: (1) If (F(xy) ? yx) ⁿ is either zero or invertible for all ${x,y\in R}$ , then there exists a division ring D such that either R?=?D or R?=?M ₂(D), the 2?× 2 matrix ring. (2) If R is a prime ring and I is a nonzero right ideal of R such that (F(xy) ? yx) ⁿ ?=?0 for all ${x,y \in I}$ , then [I, I]I?=?0, F(x)?=?ax?+?xb for ${a,b\in R}$ and there exist ${\alpha, \beta \in C}$ , the extended centroid of R, such that (a ? ??)I?=?0 and (b ? ??)I?=?0, moreover ((a?+?b)x ? x)I?=?0 for all ${x\in I}$ .     

Strongly compressible modules and semiprime right goldie rings

A module M _R is defined to be strongly compressible (or SC for short) if for every essential submodule N of M, there exists X ? E(M) such that M ? X ? N. We show that a ring R is semiprime right Goldie iff R _Ris SC module iff every right ideal of R is SC module iff every submodule of each progenerator of Mod-R is SC module. As corollaries of this result, we obtain some new module-theoretic characterizations of semiprime Goldie rings, prime (right) Goldie rings and Prüfer rings, etc., etc.,respectively. And the characterization theorem of semiprime Goldie rings of López-Permouth, Rizvi and Yousif by using weakly-injective modules can be regarded as a corollary of our results.     

On a theorem of J. Vukman

Summary LetR be a ring. A bi-additive symmetric mappingD:R × R R is called a symmetric bi-derivation if, for any fixedy R, the mappingx D(x, y) is a derivation. J. Vukman [2, Theorem 2] proved that, ifR is a non-commutative prime ring of characteristic not two and three, and ifD:R × R R is a symmetric bi-derivation such that [D(x, x), x] lies in the center ofR for allx R, thenD = 0. This result is in the spirit of the well-known theorem of Posner [1, Theorem 2], which states that the existence of a nonzero derivationd on a prime ringR, such that [d(x), x] lies in the center ofR for allx R, forcesR to be commutative. In this paper we generalize the result of J. Vukman mentioned above to nonzero two-sided ideals of prime rings of characteristic not two and we prove the following. Theorem.Let R be a non-commutative prime ring of characteristic different from two, and I a nonzero two-sided ideal of R. Let D: R × R R be a symmetric bi-derivation. If [D(x, x), x] lies in the center of R for all x I, then D = 0.     

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

Summary The structure of prime ringsR and nonzero derivationsd onR, satisfyingd(x)f(x) = 0 for allx R, is described,f being a nonzero additive mapping ofR. Supported in part by a grant from the Ministry of Science of Slovenia.     

Symmetric bi-derivations on prime and semi-prime rings

Summary LetR be a ring. A bi-additive symmetric mappingD(.,.): R × R R is called a symmetric bi-derivation if, for any fixedy R, a mappingx D(x, y) is a derivation. The purpose of this paper is to prove some results concerning symmetric bi-derivations on prime and semi-prime rings. We prove that the existence of a nonzero symmetric bi-derivationD(.,.): R × R R, whereR is a prime ring of characteristic not two, with the propertyD(x, x)x = xD(x, x), x R, forcesR to be commutative. A theorem in the spirit of a classical result first proved by E. Posner, which states that, ifR is a prime ring of characteristic not two andD ₁,D ₂ are nonzero derivations onR, then the mappingx D ₁(D ₂ (x)) cannot be a derivation, is also presented.     

Additive maps on rings behaving like derivations at idempotent-product elements

For every ring R with the unit I containing a nontrivial idempotent P, we describe the additive maps δ from R into itself which behave like derivations, and show that derivations on such kinds of rings can be determined by the action on the elements A,B∈R with AB=0, AB=P and AB=I respectively. Those results of An and Hou [R. An, J. Hou, Characterizations of derivations on triangular rings: additive maps derivable at idempotents, Linear Algebra Appl. 431 (2009) 1070-1080], Bres?ar [M. Bres?ar, Characterizing homomorphisms, multipliers and derivations in rings with idempotents, Proc. Roy. Soc. Edinburgh. Sect. A. 137 (2007) 9-21] and Chebotar et al. [M.A. Chebotar, W.-F. Ke, P.-H. Lee, Maps characterized by action on zero products, Pacific J. Math. 216 (2) 2004 217-228] are improved.     

Generalized Skew Derivations Implemented by Elementary Operators

Let R be a semiprime ring with the maximal right ring of quotients Q _mr . An additive map d: R →Q _mr is called a generalized skew derivation if there exists a ring endomorphism σ:R →R and a map \(\d:R \to Q_{mr}\) such that \(d(xy)=\d(x)y+\sigma(x)d(y)\) for all x,y?∈?R. If σ is surjective, we determine the structure of generalized skew derivations for which there exists a finite number of elements a _i ,b _i ?∈?Q _mr such that d(x)?=?a ₁ xb ₁?+???+?a _n xb _n for all x?∈?R.