全矩阵环的一类基推荐.docVIP

全矩阵环的一类基 摘要：1994年，Hochwald对矩阵代数上的可乘映射问题进行了探讨，证明了： 定理A（Hochwald是一个保谱的可乘映射，则存在一个可逆矩阵，使得 ，． 2004年，程美玉等将Hochwald定理中的“保谱”条件弱化为“保迹”，得到了同样的结果. 本文利用他们的结果证明了： 定理１　设是一个域，（）是全矩阵环中个矩阵，且满足，（）， 其中为Kronecker符号．则或者所有（）全为零，或者存在可逆矩阵，使得，，其中表示位置是1，其余位置是0的矩阵． 关键词：全矩阵环；基；可乘映射；保迹；保谱 A kind of basis of entire matrix rings CHENG Zhi-sheng (Department of mathematics,Xiaogan Universty, Xiaogan,Hubei ,China) Abstract： In 1994 Hochwald discuss the question of multiplicative maps on matrix algebra and had proved theorem A: If ： is a multiplicative map which preserve spectral,then there exists a invertible matrix make =，. In 2004 Cheng meiyu weaken the condition of preserve spectral and get the same conclusion. we use their conclusions to prove theorem 1 . Let is a field and there are matrixs satisfy ，the Kronecker sign ． either all are zero matrixs or there exists a invertible matrix T make ,,among which sign represents a matrix which element lie in is one and others are zero. Key words：entire matrix rings;; basis; multiplicative maps ; preserve spectral; preserve track. 0 引言与主要结果 1994年，Hochwald在文献[1]中对矩阵代数上的可乘映射问题进行了探讨，证明了： 定理A [1] 　若是一个保谱的可乘映射，则存在一个可逆矩阵 ，使得 ，． 2004年程美玉、李兴华将Hochwald定理中“保谱”条件弱化为“保迹”，证明了 定理Ｂ[２]　设是一个域，是一个乘法半群且满足 ，，其中是定义在上的所有矩阵组成的乘法半群．若 是一个保迹可乘映射，则存在一个可逆矩阵，使得 ， ． 本文利用文献、的结论，得到了全矩阵环的一类基及其关系，我们的主要结果是： 定理1　设是一个域，（）是全矩阵环中个矩阵，且满足 ，这里是Kronecker符号. 则或者全为零，或者存在可逆矩阵，使得，， 其中表示位置是1，其余位置是0的矩阵． 1 预备知识 本文用表示域上的全矩阵环，用是的迹．用表示标准单位列向量，其中,，用表示Kronecker符号，它定义为． 定义1[1,2] 一个映射称为一个乘法映射（或称保持乘法）．如果，． 定义2[1,2]　一个乘法映射被称为是保谱的，若 . 其中是的所有的特征值的集合． 定义3[2] 一个乘法映射是一个保迹的乘法映射，若 ． 定义4　称为幂零矩阵，如果，，． 引理1 全矩阵环的一组基满足，这里表示Kronecker符号． 证明 当时, 当时, 下面给出引理1的逆命题： 引理2 　设有个矩阵，满足 　　　　　　　　　　　　　　 　　　　　　　　　 则所有 或者全为零，或者全不为零． 证明 若存在某 ()，则对，有 证毕． 引理3 　满足的非零矩阵是的一组基． 证明　若 　　　　　　　　　 式两边同时左乘右乘得 　　　　　　　　 当时，有 因此式等价于即 证毕． 引理4　满足（1）的是中个彼此正交的非零幂等矩阵． 证明 由（1）得，即；当时，，即得 是中个彼此正交的非零幂等矩阵． 引理5 　幂零矩阵的特征值全为零 证明 设为的任意特征值,为的属于的特征向量，即，则 （），即得 证毕 引理6 证明 当时由于是中个彼此正交的非零幂等矩阵根据文献[2]中的引理可逆矩阵使得 从而 当时由于,因此