Jordan derivations on trivial extensions (Q459247)

Let \(\mathcal{R}\) be a commutative ring with unity and let \(\mathcal{A}\) be a unital \(\mathcal{R}\)-algebra and \(\mathcal{M}\) be a unital \(\mathcal{A}\)- bimodule. An \(\mathcal{R}\)-linear map \(\Delta\) from \(\mathcal{A}\) into an \(\mathcal{A}\)-bimodule \(\mathcal{M}\) is said to be Jordan derivation if \(\Delta(ab+ba)=\Delta(a)b+a\Delta(b)+\Delta(b)a+b\Delta(a)\), for all \(a,b\in\mathcal{A}\). It is called a derivation if \(\Delta(ab)=\Delta(a)b+a\Delta(b)\), for all \(a,b\in\mathcal{A}\). Moreover, \(\Delta\) is called antiderivation if \(\Delta(ab)=\Delta(b)a+b\Delta(a)\) for all \(a,b\in\mathcal{A}\). The author shows that every Jordan derivation of the trivial extension of \(\mathcal{A}\) by \(\mathcal{M}\), under some conditions, is the sum of a derivation and an antiderivation. The result obtained generalizes the one given by \textit{J.-H. Zhang} and \textit{W.-Y. Yu} [Linear Algebra Appl. 419, No. 1, 251--255 (2006; Zbl 1103.47026)].