Abstract
The objective of this research is to prove that an additive mapping \(\Delta :{\mathcal {A}}\rightarrow {\mathcal {A}}\) will be a generalized derivation associated with a derivation \(\partial :{\mathcal {A}}\rightarrow {\mathcal {A}}\) if it satisfies the following identity \(\Delta (r^{m+n+p})=\Delta (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) for all \(r\in {\mathcal {A}}\), where \(m, n\ge 1\) and \(p\ge 0\) are fixed integers and \({\mathcal {A}}\) is a semiprime ring. Another analogous has been done where an additive mapping behaves like a generalized left derivation associated with a left derivation on \({\mathcal {A}}\) satisfying certain algebraic identity. The proofs of these advancements are derived employing algebraic concepts. These theorems have been validated by offering an example that shows they are not insignificant. Furthermore, we provide an application in the framework of Banach algebra.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
\({\mathcal {A}}\) will be used to signify an associative ring with identity throughout this paper. The center of \({\mathcal {A}}\) is \(Z_{\mathcal {A}}\), the left Martindale ring of quotients is \(Q_l({\mathcal {A}}_C)\), and the extended centroid is \({\mathcal {C}}\). A ring \({\mathcal {A}}\) is known as t-torsion free if \(tr = 0\) implies \(r = 0\) for all \(r \in {\mathcal {A}}\), where \(t > 1\) is an integer. [r, s] denotes the commutator \(rs-sr\). A ring \({\mathcal {A}}\) is known as prime if \(r{\mathcal {A}}s = \{0\}\) implies either \(r = 0\) or \(s = 0\), and is said to be a semiprime if \(s{\mathcal {A}}s = \{0\}\) implies \(s = 0\). A mapping \(\partial \) from a ring \({\mathcal {A}}\) to itself is known as a derivation if it is additive and \(\partial (rs) = \partial (r)s + r\partial (s)\) for every pair \(r,s\in {\mathcal {A}}\) and particularly, \(\partial \) is known as a Jordan derivation if \(\partial (r^2) = \partial (r)r + r\partial (r)\) is fulfilled for all \(r \in {\mathcal {A}}\). From the definition, it is obvious to notice that every derivation will be a Jordan derivation, but in general, the converse does not hold. An essential outcome from Herstein [6] affirms that a derivation and Jordan derivation are identically the same on a prime ring with characteristic other than 2. An extension of this conclusion is presented by Cusack [5]. Next, we define a generalization of a derivation due to [4]. An additive mapping \(\Delta \) from \({\mathcal {A}}\) to itself is known as a generalized derivation if there occurs a derivation \(\partial \) on \({\mathcal {A}}\) such that \(\Delta (rs)=\Delta (r)s+r\partial (s)\) for every \(r,s\in {\mathcal {A}}\) and particularly if \(r=s\), then \(\Delta \) is a generalized Jordan derivation associated with a Jordan derivation \(\partial \). It is straightforward to authenticate that every generalized derivation will be a generalized Jordan derivation. However, this is not always the case. Encouraged by the definition of Jordan derivation, Bresar [3] has started to study Jordan triple derivations on rings which reads: an additive mapping \(\partial \) from \({\mathcal {A}}\) to itself is termed as Jordan triple derivations if \(\partial (rsr)=\partial (r)sr+r\partial (s)r+rs\partial (r)\) for all \(r,s\in {\mathcal {A}}\). It is obvious that Jordan’s triple derivation is an extension of Jordan’s derivation. Motivated by the concept of generalized derivation and Jordan triple derivation, Jing and Lu [7] defined a new notion of \({\mathcal {A}}\) that is called a generalized Jordan triple derivation which is as follows: If a Jordan triple derivation \(\partial \) on \({\mathcal {A}}\) exists, then an additive mapping \(\Delta \) from \({\mathcal {A}}\) to itself is known as a generalized Jordan triple derivation associated with \(\partial \) such that \(\Delta (rsr)=\Delta (r)sr+r\partial (s)r+rs\partial (r)\) holds for every \(r,s\in {\mathcal {A}}\). Every generalized Jordan triple derivation is a generalized derivation on a 2-torsion-free prime ring, according to the authors of [7]. If \(\Delta \) is a generalized derivation associated with a derivation \(\partial \) on \({\mathcal {A}}\), then the algebraic identity \(\Delta (r^{m+n+p})=\Delta (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) holds for all \(r\in {\mathcal {A}}\) but the converse is not true in general. It is natural to ask whether the mappings \(\Delta \) and \( \partial \) from a ring \({\mathcal {A}}\) to itself satisfying the above generalized identity, will be a generalized derivation and a derivation on \({\mathcal {A}}\), respectively. The answer is a resounding yes. In this research paper, we have studied that under what condition, this mathematical statement is true. More precisely, we proved the following: an additive mapping \(\Delta \) is generalized derivation associated with a derivation \(\partial \) on \({\mathcal {A}}\) if the following algebraic identity \(\Delta (r^{m+n+p})=\Delta (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) holds for every \(r\in {\mathcal {A}}\), where \(n, m\ge 1\) and \(p\ge 0\) be any fixed integers and \({\mathcal {A}}\) be any \((n+m+p-1)!\)-torsion free semiprime ring.
Next part is based on another extension of a derivation which is termed as left derivation. An additive mapping \(\partial _1\) from \( {\mathcal {A}}\) to itself is said to be a left derivation and Jordan left derivation if \(\partial _1(rs)=r\partial _1(s)+s\partial _1(r)\) and \(\partial _1(r^2)=2r\partial _1(z)\)) hold respectively. An additive mapping \(\partial _1\) from \({\mathcal {A}}\) to itself is known as a right derivation (respectively Jordan right derivation) if \(\partial _1(rs)=\partial _1(r)s+\partial _1(s)r\) (respectively \(\partial _1(r^2)=2\partial _1(r)r\)) for every pair \(r, s\in {\mathcal {A}}\). If it is both left and right, then \(\partial _1\) is a derivation. One can easily see that left derivation implies a Jordan left derivation on a ring \({\mathcal {A}}\), although converse is not always true, (see [13]). A generalization of left derivation is given by Ashraf et al. in [2] which is defined as follows: an additive mapping \(\nabla \) from \({\mathcal {A}}\) to itself is known as generalized left derivation if there is a Jordan left deviation \(\partial _1\) on \( {\mathcal {A}}\) such that \(\nabla (rs)=r\nabla (s)+s\partial _1(r)\) for all \(r, s\in {\mathcal {A}}\). Similarly, generalized Jordan left derivation is likewise defined there. Particularly, if we take \(\partial _1=0\), then \(\nabla \) will become right centralizer due to Zalar [14] and if \(\partial =0\), then \(\Delta \) is said to be a left centralizer. An additive mapping which is both, called as centralizer. Similarly, Jordan centralizer is defined by considering \(r=s\). There is a strong relationship between right centralizer, generalized left derivation and left derivation i.e., if T right centralizer and \(\partial _1\) is a left derivation, then \(\nabla \) can be written as \(\partial _1+T\) on \({\mathcal {A}}\). Now, if \(\partial _1\) is Jordan left derivation and \(\nabla \) is a generalized left derivation on \({\mathcal {A}}\), then algebraic identity \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) holds for every \(r\in {\mathcal {A}}\) but what about the converse of this statement? The converse of this statement is also true with some torsion restrictions on a semiprime ring \({\mathcal {A}}\). More precisely, let \(m, n\ge 1\) and \(p\ge 0\) be fixed integers and \(\nabla , \partial _1\) from \({\mathcal {A}}\) to itself be additive mappings which satisfy the following algebraic identity \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) for every r in a semiprime ring \({\mathcal {A}}\), then \(\nabla \) will be a generalized left derivation associated with a Jordan left derivation \(\partial _1\) on a \((n+m+p-1)!\)-torsion free ring \({\mathcal {A}}\).
2 Main results
We begin our investigation with the following problem:
Theorem 2.1
Suppose that \(m, n\ge 1\) and \(p\ge 0\) are fixed integers and \({\mathcal {A}}\) is any \((n+m+p-1)!\)-torsion-free semiprime ring with identity e. If \(\Delta \) and \( \partial \) from \({\mathcal {A}}\) to itself are additive mappings which satisfy the following algebraic identity \(\Delta (r^{m+n+p})=\Delta (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) for every \(r\in {\mathcal {A}}\), then \(\Delta \) will be a generalized derivation associated with a derivation \(\partial \) on \({\mathcal {A}}\).
Proof
Given that
Replacing r by e, we obtain \(\partial (e)=0\). We proceed with the condition (2.1) and replace r by \(r+qs\) to get
where q is any positive integer and \(s\in {\mathcal {A}}\).
Rewrite the above expression by using (2.1) as
where \({\mathcal {P}}_i(r,s)\) stand for the coefficients of \(q^i\)’s for all \(i=1,2,\ldots , n+m+p-1\). If we replace q by \(1,2,\ldots , n+m+p-1\) in turn, then we find a system of \(n+m+p-1\) homogeneous linear equations. It gives us a Vander Monde matrix
Which yields that \({\mathcal {P}}_i(r,s)\) is zero for every r, s in \({\mathcal {A}}\) and for \(i=1,2,\ldots , n+m+p-1\). Particularly, take \({\mathcal {P}}_1(r,s)=0\) to get the following:
Reinstate the above equation by putting e in place of r to have \(\left( {\begin{array}{c}m+n+p\\ 1\end{array}}\right) \Delta (e)s=\left( {\begin{array}{c}n+p\\ 1\end{array}}\right) \Delta (e)s+\left( {\begin{array}{c}m\\ 1\end{array}}\right) \Delta (s) +\left( {\begin{array}{c}p\\ 1\end{array}}\right) \partial (e)s+\left( {\begin{array}{c}n\\ 1\end{array}}\right) \partial (s)+\left( {\begin{array}{c}p\\ 1\end{array}}\right) \partial (e)s +\left( {\begin{array}{c}p\\ 1\end{array}}\right) \partial (s)+\left( {\begin{array}{c}m+n\\ 1\end{array}}\right) s\partial (e)\). On simplifying the last relation, we can obtain \((n+p)\Delta (s)=(n+p)\Delta (e)s+(n+p)\partial (s)\) for all \(s\in {\mathcal {A}}\). A torsion restriction given in the hypothesis enable us to write
Now consider \({\mathcal {P}}_2(r,s)=0\), which implies that
Substituting e for r in the above expression and using the fact that \(\partial (e)=0\), we obtain
A quiet manipulation yields that
This implies that
This entails
This gives
Replacing s by \(s^2\) in (2.3) and use it the above relation, we receive that
Subsequently a few calculation, we arrive at
Since \({\mathcal {A}}\) is \(2(mn+np+pm)\)-torsion free ring, then we find \(\partial (s^2)=\partial (s)s+s\partial (s)\) for every \(s\in {\mathcal {A}}\). Hence, \(\partial \) is a Jordan derivation on \({\mathcal {A}}\). Since, \({\mathcal {A}}\) is 2 torsion free semiprime ring, then from [5], \(\partial \) will be a derivation on \({\mathcal {A}}\). Next, consider from (2.3), we have
Hence \(\Delta \) is generalized Jordan derivation on \({\mathcal {A}}\) associated with the derivation \(\partial \). Using Theorem from [15], we obtain the desired outcome. \(\square \)
The following are some direct ramifications of the preceding theorem:
Corollary 2.2
Suppose that \(m, n\ge 1\) and \({\mathcal {A}}\) are fixed integers and \((m+n-1)!\)-torsion free semiprime ring with identity e, respectively. If \(\Delta \) and \( \partial \) from \({\mathcal {A}}\) to itself are additive mappings that fulfill the algebraic identity \(\Delta (r^{m+n})=\Delta (r^m)r^{n}+r^m\partial (r^{n})\) for every r in \({\mathcal {A}}\), then \(\Delta \) will be a generalized derivation associated with \(\partial \), a derivation on \({\mathcal {A}}\).
Proof
Taking \(p=0\) in Theorem 2.1, we get the required result. \(\square \)
Corollary 2.3
Suppose that \(m, n\ge 1\) and \({\mathcal {A}}\) are fixed integers and \((m+n-1)!\)-torsion free semiprime ring with identity e, respectively. If \(\Delta \) from \({\mathcal {A}}\) to itself is an additive mapping that fulfills the algebraic identity \(\Delta (r^{m+n})=\Delta (r^m)r^{n}\) for every r in \({\mathcal {A}}\), then \(\Delta \) will be a centralizer on \({\mathcal {A}}\).
Proof
Taking \(d=p=0\) in Theorem 2.1, we find the required conclusion. \(\square \)
Corollary 2.4
Let \(m, n\ge 1\) and \(p\ge 0\) be fixed integers and \({\mathcal {A}}\) be any \((n+m+p-1)!\)-torsion free semiprime ring with identity e. Suppose that \(\partial :{\mathcal {A}}\rightarrow {\mathcal {A}}\) is additive mapping which satisfy the following algebraic identity \(\partial (r^{m+n+p})=\partial (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) for every r in \({\mathcal {A}}\), then \(\partial \) will be a derivation.
Proof
Considering \(\partial \) as \(\Delta \) and using the same steps as we did in the first main theorem, we obtain the required conclusion. \(\square \)
Corollary 2.5
Let \(m\ge 1\) and \({\mathcal {A}}\) be fixed integers and any \((3m-1)!\)-torsion free semiprime ring with identity e, respectively. If \(\Delta \) and \(\partial \) from \({\mathcal {A}}\) to itself are additive mappings that fulfills the algebraic identity \(\Delta (r^{3m})=\Delta (r^m)r^{2m}+r^m\partial (r^{m})r^m+r^{2m}\partial (r^m)\) for every r in \({\mathcal {A}}\), then \(\Delta \) will be a generalized derivation associated with a derivation \(\partial \).
Proof
Considering \(m=n=p\) and using the same steps as we did in the first theorem, we reach at the required conclusion. \(\square \)
Corollary 2.6
Let \(m\ge 1\) and \({\mathcal {A}}\) be fixed integers and any \((2m-1)!\)-torsion-free semiprime ring with identity e, respectively. If \(\Delta \) and \( \partial \) from \({\mathcal {A}}\) to itself are additive mappings that fulfill the algebraic identity \(\Delta (r^{2m})=\Delta (r^m)r^{m}+r^m\partial (r^{m})\) for every r in \({\mathcal {A}}\), then \(\Delta \) is a generalized derivation associated with \(\partial \), a derivation on \({\mathcal {A}}\).
Proof
Taking \(m=n\) in Corollary 2.2, we obtain the desired outcome. \(\square \)
Corollary 2.7
Let \(m\ge 1\) and \({\mathcal {A}}\) be fixed integers and any \((2m-1)!\)-torsion free semiprime ring with identity e, respectively. If \(\Delta \) from \({\mathcal {A}}\) to itself is an additive mapping that fulfills the algebraic identity \(\Delta (r^{2m})=\Delta (r^m)r^{m}\) for every r in \({\mathcal {A}}\), then \(\Delta \) will be a centralizer on \({\mathcal {A}}\).
Proof
Considering \(m=n\) in Corollary 2.3, we will arrive at the conclusion. \(\square \)
Corollary 2.8
Let \(m\ge 1\) and \({\mathcal {A}}\) be fixed integers and any \((3m-1)!\)-torsion free semiprime ring with identity e, respectively. If \(\partial \) from \({\mathcal {A}}\) to itself is an additive mapping that fulfill the algebraic identity \(\partial (r^{3m})=\partial (r^m)r^{2m}+r^m\partial (r^{m})r^m+r^{2m}\partial (r^m)\) for every r in \({\mathcal {A}}\), then \(\partial \) will be a derivation.
Proof
Considering \(m=n=p\) in Corollary 2.4, we will arrive at the conclusion. \(\square \)
Now let us move on to the second key theorem of the paper:
Theorem 2.9
Assume \(m, n\ge 1\) and \(p\ge 0\) are fixed integers and \({\mathcal {A}}\) is any \((n+m+p-1)!\)-torsion free semiprime ring with identity e. If \(\nabla \) and \(\partial _1\) from \({\mathcal {A}}\) to itself are additive mappings that fulfill the algebraic identity \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) for every r in \({\mathcal {A}}\), then \(\nabla \) will be generalized left derivation associated with a left derivation \(\partial _1\).
Proof
Given that
To get \(\partial _1(e)=0\), replace r by e. Further, by substituting r in (2.4) with \(r+qs\), we obtain
Write the above equation as the sum of the terms of power of q with (2.4), we obtain
where \({\mathcal {P}}_i(r,s)\) stance for the coefficients of \(q^i\)’s for all \(i=1,2,\ldots , n+m+p-1\). If we replace q by \(1,2,\ldots , n+m+p-1\) in turn, then we find a system of \(n+m+p-1\) homogeneous linear equations which gives a Vander Monde matrix, which turnout to \({\mathcal {P}}_i(r,s)=0\) for every pair r, s in \({\mathcal {A}}\) and for \(i=1,2,\ldots , n+m+p-1\). Particularly \({\mathcal {P}}_1(r,s)=0\)
In the above equation, replace r by e and use the fact that \(\partial _1(e)=0\) to have \(\left( {\begin{array}{c}m+n+p\\ 1\end{array}}\right) \nabla (e)s=\left( {\begin{array}{c}p\\ 1\end{array}}\right) \nabla (s)+\left( {\begin{array}{c}m+n\\ 1\end{array}}\right) s\nabla (e)+\left( {\begin{array}{c}n\\ 1\end{array}}\right) \partial _1(s)+\left( {\begin{array}{c}m\\ 1\end{array}}\right) \partial _1(s)\). On simplifying the previous relation we can obtain \((n+m)\nabla (s)=(n+m)s\nabla (e)+(n+m)\partial _1(s)\) for every \(s\in {\mathcal {A}}\). Torsion restriction given in the hypothesis enable us to write
Next, take \({\mathcal {P}}_2(r,s)=0\), which yields the following expression
Replacing e for r in the above equation and using the fact that \(\partial _1(e)=0\), we find
A straightforward estimation turnout the following \((m+n+p)(m+n+p-1)(p^2-p) \nabla (s^2)=2(mp+np)s\nabla (s)+2(mn+pn)s\partial _1(s)+2(mn+mp)s\partial _1(s)+(m+n)(m+n-1)[\nabla (s^2) -\partial _1(s^2)]+n(n-1)\partial _1(s^2)+m(m-1)\partial _1(s^2)\) for every \(s\in {\mathcal {A}}\), which yields that \(2(mp+np)\nabla (s^2)=2(2mn+np+pm)s\partial _1(s)-2mn\partial _1(s^2) +2(mn+np)s\nabla (s)\). Using Eq. (2.3) after some calculations, for all \(s\in {\mathcal {A}}\) this entails \(2(2mn+2mp+2np)\partial _1(s^2)=(2mn+2mp+2np)s\partial _1(s)\) for all \(s\in {\mathcal {A}}\). Using torsion restrictions on \({\mathcal {A}}\), we find \(\partial _1(s^2)=2s\partial _1(s)\). Hence, \(\partial _1\) is a Jordan left derivation on \({\mathcal {A}}\) as the ring is 2 torsion free semiprime, Now, from (2.3), we get
Hence, \(\nabla \) will be a generalized Jordan left derivation having associated left derivation \(\partial _1\). Using theorem from [1], we find the required conclusion. \(\square \)
The next result is a consequence of Theorem 2.9:
Theorem 2.10
Assume \(m, n\ge 1\) and \(p\ge 0\) are fixed integers. If \(\nabla \) and \(\partial _1\) from a \((n+m+p-1)!\)-torsion free semiprime ring \({\mathcal {A}}\) with identity e to itself are additive mappings that fulfill the algebraic identity \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\), then
-
(1)
\(\partial _1\) is a Commuting derivation on \({\mathcal {A}}\), and
-
(2)
\(\partial _1({\mathcal {A}})=Z_{\mathcal {A}}\), and
-
(3)
either \(\partial _1\) is zero or \({\mathcal {A}}\) is commutative, and
-
(4)
For some \(q\in Q_l({\mathcal {A}}_C)\), \(f(r)=rq\) for all \(r\in {\mathcal {A}}\), and
-
(5)
\(\nabla \) will be a generalized derivation.
Proof
-
(1)
Using Theorem 2.9 together with Theorem 3.1 of [1], we get the required result.
-
(2)
We find the required conclusion using Theorem 2.9 and Theorem 2 of [12].
-
(3)
Assume that \(\partial _1\ne 0\). We have \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) for all \(r\in {\mathcal {A}}\). Then, \(\nabla \) will be a generalized left derivation associated with \(\partial _1\) from Theorem 2.9. Therefore, \(\partial _1\) is a commuting derivation from (1). As a conclusion, \({\mathcal {A}}\) is commutative from [9, Theorem 2].
-
(4)
In view of Theorem 2.9 and (3), we find \(\partial _1=0\). As \({\mathcal {A}}\) is a semiprime ring, then \(\nabla \) will be a right centralizer on \({\mathcal {A}}\). Therefore, from [1, Proposition 2.10], we achieve the desired outcome.
-
(5)
Considering \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) for all \(r\in {\mathcal {A}}\). In perspective of (3) and Theorem 2.9, \(\partial _1\) and \({\mathcal {A}}\) will be a derivation and commutative ring respectively. Hence, We obtain the desired conclusion.
\(\square \)
The next example demonstrates that the theorems provided in this paper are not unjustifiable.
Example 2.11
Determine a ring \({\mathcal {A}}=\Big \{ \left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) \mid \alpha _1,\alpha _2\in 2{\mathbb {Z}}_8\Big \}\), \({\mathbb {Z}}_8\) has its usual meaning. Define mappings \(\Delta ,\partial ,\nabla ,\partial _1:{\mathcal {A}}\rightarrow {\mathcal {A}}\) by \(\Delta \left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) =\left( \begin{array}{cccccc} 0 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) \), \(\partial \left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) =\left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} 0\\ \end{array} \right) \), \(\nabla \left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) =\left( \begin{array}{cccccc} 0 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) \) and\(\partial _1\left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} \alpha _2\\ \end{array} \right) =\left( \begin{array}{cccccc} \alpha _1 &{} 0\\ 0 &{} 0\\ \end{array} \right) \). It is clear that \(\Delta \) and \(\nabla \) are not a generalized derivation and generalized left derivation respectively but \(\Delta ,\partial ,\nabla ,\partial _1\) satisfy the algebraic conditions in Theorem 2.1 and Theorem 2.9. Particularly, if \(m=n=p=1\), then neither \({\mathcal {A}}\) is semiprime nor \({\mathcal {A}}\) is 2! torsion free, which shows that semiprimeness and torsion restriction on \({\mathcal {A}}\) are essential conditions for these theorems.
3 Application
According to the Singer–Wermer theorem, a classic Banach algebra theorem, on a commutative Banach algebra every continuous derivation maps into its Jacobson radical. Thomas demonstrated that the Singer–Wermer theorem is not invalid despite the fact that the derivation is not continuous. The Singer–Wermer conjecture refers to this generalization. The following systematic observations are motivated by the parallel line of investigation. Since every semisimple Banach algebra is semiprime, then it will be a quit interesting if one can think about Theorem 2.9 in the setting of semisimple Banach algebra. So, let \({\mathfrak {A}}\) be a semisimple Banach algebra and \({\mathfrak {F}}, {\mathfrak {D}}:{\mathfrak {A}}\rightarrow {\mathfrak {A}}\) be two additive mappings fulfilling \({\mathfrak {F}}(A^{m+n+p})=A^{m+n}{\mathfrak {F}}(A^p)+A^{m+p}{\mathfrak {D}}(A^{n})+A^{n+p}{\mathfrak {D}}(A^p)\) for all \(A\in {\mathfrak {A}}\). Then \({\mathfrak {D}}=0\) on \({\mathfrak {A}}\), where \(m, n\ge 1\) and \(p\ge 0\) are fixed integers. To prove Theorem 3.4, we need the following results:
Fact 3.1
([8]). On a semisimple Banach Algebra, every linear derivation is continuous.
Fact 3.2
([10]). On a commutative Banach Algebra, every continuous linear derivation transforms algebra to its radical.
Thomos conclude the following from the previous two facts:
Lemma 3.3
([11]). On commutative semisimple Banach algebras, there does not exist any nonzero linear derivation.
In the perspective of the above lemma, we conclude the following theorem:
Theorem 3.4
Let \({\mathfrak {A}}\) be a semisimple Banach algebra. If \({\mathfrak {F}}\) and \({\mathfrak {D}}\) are two additive mappings from \({\mathfrak {A}}\) to itself satisfying \({\mathfrak {F}}(A^{m+n+p})=A^{m+n}{\mathfrak {F}}(A^p)+A^{m+p}{\mathfrak {D}}(A^{n})+A^{n+p}{\mathfrak {D}}(A^p)\) for all \(A\in {\mathfrak {A}}\), then \({\mathfrak {D}}=0\) on \({\mathfrak {A}}\), where \(m, n\ge 1\) and \(p\ge 0\) are fixed integers.
Proof
All the consideration of Theorem 2.10 (1) are satisfied because every semisimple Banach algebra is semiprime, on semisimple Banach algebra \({\mathfrak {A}}\), we have a linear derivation. As a result, according to Theorem 4 of [12], \({\mathfrak {D}}=0\). \(\square \)
4 Conjecture
From the above observation, one can think about the following two conjectures:
Conjecture 4.1
Suppose that \(m, n\ge 1\) and \(p\ge 0\) are fixed integers and \({\mathcal {A}}\) is any \((n+m+p-1)!\)-torsion-free semiprime ring not necessarily with identity. If \(\Delta \) and \( \partial \) from \({\mathcal {A}}\) to itself are additive mappings which satisfy the following algebraic identity \(\Delta (r^{m+n+p})=\Delta (r^m)r^{n+p}+r^m\partial (r^{n})r^p+r^{m+n}\partial (r^p)\) for every \(r\in {\mathcal {A}}\), then \(\Delta \) will be a generalized derivation associated with a derivation \(\partial \) on \({\mathcal {A}}\).
Conjecture 4.2
Assume \(m, n\ge 1\) and \(p\ge 0\) are fixed integers and \({\mathcal {A}}\) is any \((n+m+p-1)!\)-torsion-free semiprime ring not necessarily with identity. If \(\nabla \) and \(\partial _1\) from \({\mathcal {A}}\) to itself are additive mappings that fulfill the algebraic identity \(\nabla (r^{m+n+p})=r^{m+n}\nabla (r^p)+r^{m+p}\partial _1(r^{n})+r^{n+p}\partial _1(r^p)\) for every r in \({\mathcal {A}}\), then \(\nabla \) will be generalized left derivation associated with a left derivation D.
Data availability
Not applicable.
References
Ali, S.: On generalized left derivations in rings and Banach algebras. Aequat. Math. 81, 209–226 (2011). https://doi.org/10.1007/s00010-011-0070-5
Ashraf, M.; Ali, S.: On generalized Jordan left derivations in rings. Bull. Korean Math. Soc. 45(2), 253–261 (2008). https://doi.org/10.4134/BKMS.2008.45.2.253
Bresar, M.: Jordan mappings of semiprime rings. J. Algebra 17, 218–228 (1989). https://doi.org/10.1016/0021-8693(89)90285-8
Bresar, M.: On the distance of the compositions of two derivations to generalized derivations. Glasgow Math. J. 33, 89–93 (1991). https://doi.org/10.1017/S0017089500008077
Cusack, J.M.: Jordan derivations in rings. Proc. Amer. Math. Soc. 53(2), 321–324 (1975)
Herstein, I.N.: Derivations in prime rings. Proc. Amer. Math. Soc. 8, 1104–1110 (1957)
Jing, W.; Lu, S.: Generalized Jordan derivations on prime rings and standard operator algebras. Taiwan. J. Math. 7(4), 605–613 (2003)
Johnson, B.E.; Sinklair, A.M.: Continuity of derivations and a problem of Kaplansky. Amer. J. Math. 90(1068–1073), 1068–1073 (1968). https://doi.org/10.2307/2373290
Posner, E.C.: Derivations in prime rings. Proc. Amer. Math. Soc. 8, 1093–1100 (1957)
Singer, I.M.; Wermer, J.: Derivations on commutative normed spaces. Math. Ann. 129, 435–460 (1995)
Thomos, M.P.: The image of a derivation is contained in the radical. Ann. Math. 128, 435–460 (1988). https://doi.org/10.2307/1971432
Vukman, J.: On left Jordan derivations on rings and Banach algebras. Aequat. Math. 75, 260–266 (2008). https://doi.org/10.1007/s00010-007-2872-z
Zaidi, S.M.A.; Ashraf, M.; Ali, S.: On Jordan ideals and left (\(\theta ,\theta \))-derivation in prime rings. Int. J. Math. Math. Sci. 37, 1957–1965 (2004). https://doi.org/10.1155/S0161171204309075
Zalar, B.: On centralizers of semiprime rings. Comment. Math. Univ. Carol. 32, 609–614 (1991)
Zhu, J.; Xiong, C.: Generalized derivations on rings and mappings of P-preserving kernel into range on Von Neumann algebras. Acta Math. Sin. 41, 795–800 (1998)
Acknowledgements
The author is grateful for the valuable suggestions provided by the referees to enhance the manuscript’s presentation. Sincere appreciation is extended to the Deanship of Scientific Research at the Islamic University of Madinah.
Funding
Not applicable.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there are no conflicts of interest regarding the publication of this paper.
Informed consent
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ansari, A.Z. Classification of additive mappings on certain rings and algebras. Arab. J. Math. 13, 35–43 (2024). https://doi.org/10.1007/s40065-023-00448-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-023-00448-7