## Generalized Derivations on Modules $*$$*$2000 Mathematics Subject Classification. Primary 46H25; Secondary 46L57. Keywords and phrases. (generalized) derivation, (generalized) inner derivation, tiangular Banach algebra, Banach module, (generalized) first cohomology group.

### Gh. Abbaspour, M. S. Moslehian and A. Niknam

Abstract
Let $A$  be a Banach algebra and $M$  be a Banach left $A$  -module. A linear map $\delta :M\to M$  is called a generalized derivation if there exists a derivation $d:A\to A$  such that $\delta \left(ax\right)=a\delta \left(x\right)+d\left(a\right)x\left(a\in A,x\in M\right)$  .
In this paper, we associate a triangular Banach algebra $\mathcal{T}$  to Banach $A$  -module $M$  and investigate the relation between generalized derivations on $M$  and derivations on $\mathcal{T}$  . In particular, we prove that the so-called generalized first cohomology group of $M$  is isomorphic to the first cohomology group of $\mathcal{T}$  .

1 Introduction.

Throughout the paper, $A$  denotes a Banach algebra (not necessarily unital) and $M$  is a Banach left $A$  -module.
A linear mapping $d:A\to A$  is called a derivation if $d\left(ab\right)=ad\left(b\right)+d\left(a\right)b\left(a,b\in A\right)$  .
If $a\in A$  and we define ${d}_{a}$  by ${d}_{a}\left(x\right)=ax-xa\left(x\in A\right)$  . Then ${d}_{a}$  is a derivation and such derivation is called inner.
A linear mapping $\delta :M\to M$  is called a generalized derivation if there exists a derivation $d:A\to A$  such that $\delta \left(ax\right)=a\delta \left(x\right)+d\left(a\right)x\left(x\in M,a\in A\right)$  . For the convenience, we may say such $\delta$  is a $d$  -derivation. In general, the derivation $d:A\to A$  is not unique and it may happen that $\delta$  ( $d$  ) is bounded but $d$  ( $\delta$  ) is not bounded as the following example shows:
Example 1.1 Assume that the action of $A$  on $M$  is trivial, i.e $AM=\left\{0\right\}$  . Then every linear mapping $\delta :M\to M$  is indeed a $d$  -derivation for each derivation $d$  on $A$  .
This notion is a generalization of both concepts of generalized derivation (cf. [4   and [9   ) and multiplier (cf. [5   ) on an algebra. For seeing this, regard the algebra as a module over itself. The authors in [1   investigated the generalized derivations on Hilbert ${C}^{*}$  -modules and showed that these maps are appeared as the infinitesimal generators of dynamical systems.
Example 1.2 Let $M$  be Hilbert ${C}^{*}$  -module over a ${C}^{*}$  -algebra $A$  of compact operators acting on a Hilbert space (see [12   for more details on Hilbert ${C}^{*}$  -modules). By Theorem 4 of [2   , $M$  has an orthonormal basis and so that each element $x$  of $M$  can be expressed as $x={\sum }_{\lambda }{v}_{\lambda }$  . If $d$  is a derivation on $A$  , then the mapping $\delta :M\to M$  defined by $\delta \left(x\right)={\sum }_{\lambda }d\left(\right){v}_{\lambda }$  is a $d$  -derivation since
 $\begin{array}{ccc}\delta \left(ax\right)& =& \delta \left({\sum }_{\lambda }{v}_{\lambda }\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{\lambda }d\left(a\right){v}_{\lambda }\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{\lambda }ad\left(\right){v}_{\lambda }+{\sum }_{\lambda }d\left(a\right){v}_{\lambda }\end{array}$
 $\begin{array}{ccc}& =& a\delta \left(x\right)+d\left(a\right)x.\end{array}$
The set $\mathcal{ℬ}\left(M\right)$  of all bounded module maps on $M$  is a Banach algebra and $M$  is a Banach $A-\mathcal{ℬ}\left(M\right)$  -bimodule equipped with $x.T=T\left(x\right)\left(x\in M,T\in \mathcal{ℬ}\left(M\right)\right)$  , since we have $\left(ax\right).T=T\left(ax\right)=aT\left(x\right)=a\left(x.T\right)$  and $\parallel ax.T\parallel \le \parallel a\parallel \parallel x\parallel \parallel T\parallel$  for all $a\in A,x\in M,T\in \mathcal{ℬ}\left(M\right)$  .
We call $\delta :M\to M$  a generalized inner derivation if there exist $a\in A$  and $T\in \mathcal{ℬ}\left(M\right)$  such that $\delta \left(x\right)=ax-x.T=ax-T\left(x\right)$  . Mathieu in [13   called a map $\delta :A\to A$  where $\delta \left(x\right)=ax-xb$  for some $a,b\in A$  a generalized inner derivation. If we consider $A$  as an $A$  -module and take $T\left(x\right)=xb$  , then our definition covers the notion of Mathieu. In this paper we deal with the derivations on the triangular Banach algebras of the form $\mathcal{T}=\left(\begin{array}{cc}A& M\\ 0& \mathcal{ℬ}\left(M\right)\end{array}\right)$  . Such algebras were introduced by Forrest and Marcoux [6   that in turn are motivated by work of Gilfeather and Smith in [8   (these algebras also investigated by Y. Zhang who called them module extension Banach algebras [18   ). Among some facts on generalized derivations, we investigate the relation between generalized derivations on $M$  and derivations on $\mathcal{T}$  . In particular, we show that the generalized first cohomology group of $M$  is isomorphic to the first cohomology group of $\mathcal{T}$  .

2 Main Results.

If we consider $A$  as an $A$  -module then we have the following lemma about generalized derivations on $A$  .
Lemma 2.1 A linear mapping $\delta :A\to A$  is a generalized derivation if and only if there exist a derivation $d:A\to A$  and a module map $\phi :A\to A$  such that $\delta =d+\phi$  .
Proof. Suppose $\delta$  be a generalized derivation on $A$  , then there exists a derivation $d$  on $A$  such that $\delta$  is a $d$  -derivation. Put $\phi =\delta -d$  . Then for each $a,x\in A$  we have $\phi \left(ax\right)=\delta \left(ax\right)-d\left(ax\right)=a\delta \left(x\right)+d\left(a\right)x-\left(ad\left(x\right)+d\left(a\right)x\right)=a\left(\delta \left(x\right)-d\left(x\right)\right)=a\phi \left(x\right)$  Thus $\phi$  is a module map and $\delta =d+\phi$  .
Conversely, let $d$  be a derivation on $A$  , $\phi$  be a module map on $A$  and put $\delta =d+\phi$  .
Then clearly $\delta$  is a linear map and $\delta \left(ax\right)=d\left(ax\right)+\phi \left(ax\right)=ad\left(x\right)+d\left(a\right)x+a\phi \left(x\right)=a\left(d\left(x\right)+\phi \left(x\right)\right)+d\left(a\right)x=a\delta \left(x\right)+d\left(a\right)x$  for all $a,x\in A$  . Therefore $\delta$  is a $d$  -derivation. $\square$  The next two results concern the boundedness of a generalized derivation.
Theorem 2.2 Let $A$  have a bounded right approximate identity $\left\{{e}_{\alpha }{\right\}}_{\alpha \in I}$  and let $\delta$  be a $d$  -derivation on $A$  . Then $\delta$  is bounded if and only if so is $d$  .
Proof. First we show that every module map on $A$  is bounded. suppose that $\phi$  is a module map on $A$  and let $\left\{{a}_{n}\right\}$  is a sequence in $A$  converging to zero. By a consequence of Cohen Factorization Theorem (see Corollary 11.12 of [3   ) there exist a sequence $\left\{{b}_{n}\right\}$  and an element $c$  in $A$  such that ${b}_{n}\to 0$  and ${a}_{n}={b}_{n}c,n\in \mathbf{N}$  . Then $\phi \left({a}_{n}\right)=\phi \left({b}_{n}c\right)={b}_{n}\phi \left(c\right)\to 0$  .
Thus $\phi$  is bounded.
Now let $\delta$  be a $d$  -derivation. By Lemma 2.1, $\delta =d+\phi$  for some module map $\phi$  on $A$  .
Therefore $\delta$  is bounded if and only if $d$  is bounded. $\square$
Corollary 2.3 Every generalized derivation on a ${C}^{*}$  -algebra is bounded.
Proof. Every derivation on a ${C}^{*}$  -algebra is automatically continuous; cf. [10   . $\square$  Let $\phi :A\to A$  be a homomorphism (algebra morphism). A linear mapping $T:M\to M$  is called a $\phi$  -morphism if $T\left(ax\right)=\phi \left(a\right)T\left(x\right)\left(a\in A,x\in M\right)$  . If $\phi$  is a isomorphism and T is a bijective mapping then we say T to be a $\phi$  -isomorphism. An $i{d}_{A}$  -morphism is a module map (module morphism). Here $i{d}_{A}$  denotes the identity operator on $A$  .
Proposition 2.4 Suppose $\delta$  is a bounded $d$  -derivation on $M$  and $d$  is bounded. Then $T=exp\left(\delta \right)$  is a bi-continuous $exp\left(d\right)$  -isomorphism.
Proof. Using induction one can easily show that ${\delta }^{\left(n\right)}\left(ax\right)={\sum }_{r=0}^{n}{\left(}_{r}^{n}\right){d}^{\left(n-r\right)}\left(a\right){\delta }^{\left(r\right)}\left(x\right).$  For each $a\in A,x\in M$  we have
 $\begin{array}{ccc}T\left(ax\right)& =& exp\left(\delta \right)\left(ax\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{n=0}^{\infty }\frac{1}{n!}{\delta }^{\left(n\right)}\left(ax\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{n=0}^{\infty }\frac{1}{n!}{\sum }_{r=0}^{n}{\left(}_{r}^{n}\right){d}^{\left(n-r\right)}\left(a\right){\delta }^{\left(r\right)}\left(x\right)\end{array}$
 $\begin{array}{ccc}& =& {\sum }_{n=0}^{\infty }{\sum }_{r=0}^{n}\left(\frac{1}{\left(n-r\right)!}{d}^{\left(n-r\right)}\left(a\right)\right)\left(\frac{1}{r!}{\delta }^{\left(r\right)}\left(x\right)\right)\end{array}$
 $\begin{array}{ccc}& =& \left({\sum }_{n=0}^{\infty }\frac{1}{n!}{d}^{\left(n\right)}\left(a\right)\right)\left({\sum }_{n=0}^{\infty }\frac{1}{n!}{\delta }^{\left(n\right)}\left(a\right)\right)\end{array}$
 $\begin{array}{ccc}& =& exp\left(d\right)\left(a\right)exp\left(\delta \right)\left(x\right)\end{array}$
The operators $exp\left(\delta \right),exp\left(d\right)$  are invertible in the Banach algebras of bounded operators on $M$  and $A$  , respectively. Hence $T$  is an $exp\left(d\right)$  -isomorphism. $\square$
Proposition 2.5 Let $\delta$  be a bounded generalized derivation on $M$  . Then $\delta$  is a generalized inner derivation if and only if there exists an inner derivation ${d}_{a}$  on $A$  such that $\delta$  is ${d}_{a}$  -derivation.
Proof. Let $\delta$  be a generalized inner derivation. Then there exist $a\in A$  and $T\in \mathcal{ℬ}\left(M\right)$  such that $\delta \left(ax\right)=ax-T\left(x\right)\left(a\in A,x\in M\right)$  . We have $b\delta \left(x\right)+{d}_{a}\left(b\right)x=b\left(ax-T\left(x\right)\right)+abx-bax=abx-bT\left(x\right)=a\left(bx\right)-T\left(bx\right)=\delta \left(bx\right)$  . Hence $\delta$  is a ${d}_{a}$  -derivation.
Conversely, suppose $\delta$  is a ${d}_{a}$  -derivation for some $a\in A$  . Define $T:M\to M$  by $T\left(x\right)=ax-\delta \left(x\right)$  . Then T is linear, bounded and $T\left(bx\right)=abx-\delta \left(bx\right)=abx-\left(b\delta \left(x\right)+{d}_{a}\left(b\right)x\right)=abx-b\delta \left(x\right)-abx+bax=b\left(ax-\delta \left(x\right)\right)=bT\left(x\right)$  . It follows that $T\in \mathcal{ℬ}\left(M\right)$  and $\delta \left(x\right)=ax-\left(ax-\delta \left(x\right)\right)=ax-T\left(x\right)$  . Therefore $\delta$  is a generalized inner derivation. $\square$  The linear spaces of all bounded generalized derivations and generalized inner derivations on $M$  are denoted by $G{Z}^{1}\left(M,M\right)$  and $G{N}^{1}\left(M,M\right)$  , respectively. We call the quotient space $G{H}^{1}\left(M,M\right)=G{Z}^{1}\left(M,M\right)/G{N}^{1}\left(M,M\right)$  as the generalized first cohomology group of $M$  .
Corollary 2.6 $G{H}^{1}\left(M,M\right)=0$  whenever ${H}^{1}\left(A,A\right)=0$
Proof. Let $\delta :M\to M$  be a generalized derivation. Then there exists a derivation $d:A\to A$  such that $\delta$  is a $d$  -derivation. Due to ${H}^{1}\left(A,A\right)=0$  , we deduce that $d$  is inner and, by Proposition 2.5, so is $\delta$  . Hence $G{H}^{1}\left(M,M\right)=0.\square$  Using some ideas of [6   and [14   , we give the following notion:
Definition 2.7 $\mathcal{T}=\left\{\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right);a\in A,x\in M,T\in \mathcal{ℬ}\left(M\right)\right\}$  equipped with the usual $2×2$  matrix addition and formal multiplication and with the norm $\parallel \left(\begin{array}{cc}a& x\\ 0& T\\ \end{array}\right)\parallel =\parallel a\parallel +\parallel x\parallel +\parallel T\parallel$  is a Banach algebra. We call this algebra the triangular Banach algebra associated to M.
The following two theorems give some interesting relations between generalized derivations on $M$  and derivations on $\mathcal{T}$  .
Let $\delta$  be a bounded $d$  -derivation on $M$  . We define ${\Delta }_{\delta }:\mathcal{ℬ}\left(M\right)\to \mathcal{ℬ}\left(M\right)$  by ${\Delta }_{\delta }\left(T\right)=\delta T-T\delta$  . Then ${\Delta }_{\delta }$  is clearly a derivation on $\mathcal{ℬ}\left(M\right)$  .
Theorem 2.8 Let $\delta$  be a bounded $d$  -derivation on $M$  and $d$  be bounded. Then the map ${D}^{\delta }:\mathcal{T}\to \mathcal{T}$  defined by ${D}^{\delta }\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)=\left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)$  is a bounded derivation on $\mathcal{T}$  .
Also $\delta$  is a generalized inner derivation if and only if ${D}^{\delta }$  is an inner derivation.
Proof. It is clear that ${D}^{\delta }$  is linear. For any ${a}_{1},{a}_{2}\in A,{x}_{1},{x}_{2}\in M,{T}_{1},{T}_{2}\in \mathcal{ℬ}\left(M\right)$  we have
 $\begin{array}{ccc}& & {D}^{\delta }\left(\left(\begin{array}{cc}{a}_{1}& {x}_{1}\\ 0& {T}_{1}\end{array}\right)\left(\begin{array}{cc}{a}_{2}& {x}_{2}\\ 0& {T}_{2}\end{array}\right)\right)={D}^{\delta }\left(\begin{array}{cc}{a}_{1}{a}_{2}& {a}_{1}{x}_{2}+{x}_{1}.{T}_{2}\\ 0& {T}_{1}{T}_{2}\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}d\left({a}_{1}{a}_{2}\right)& \delta \left({a}_{1}{x}_{2}+{x}_{1}.{T}_{2}\right)\\ 0& {\Delta }_{\delta }\left({T}_{1}{T}_{2}\right)\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}{a}_{1}d\left({a}_{2}\right)+d\left({a}_{1}\right){a}_{2}& {a}_{1}\delta \left({x}_{2}\right)+d\left({a}_{1}\right){x}_{2}+\delta \left({T}_{2}\left({x}_{1}\right)\right)\\ 0& {\Delta }_{\delta }\left({T}_{1}{T}_{2}\right)\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}{a}_{1}d\left({a}_{2}\right)+d\left({a}_{1}\right){a}_{2}& {a}_{1}\delta \left({x}_{2}\right)+\left(\delta {T}_{2}\right)\left({x}_{1}\right)-{T}_{2}\left(\delta \left({x}_{1}\right)\right)+d\left({a}_{1}\right){x}_{2}+{T}_{2}\left(\delta \left({x}_{1}\right)\right)\\ 0& {\Delta }_{\delta }\left({T}_{1}{T}_{2}\right)\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}{a}_{1}d\left({a}_{2}\right)+d\left({a}_{1}\right){a}_{2}& {a}_{1}\delta \left({x}_{2}\right)+\left(\delta {T}_{2}-{T}_{2}\delta \right)\left({x}_{1}\right)+d\left({a}_{1}\right){x}_{2}+{T}_{2}\left(\delta \left({x}_{1}\right)\right)\\ 0& {\Delta }_{\delta }\left({T}_{1}{T}_{2}\right)\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}{a}_{1}& {x}_{1}\\ 0& {T}_{1}\end{array}\right)\left(\begin{array}{cc}d\left({a}_{2}\right)& \delta \left({x}_{2}\right)\\ 0& {\Delta }_{\delta }\left({T}_{2}\right)\end{array}\right)+\left(\begin{array}{cc}d\left({a}_{1}\right)& \delta \left({x}_{1}\right)\\ 0& {\Delta }_{\delta }\left({T}_{1}\right)\end{array}\right)\left(\begin{array}{cc}{a}_{2}& {x}_{2}\\ 0& {T}_{2}\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}{a}_{1}& {x}_{1}\\ 0& {T}_{1}\end{array}\right){D}^{\delta }\left(\begin{array}{cc}{a}_{2}& {x}_{2}\\ 0& {T}_{2}\end{array}\right)+{D}^{\delta }\left(\left(\begin{array}{cc}{a}_{1}& {x}_{1}\\ 0& {T}_{1}\end{array}\right)\right)\left(\begin{array}{cc}{a}_{2}& {x}_{2}\\ 0& {T}_{2}\end{array}\right)\end{array}$
Thus ${D}^{\delta }$  is a derivation on $\mathcal{T}$  . Due to $\parallel \left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)\parallel =\parallel d\left(a\right)\parallel +\parallel \delta \left(x\right)\parallel +\parallel {\Delta }_{\delta }\left(T\right)\parallel \le max\left\{\parallel d\parallel ,\parallel \delta \parallel ,\parallel {\Delta }_{\delta }\parallel \right\}\parallel \left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)\parallel$  , we infer that ${D}^{\delta }$  is bounded.
Now suppose that $\delta$  is a generalized inner derivation. Then there exist $a\in A$  and $T\in \mathcal{ℬ}\left(M\right)$  such that $\delta \left(x\right)=ax-T\left(x\right)\left(x\in M\right)$  . For all $b\in A$  , $S\in \mathcal{ℬ}\left(M\right)$  and $x\in M$  we have ${D}_{\left(\begin{array}{cc}a& 0\\ 0& T\end{array}\right)}\left(\begin{array}{cc}b& x\\ 0& S\end{array}\right)=\left(\begin{array}{cc}a& 0\\ 0& T\end{array}\right)\left(\begin{array}{cc}b& x\\ 0& S\end{array}\right)-\left(\begin{array}{cc}b& x\\ 0& S\end{array}\right)\left(\begin{array}{cc}a& 0\\ 0& T\end{array}\right)=\left(\begin{array}{cc}ab-ba& ax-x.T\\ 0& TS-ST\end{array}\right)=\left(\begin{array}{cc}{d}_{a}\left(b\right)& \delta \left(x\right)\\ 0& {\Delta }_{\delta }\left(S\right)\end{array}\right)={D}^{\delta }\left(\begin{array}{cc}b& x\\ 0& S\end{array}\right)$  Hence ${D}^{\delta }={D}_{\left(\begin{array}{cc}a& 0\\ 0& T\end{array}\right)}$  and so ${D}^{\delta }$  is inner.
Conversely, let $\delta$  be a bounded $d$  -derivation such that the associated derivation ${D}^{\delta }$  be an inner derivation. It is straightforward to show that $d$  is inner and so, in virtue of Proposition 2.5, $\delta$  is a generalized inner derivation. $\square$  The converse of the above theorem is true in the unital case.
Theorem 2.9 Let $A$  be unital and $\mathcal{T}$  be the triangular Banach algebra associated to a unital Banach left $A$  -module $M$  . Assume that $D:\mathcal{T}\to \mathcal{T}$  be a bounded derivation. Then there exist ${m}_{0}\in M$  , a bounded derivation $d:A\to A$  and a bounded $d$  -derivation $\delta :M\to M$  such that $D\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)=\left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)+a{m}_{0}-{m}_{0}.T\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)$  Moreover, $D$  is inner if and only if $\delta$  is a generalized inner derivation.
Proof. We use some ideas of Proposition 2.1 of [6   (see also [15   ). By simple computation one can verify that (i) $D\left(\begin{array}{cc}{1}_{A}& 0\\ 0& 0\end{array}\right)=\left(\begin{array}{cc}0& {m}_{0}\\ 0& 0\end{array}\right)$  for some ${m}_{0}\in M$  ; (ii) $D\left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)=\left(\begin{array}{cc}d\left(a\right)& a{m}_{0}\\ 0& 0\end{array}\right)$  for some bounded derivation $d$  on $A$  ; (iii) $D\left(\begin{array}{cc}0& x\\ 0& 0\end{array}\right)=\left(\begin{array}{cc}0& \delta \left(x\right)\\ 0& 0\end{array}\right)$  for some bounded $d$  -derivation $\delta$  on $M$  ; (iv) $D\left(\begin{array}{cc}0& 0\\ 0& T\end{array}\right)=\left(\begin{array}{cc}0& -{m}_{0}.T\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)$  ; and finally $D\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)=\left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)+a{m}_{0}-{m}_{0}.T\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)$  .
We have
 $\begin{array}{ccc}\left(\begin{array}{cc}0& \delta \left(ax\right)\\ 0& 0\end{array}\right)& =& D\left(\left(\begin{array}{cc}0& ax\\ 0& 0\end{array}\right)\right)=D\left(\left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)\left(\begin{array}{cc}0& x\\ 0& 0\end{array}\right)\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)D\left(\left(\begin{array}{cc}0& x\\ 0& 0\end{array}\right)\right)+D\left(\left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)\right)\left(\begin{array}{cc}0& x\\ 0& 0\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)\left(\begin{array}{cc}0& \delta \left(x\right)\\ 0& 0\end{array}\right)+\left(\begin{array}{cc}d\left(a\right)& a{m}_{0}\\ 0& 0\end{array}\right)\left(\begin{array}{cc}0& x\\ 0& 0\end{array}\right)\end{array}$
 $\begin{array}{ccc}& =& \left(\begin{array}{cc}0& a\delta \left(x\right)+d\left(a\right)x\\ 0& 0\end{array}\right)\end{array}$
Thus $\delta \left(ax\right)=a\delta \left(x\right)+d\left(a\right)x$  and so $\delta$  is a $d$  -derivation.
It is clear that $D$  is inner if and only if $d$  is inner and, using Proposition 2.5, the later holds if and only if $\delta$  is a generalized inner derivation. $\square$
Theorem 2.10 Let $A$  be a unital Banach algebra, $M$  be a unital Banach left $A$  -module and $\mathcal{T}=\left(\begin{array}{cc}A& M\\ 0& \mathcal{ℬ}\left(M\right)\end{array}\right)$  . Then ${H}^{1}\left(\mathcal{T},\mathcal{T}\right)\sim =G{H}^{1}\left(M,M\right)$
Proof. Let $\Psi :G{Z}^{1}\left(M,M\right)\to {H}^{1}\left(\mathcal{T},\mathcal{T}\right)$  be defined by $\Psi \left(\delta \right)=\left[{D}^{\delta }\right]$  where $\left[{D}^{\delta }\right]$  represents the equivalence class of ${D}^{\delta }$  in ${H}^{1}\left(\mathcal{T},\mathcal{T}\right)$  . Clearly $\Psi$  is linear. We shall show that $\Psi$  is surjective:
Let $D$  be a bounded derivation on $\mathcal{T}$  . Let $\delta$  , $d$  , ${\Delta }_{\delta }$  and ${m}_{0}\in M$  be as in the Theorem 2.9. Then $\left(D-{D}^{\delta }\right)\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)=\left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)+a{m}_{0}-{m}_{0}.T\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)-\left(\begin{array}{cc}d\left(a\right)& \delta \left(x\right)\\ 0& {\Delta }_{\delta }\left(T\right)\end{array}\right)=\left(\begin{array}{cc}0& a{m}_{0}-{m}_{0}.T\\ 0& 0\end{array}\right)={D}_{\left(\begin{array}{cc}0& -{m}_{0}\\ 0& 0\end{array}\right)}\left(\begin{array}{cc}a& x\\ 0& T\end{array}\right)$  So $\left[D\right]=\left[{D}^{\delta }\right]=\Psi \left(\delta \right)$  and thus $\Psi$  is surjective. Therefore ${H}^{1}\left(\mathcal{T},\mathcal{T}\right)\sim =G{Z}^{1}\left(M,M\right)/Ker\left(\Psi \right)$  .
Note that $\delta \in Ker\left(\Psi \right)$  if and only if ${D}^{\delta }$  is inner derivation on $\mathcal{T}$  . Hence $Ker\left(\Psi \right)=G{N}^{1}\left(M,M\right)$  , by Theorem 2.8. Thus ${H}^{1}\left(\mathcal{T},\mathcal{T}\right)\sim =G{H}^{1}\left(M,M\right).\square$
Example 2.11 Suppose that $A$  is unital and $M=A$  . Then $\mathcal{ℬ}\left(A\right)=A$  and so $G{H}^{1}\left(A,A\right)\sim ={H}^{1}\left(\left(\begin{array}{cc}A& A\\ 0& A\end{array}\right),\left(\begin{array}{cc}A& A\\ 0& A\end{array}\right)\right)={H}^{1}\left(A,A\right)$  , by Proposition 4.4 of [7   . In particular, every generalized derivation on a unital commutative semisimple Banach algebra [17   , a unital simple ${C}^{*}$  -algebra [16   , or a von Neumann algebra [11   is generalized inner.
References

1. Gh. Abbaspour, M. S. Moslehian and A. Niknam, Dynamical systems on Hilbert ${C}^{*}$  -modules, arXiv:math.FA/0503615.
2. D. Bakić and B. Guljaš, Hilbert ${C}^{*}$  -modules over ${C}^{*}$  -algebras of compact operators, Acta Sci. Math. (Szeged) 68 (2002), no. 1-2, 249-269.
3. F.F. Bonsall and J. Duncan, Complete Normed Algebras, Springer-Verlag, New York, 1973.
4. M. Brešar, On the distance of the compositions of two derivations to the generalized derivations, Glasgow Math. J. 33 (1991), 89-93.
5. H. G. Dales, Banach algebras and automatic continuity, London Mathematical Society Monographs, New Series, 24. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 2000.
6. B. E. Forrest and L. W. Marcoux, Derivations of triangular Banach algebras, Indiana Univ. Math. J. 45 (1996), 441-462.
7. B. E. Forrest and L. W. Marcoux, Weak amenability of triangular Banach algebras. Trans. Amer. Math. Soc. 354 (2002), no. 4, 1435-1452.
8. F.L. Gilfeather and R.R. Smith, Cohomology for operator algebras:joins, American Journal of Mathematics 116 (1994), 541-561.
9. B. Hvala, Generalized derivation in rings, Comm. Algebra 26(4)(1988)1147-66.
10. B. E. Johnson and A. M. Sinclair, Continuity of derivations and a problem of Kaplansky, Amer. J. Math. 90 (1968), 1067-1073.
11. R. V. Kadison, Derivations of operator algebras, Ann. of Math. (2) 83 (1966), 280-293.
12. E. C. Lance, Hilbert ${C}^{*}$  -modules, LMS Lecture Note Series 210, Cambridge Univ. Press, 1995.
13. M. Mathieu, Elementary operators and applications, Proceeding of the International workshop, World Scientific, Singapore 1992.
14. M. S. Moslehian, On (co)homology of triangular Banach algbras, Topological algebras and its related topics, Banach Center Publ. 67, Polish Acad. Sci., Warsaw, 2005.
15. M. S. Moslehian, Vanishing of cohomology groups of triangular Banach algebras, arXiv:math.FA/0502346.
16. S. Sakai, ${C}^{*}$  -algebras and ${W}^{*}$  -algebras, Classics in Mathematics. Springer-Verlag, Berlin, 1998.
17. I. M. Singer and J. Wermer, Derivations on commutative normed algebras, Math. Ann. 129, (1955), 260-264.
18. Y. Zhang, Weak amenability of module extensions of Banach algebras, Trans. Amer. Math. Soc. 354 (2002), 4131-4151.

Address: Dept. of Math., Ferdowsi Univ., P. O. Box 1159, Mashhad, Iran Gholamreza Abbaspour Tabadkan, tabadkan@math.um.ac.ir Mohammad Sal Moslehian, msalm@math.um.ac.ir Assadollah Niknam, niknam@math.um.ac.ir