形式上三角矩阵环的导子和自同构.DOC

__________________* 湖南省教育厅资助科研项目(05C694)，怀化学院青年基金项目(HHUQ2009-04) 作者简介：谢乐平（1976—），男，湖南宁乡人，讲师，研究方向：矩阵代数． 形式三角矩阵环的广义导子* 谢乐平 (怀化学院数学系，湖南，怀化418008) 摘要：设是有单位元的环，为非零的-双模，研究形式三角矩阵环Tri的广义导子，利用代数方法得到了形式三角矩阵环Tri的广义导子可以由环的广义导子和-双模的广义拟线性映射表示，同时由此结论推得形式三角矩阵环Tri的导子的结构． 关键词： 形式上三角矩阵环；广义导子；导子 MR(2000)主题分类号：16W20；16W25；15A57　 中图分类号：O151.21 假定是两个有单位元的结合环，一个-双模是指是一个左-模，也是一个右-模，并且，有．一个形式三角矩阵环定义为 Tri=， 其加法和乘法按通常矩阵的运算进行．人们对这类环进行了初步研究．例如[1]对形式三角矩阵环的各种性质做了系统的研究, [2]研究了形式三角矩阵代数的交换映射,即使的线性映射,这里是形式三角矩阵代数的任一个元素．研究一个矩阵环或矩阵代数也是一件有意义的工作. 例如[3]证明了代数上的上三角矩阵环的导子可以表示成一个内导子和一个上导子诱导的导子之和. [4]证明了结合环上严格上三角矩阵代数的自同构可以表示成一个对角自同构，一个中心自同构和一个内自同构的乘积. [5-7]也研究了矩阵环和矩阵代数的导子和自同构. [8]研究了形式三角矩阵环的反自同构.本文的目的是确定形式三角矩阵环Tri的广义导子. 假定是两个有单位元的结合环，为一个-双模。我们用分别表示它们的单位元．形式三角矩阵环Tri的一个广义导子是Tri到自身的一个保持加法的映射,使得Tri,都有，这里=为Tri的单位元。特别地，如果，那么，此时为通常的导子． , 的保持加法的映射如果满足,那么我们称为-双模的一个线性映射；如果的保持加法的映射满足，其中分别为环，中的元素，那么我们称为-双模的一个广义线性映射；再设，分别是环与的广义导子．的保持加法的映射如果满足，那么我们称为-双模的一个-拟线性映射，又的保持加法的映射如果满足，其中为环中的两个元素，那么称为-双模的一个-广义拟线性映射． 以下是本文的主要结论： 定理 设是两个有单位元的结合环，是一个-双模，形式三角矩阵环Tri到自身的一个映射是一个广义导子的充分必要条件是存在环的广义导子，环的广义导子，-双模的一个-广义拟线性映射以及中的一个元素，有 ． 　 　 (1) 证明 设，，用中的作用于，得，利用为环的广义导子，为环的广义导子，为-双模的一个-广义拟线性映射，可验证得，所以映射是形式三角矩阵环Tri的一个广义导子. 反之,设是形式三角矩阵环Tri的任意一个广义导子，记 　　　　　　　　　 (2) 以下通过两个引理来证明Tri的广义导子一定具有(1)式的形式． 引理１ (2)式中分别由单独确定，且有 其中分别为环的广义导子． 证明 用作用于等式两边，有 , 因此，． 用作用于等式两边有 , 因此，. 用作用到两边，得 ， (3) 所以可记，即不依赖.类似地可得，因此将分别记为.得 。 下面证明分别为环的广义导子． 首先，易知都保持加法运算.用作用于等式 两边得 =， (4) 因此, ,于是分别为环的广义导子. 引理2 (2)式中的．其中 ， 为-广义拟线性映射. 证明 首先不难验证 ，其中，,.记，由(3)可得 ,. 同理有. 在(4)中令,,, ,,可得. 因此,.在(4)中令,, ,,不难得到.在(4)中再令,, ,,可得. 因此,,。又显然保持加法运算，所以是-双模的一个-广义拟线性映射. 结合引理1和引理2，可得导子具有形式（1）. 定理证毕． 在定理中，如果令，即，那么。 此时，即为通常的导子，所以有下面的推论： 推论1 设是两个有单位元的结合环，是一个-双模，形式三角矩阵环Tri到自身的一个映射是一个导子的充分必要条件是存在环的导子，环的导子，-双模的一个-拟线性映射，中的一个元素，使得 ． 对形式三角矩阵环Tri中的任意两个矩阵，，我们称为与的交换子．称映射 为由Tri决定的内导子． 推论2 如果，且环的导子都是内导子，是形式三角矩阵Tri的任意一个广义导子，那么，其中 是由某个 Tri决定的内导子， 是-双模的一个广义拟线性映射诱导的广义线性映射. 证明 由定理及本推论的条件有 ． 其中，是由，决定的环的内导子，是的一个-广义拟线性映射．记，那么, ． 记,那么， ． 所以是-双模上的一个广义线性映射,且. 参 考 文 献 [1] A. haghany a