On Certain Identity Related to Herstein Theorem on Jordan Derivations

Let R be a 6-torsion-free prime ring and let \({D : R \rightarrow R}\) be an additive mapping satisfying the relation 2D(x ⁴) = D(x ³)x + x ³ D(x) + D(x)x ³ + xD(x ³) for all \({x \in R}\) . The purpose of this paper is to show that D is a derivation. This result is related to a classical result of Herstein, which states that any Jordan derivation on a 2-torsion-free prime ring is a derivation.     

On a functional equation related to derivations in prime rings

In this paper we prove the following result. Let m ≥ 1, n ≥ 1 be fixed integers and let R be a prime ring with m + n + 1 ≤ char(R) or char(R) = 0. Suppose there exists an additive nonzero mapping D : R → R satisfying the relation 2D(x ^n+m+1) = (m + n + 1)(x ^m D(x)x ⁿ + x ⁿ D(x)x ^m ) for all \({x\in R}\). In this case R is commutative and D is a derivation.     

Annihilating and power-commuting generalized skew derivations on lie ideals in prime rings

Let R be a prime ring of characteristic different from 2 and 3, Q_r its right Martindale quotient ring, C its extended centroid, L a non-central Lie ideal of R and n ≥ 1 a fixed positive integer. Let α be an automorphism of the ring R. An additive map D: R → R is called an α-derivation (or a skew derivation) on R if D(xy) = D(x)y + α(x)D(y) for all x, y ∈ R. An additive mapping F: R → R is called a generalized α-derivation (or a generalized skew derivation) on R if there exists a skew derivation D on R such that F(xy) = F(x)y + α(x)D(y) for all x, y ∈ R.     

Generalized (Jordan) left derivations on rings associated with an element of rings

In this paper, we introduce a new notion of generalized (Jordan) left derivation on rings as follows: let R be a ring, an additive mapping F : R → R is called a generalized (resp. Jordan) left derivation if there exists an element w ∈ R such that F(xy) = xF(y) + yF(x) + yxw (resp. F(x ²) = 2xF(x) + x ² w) for all x, y ∈ R. Then, some related properties and results on generalized (Jordan) left derivation of square closed Lie ideals are obtained.     

Power-Commuting Generalized Skew Derivations in Prime Rings

Let R be a non-commutative prime ring of characteristic different from 2 with extended centroid C, F ≠ 0 a generalized skew derivation of R, and n ≥ 1 such that [F(x), x] ⁿ  = 0, for all x ∈ R. Then there exists an element λ ∈ C such that F(x) = λx, for all x ∈ R.     

Vanishing power values of commutators with derivations

Let R be a prime ring of char R ≠ 2, let d be a nonzero derivation of R, and let ρ be a nonzero right ideal of R such that [[d(x)x ⁿ , d(y)] _m , [y, x] _s ] ^t = 0 for all x, y ? ρ, where n ≥ 1, m ≥ 0, s ≥ 0, and t ≥ 1 are fixed integers. If [ρ, ρ]ρ ≠ 0 then d(ρ)ρ = 0.     

A note on generalized Lie derivations of prime rings

Let R be a prime ring of characteristic not 2, A be an additive subgroup of R, and F, T, D, K: A-R be additive maps such that F([x, y]) = F(x)_y-yK(x)-T(y)_{x + x}D(y) for all x, yEA. Our aim is to deal with this functional identity when A is R itself or a noncentral Lie ideal of R. Eventually, we are able to describe the forms of the mappings F, T, D, and K in case A = R with deg(R) > 3 and also in the case A is a noncentral Lie ideal and deg(R) > 9. These enable us in return to characterize the forms of both generalized Lie derivations, D-Lie derivations and Lie centralizers of R under some mild assumptions. Finally, we give a generalization of Lie homomorphisms on Lie ideals.     

How far can we go with Amitsur’s theorem in differential polynomial rings?

A well-known theorem by S. A. Amitsur shows that the Jacobson radical of the polynomial ring R[x] equals I[x] for some nil ideal I of R. In this paper, however, we show that this is not the case for differential polynomial rings, by proving that there is a ring R which is not nil and a derivation D on R such that the differential polynomial ring R[x;D] is Jacobson radical. We also show that, on the other hand, the Amitsur theorem holds for a differential polynomial ring R[x;D], provided that D is a locally nilpotent derivation and R is an algebra over a field of characteristic p > 0. The main idea of the proof introduces a new way of embedding differential polynomial rings into bigger rings, which we name platinum rings, plus a key part of the proof involves the solution of matrix theory-based problems.     

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.

     

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).     

Non-associative Ore extensions

We introduce non-associative Ore extensions, S = R[X; σ, δ], for any nonassociative unital ring R and any additive maps σ, δ: R → R satisfying σ(1) = 1 and δ(1) = 0. In the special case when δ is either left or right R _δ -linear, where R _δ = ker(δ), and R is δ-simple, i.e. {0} and R are the only δ-invariant ideals of R, we determine the ideal structure of the nonassociative differential polynomial ring D = R[X; id _R , δ]. Namely, in that case, we show that all non-zero ideals of D are generated by monic polynomials in the center Z(D) of D. We also show that Z( _D ) = R _δ [p] for a monic p ∈ R _δ [X], unique up to addition of elements from Z(R) _δ . Thereby, we generalize classical results by Amitsur on differential polynomial rings defined by derivations on associative and simple rings. Furthermore, we use the ideal structure of D to show that D is simple if and only if R is δ-simple and Z(D) equals the field R _δ ∩ Z(R). This provides us with a non-associative generalization of a result by Öinert, Richter and Silvestrov. This result is in turn used to show a non-associative version of a classical result by Jordan concerning simplicity of D in the cases when the characteristic of the field R _δ ∩ Z(R) is either zero or a prime. We use our findings to show simplicity results for both non-associative versions of Weyl algebras and non-associative differential polynomial rings defined by monoid/group actions on compact Hausdorff spaces.     

Bessel Property of the System of Root Functions of a Second-Order Singular Operator on an Interval

For the system of root functions of an operator defined by the differential operation ?u″ + p(x)u′ + q(x)u, x ∈ G = (0, 1), with complex-valued singular coefficients, sufficient conditions for the Bessel property in the space L₂(G) are obtained and a theorem on the unconditional basis property is proved. It is assumed that the functions p(x) and q(x) locally belong to the spaces L₂ and W₂^?1, respectively, and may have singularities at the endpoints of G such that q(x) = q_R(x) +q′S(x) and the functions q_S(x), p(x), q ₂ ^S (x)w(x), p²(x)w(x), and q_R(x)w(x) are integrable on the whole interval G, where w(x) = x(1 ? x).     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

Augmentation quotients for burnside rings of generalized dihedral groups

Let H be a finite abelian group of odd order, D be its generalized dihedral group, i.e., the semidirect product of C₂ acting on H by inverting elements, where C₂ is the cyclic group of order two. Let Ω (D) be the Burnside ring of D, Δ(D) be the augmentation ideal of Ω (D). Denote by Δⁿ(D) and Q_n(D) the nth power of Δ(D) and the nth consecutive quotient group Δⁿ(D)/Δⁿ⁺¹(D), respectively. This paper provides an explicit Z-basis for Δⁿ(D) and determines the isomorphism class of Q_n(D) for each positive integer n.     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.     

Spectral asymptotics of a nonself-adjoint elliptic differential operator with an indefinite weight function

In the present paper, we compute the leading term of the asymptotics of the angular eigenvalue distribution function of the problem Au = λω(x)u(x) in a bounded domain Ω ? R ⁿ , where A is an elliptic differential operator of order 2m with domain D(A) ? W _m ^2m (Ω). The weight function ω(x) (x ∈ Ω) is indefinite and can also take zero values on a set of positive measure.     

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.
       
    

     

The Folded (2<Emphasis Type="Italic">D</Emphasis> + 1)-cube and Its Uniform Posets

Let Γ denote the folded (2D + 1)-cube with vertex set X and diameter D ≥ 3. Fix x ∈ X. We first define a partial order ≤ on X as follows. For y, z ∈ X let y ≤ z whenever ?(x, y) + ?(y, z) = ?(x, z). Let R (resp. L) denote the raising matrix (resp. lowering matrix) of Γ. Next we show that there exists a certain linear dependency among RL², LRL,L²R and L for each given Q-polynomial structure of Γ. Finally, we determine whether the above linear dependency structure gives this poset a uniform structure or strongly uniform structure.     

Density of characters of bounded <Emphasis Type="Italic">p</Emphasis>-adic analytic functions in the topological dual

Let K be an ultrametric complete algebraically closed field, let D be a disk {x ∈ K ‖x| < R} (with R in the set of absolute values of K) and let A be the Banach algebra of bounded analytic functions in D. The vector space generated by the set of characters of A is dense in the topological dual of A if and only if K is not spherically complete. Let H(D) be the Banach algebra of analytic elements in D. The vector space generated by the set of characters of H(D) is never dense in the topological dual of H(D).     

Local derivations of finitary incidence algebras

Let P be a partially ordered set, R a commutative ring with identity and FI(P,R) the finitary incidence algebra of P over R. We prove that each R-linear local derivation of FI(P,R) is a derivation, which partially generalizes Theorem 3 of [21].