• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.151-157
• /
• 2010

In this note, we obtain range inclusion results for left Jordan derivations on Banach algebras: (i) Let $\delta$ be a spectrally bounded left Jordan derivation on a Banach algebra A. Then $\delta$ maps A into its Jacobson radical. (ii) Let $\delta$ be a left Jordan derivation on a unital Banach algebra A with the condition sup{r$(c^{-1}\delta(c))$ : c $\in$ A invertible} < $\infty$. Then $\delta$ maps A into its Jacobson radical. Moreover, we give an exact answer to the conjecture raised by Ashraf and Ali in [2, p. 260]: every generalized left Jordan derivation on 2-torsion free semiprime rings is a generalized left derivation.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.31-36
• /
• 1983

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.789-794
• /
• 2007

Let R be a 3-torsion free semiprime ring and let I be a nonzero two-sided ideal of R. Suppose that there exists a permuting 3-derivation ${\Delta}:R{\times}R{\times}R{\rightarrow}R$ such that the trace is centralizing on I. Then the trace of ${\Delta}$ is commuting on I. In particular, if R is a 3!-torsion free prime ring and ${\Delta}$ is nonzero under the same condition, then R is commutative.

• The Pure and Applied Mathematics
• /
• v.14 no.4
• /
• pp.271-278
• /
• 2007

Let R be a 2-torsion free semiprime ring. Suppose that there exists a 4-permuting 4-derivation ${\Delta}:R{\times}R{\times}R{\times}R{\rightarrow}R$ such that the trace is centralizing on R. Then the trace of ${\Delta}$ is commuting on R. In particular, if R is a 3!-torsion free prime ring and ${\Delta}$ is nonzero under the same condition, then R is commutative.

• Korean Journal of Mathematics
• /
• v.26 no.2
• /
• pp.285-291
• /
• 2018

Let $\mathcal{A}$ be a unital $C^*$-algebra. It is shown that additive map ${\delta}:{\mathcal{A}}{\rightarrow}{\mathcal{A}}$ which satisfies $${\delta}({\mid}x{\mid}x)={\delta}({\mid}x{\mid})x+{\mid}x{\mid}{\delta}(x),\;{\forall}x{{\in}}{\mathcal{A}}_N$$ is a Jordan derivation on $\mathcal{A}$. Here, $\mathcal{A}_N$ is the set of all normal elements in $\mathcal{A}$. Furthermore, if $\mathcal{A}$ is a semiprime $C^*$-algebra then ${\delta}$ is a derivation.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1863-1871
• /
• 2013

For a ring R with an automorphism ${\sigma}$, an n-additive mapping ${\Delta}:R{\times}R{\times}{\cdots}{\times}R{\rightarrow}R$ is called a skew n-derivation with respect to ${\sigma}$ if it is always a ${\sigma}$-derivation of R for each argument. Namely, if n - 1 of the arguments are fixed, then ${\Delta}$ is a ${\sigma}$-derivation on the remaining argument. In this short note, from Bre$\check{s}$ar Theorems, we prove that a skew n-derivation ($n{\geq}3$) on a semiprime ring R must map into the center of R.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1113-1121
• /
• 2018

Let R be a prime ring (or semiprime ring) with center Z(R), I a nonzero ideal of R, T an automorphism of $R,S:R^n{\rightarrow}R$ be a symmetric skew n-derivation associated with the automorphism T and ${\Delta}$ is the trace of S. In this paper, we shall prove that S($x_1,{\ldots},x_n$) = 0 for all $x_1,{\ldots},x_n{\in}R$ if any one of the following holds: i) ${\Delta}(x)=0$, ii) [${\Delta}(x),T(x)]=0$ for all $x{\in}I$. Moreover, we prove that if $[{\Delta}(x),T(x)]{\in}Z(R)$ for all $x{\in}I$, then R is a commutative ring.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.451-458
• /
• 2009

Let $n{\geq}2$ be a fixed positive integer and let R be a noncommutative n!-torsion free semiprime ring. Suppose that there exists a symmetric n-derivation $\Delta$ : $R^{n}{\rightarrow}R$ such that the trace of $\Delta$ is centralizing on R. Then the trace is commuting on R. If R is a n!-torsion free prime ring and $\Delta{\neq}0$ under the same condition. Then R is commutative.

• Kyungpook Mathematical Journal
• /
• v.49 no.1
• /
• pp.1-6
• /
• 2009

Let B(X) denote the algebra of operators on a complex Banach space X, H(X) = {h ${\in}$ B(X) : h is hermitian}, and J(X) = {x ${\in}$ B(X) : x = $x_1$ + $ix_2$, $x_1$ and $x_2$ ${\in}$ H(X)}. Let ${\delta}_a$ ${\in}$ B(B(X)) denote the derivation ${\delta}_a$ = ax - xa. If J(X) is an algebra and ${\delta}_a^{-1}(0){\subseteq}{\delta}_{a^*}^{-1}(0)$ for some $a{\in}J(X)$, then ${\parallel}a{\parallel}{\leq}{\parallel}a-(x^*x-xx^*){\parallel}$ for all $x{\in}J(X){\cap}{\delta}_a^{-1}(0)$. The cases J(X) = B(H), the algebra of operators on a complex Hilbert space, and J(X) = $C_p$, the von Neumann-Schatten p-class, are considered.

• Kyungpook Mathematical Journal
• /
• v.60 no.4
• /
• pp.683-710
• /
• 2020

Let ℕ be the set of nonnegative integers and 𝕬 be a 2-torsion free triangular algebra over a commutative ring ℛ. In the present paper, under some lenient assumptions on 𝕬, it is proved that if Δ = {𝛿_n}_n∈ℕ is a sequence of ℛ-linear mappings 𝛿_n : 𝕬 → 𝕬 satisfying ${\delta}_n([[x,\;y],\;z])\;=\;\displaystyle\sum_{i+j+k=n}\;[[{\delta}_i(x),\;{\delta}_j(y)],\;{\delta}_k(z)]$ for all x, y, z ∈ 𝕬 with xy = 0 (resp. xy = p, where p is a nontrivial idempotent of 𝕬), then for each n ∈ ℕ, 𝛿_n = d_n + 𝜏_n; where d_n : 𝕬 → 𝕬 is ℛ-linear mapping satisfying $d_n(xy)\;=\;\displaystyle\sum_{i+j=n}\;d_i(x)d_j(y)$ for all x, y ∈ 𝕬, i.e. 𝒟 = {d_n}_n∈ℕ is a higher derivation on 𝕬 and 𝜏_n : 𝕬 → Z(𝕬) (where Z(𝕬) is the center of 𝕬) is an ℛ-linear map vanishing at every second commutator [[x, y], z] with xy = 0 (resp. xy = p).