谢乐平

(怀化学院数学系,湖南怀化 418008)

假定A,B是两个有单位元的环,一个(A,B)-双模M是指M是一个左A-模,同时也是一个右B-模,并且 ∀a∈A,m∈M,b∈B,有(am)b=a(mb).形式三角代数定义为

假定A,B是两个有单位元的环(不要求是交换环),M为有单位元的(A,B)-双模,1A,1B分别表示A,B的单位元,1为M的单位元.设F=Tri(A,M,B)为形式三角代数.我们称φ为F上的零积导子,是指 ∀x,y∈F,如果xy=0,那么一定有φ(x)y+xφ(y)=0.如果零积导子的运算是Lie运算[x,y]=xy-yx,则对应的零积导子我们称为Lie零积导子.

定理1导子一定是零积导子.

下面是本文的主要定理,给出了形式三角代数的零积导子的结构.

其中可加线性映射φ3满足φ3(1A,0,0)=-φ3(0,0,1B).

将所制备的混凝土试样1～5号养护28 d后进行收缩性检测.基准混凝土试样28 d收缩率为2.65×10-6，以低碳混凝土28 d的收缩率与基准混凝土收缩率的比值为收缩率比，测试结果如图2所示.由图2可知，低碳混凝土试样的收缩率比均小于基准低碳混凝土的收缩率比.当煅烧高岭土替代矿粉质量分数为20%时，试样的收缩率比为95%.继续增大煅烧高岭土的替代率，混凝土的收缩率比变化不明显.煅烧高岭土中含有大量的活化矿粉组分Al2O3 和SiO2，Al2O3和SiO2与Ca(OH)2反应生成硅铝酸盐结构的胶凝材料，进一步填充了混凝土的毛细孔，在一定程度上降低了其表面张力，减小了收缩率比.

证明e,f,g构成形式三角代数的一组基.

由ef=0,φ为零积导子,所以φ(e)f+eφ(f)=0,结合(1)式得

经过计算得

由ge=0,φ为零积导子,所以φ(g)e+gφ(e)=0,结合(1)式类似可得

由fg=0,φ为零积导子,所以φ(f)g+fφ(g)=0,结合(1)式类似可得

φ1(a,m,b)=φ1(a),φ2(a,m,b)=φ2(b).

再由 (2)式第二个等式可得φ3(1A,0,0)=-φ3(0,0,1B).定理2证毕.

其中双模同态σ3满足σ3(1A,0,0)=-σ3(0,0,1B).

因为……