三角代数上的导子

设R是有单位元的交换环,A,B是R上的单式代数,M是非零(A,B)-单式双模,且作为A,B-模都是忠实的.记T=(A M0B)={(a m0b)a∈A,b∈B,m∈}M为A,B,M构成的三角代数.利用三角代数T上导子的性质,给出T上分别满足广义恒等式D([X,Y])=k[X,Y]和D([X,Y])=k[D(X),Y]的导子结构,以及满足广义恒等式D(X。Y)=kX。Y和D(X。Y)=kD(X)。Y的导子结构,其中k为R中单位.