交换环上全矩阵代数的迹恒等式

本文研究了交换环上全矩阵代数的迹恒等式，特别研究了积的迹为零的多项式．     

关于四元数矩阵之迹的几个定理

R.Rellman对两个正定实矩阵建立了与Cauchy—Schwarz不等式相类似的结果,引起人们的关注,对Rellman不等式进行深入的研究.但对四元数矩阵之迹的研究至今未见.如所熟知,四元数体的非交换性,已经给四元数代数理论的研究带来了巨大的困难,它也必然影响到四元数矩阵迹的性质.事实上,关于实(或复)矩阵的几个简单性质:     

交换拟环上的Hamilton-Cayler定理

在本文中我们把交换环上的著名的Hamilton-Cayler定理推广到交换拟环上,得到如下:定理 设N是交换拟环,a∈M_n(N),如果λp(λ)是a的特征多项式,则 αap(a)=0,此处0≠α是N中任意元。     

矩阵迹的几个不等式

给出了实对称矩阵的Ｈｏｌｄｅｒ不等式，Ｍｉｎｋｏｗｓｋｉ不等式和算术几何平均值不等式．     

关于四元数矩阵迹的几个定理的注记

本文得到一个四元数矩阵的控制不等式，进而改进了［１］中的几个主要结果．     

关于矩阵迹的几个等式的注记

本文指出[1]中关于矩阵迹的H■lder和算术-几何平均不等式可从已知结论得到，而[1]中的Minkowski不等式是错误的．     

关于四元数自共轭矩阵乘积迹和特征值的几个定理

给出四元数自共轭矩阵乘积迹的几个定理及特征值之界的几个新估计，在四元数体上改进和推广了文［１－１２］的相应结果     

交换环上上三角矩阵代数在全矩阵代数中的扩代数及其若当导子

设R是任意含么交换环,2是R的可逆元.M(n,R)表示R上所有n×n级矩阵形成的代数,T(n,R)表示R上所有n×n级上三角矩阵形成的代数.决定了T(n,R)在M(n,R)中的扩代数,并具体刻画了这些扩代数的若当导子.     

环的交换性定理

设条件(A)为:若对任意的a,b,c∈R,存在依赖于a,b,c的整系数多项式f(x,y),f(x,y)形如∑ki=0αiyixyK-i+f1(x,y),f1(x,y)为一整系数多项式,其每一项关于x的次数2,关于y的次数K(此处K=K(a,b)为依赖于a,b的正整数),∑i=0αi=1,使[f(a,b),c]=0.结论为:满足条件(A)的K the半单纯环是交换的.这是一些结论的统一推广.     

交换环上辛代数的导子代数(英文)

对含幺交换环上辛代数的导子代数做了详细的描述.     

交换环上辛代数的导子代数

对含幺交换环上辛代数的导子代数做了详细的描述.     

欧拉图与矩阵环的多项式恒等式

本文运用Swan证明Amitsur-levitzki定理所用有向路图论方法，获得了交换环上矩阵环所满足的一类新型多项式恒等式，标准多项式恒等式和Chang-Giambruno-Sehgal多项式恒等式是我们所得恒等式的特例。     

On Polynomial Functions over Finite Commutative Rings

Let R be an arbitrary finite commutative local ring. In this paper, we obtain a necessary and sufficient condition for a function over R to be a polynomial function. Before this paper, necessary and sufficient conditions for a function to be a polynomial function over some special finite commutative local rings were obtained.     

可换环上一些线性李代数的扩代数

设R是任意含单位元的可换环,gl(n,R)是R上n级一般线性李代数.t表示gl(n,R)中所有上三角矩阵组成的子代数,d表示gl(n,R)中所有对角矩阵组成的子代数.本文将分别确定t在gl(n,R)中的扩代数和d在t中的扩代数.     

交换半环上三角矩阵代数的自同构

证明了如果尺是含有恒等元的交换半环，那么R上的n阶上三角矩阵代数的自同构都是内自同构．     

Integer-Valued Polynomials over Matrix Rings

When D is a commutative integral domain with field of fractions K, the ring Int(D) = {f ∈ K[x] | f(D) ? D} of integer-valued polynomials over D is well-understood. This article considers the construction of integer-valued polynomials over matrix rings with entries in an integral domain. Given an integral domain D with field of fractions K, we define Int(M _n (D)): = {f ∈ M _n (K)[x] | f(M _n (D)) ? M _n (D)}. We prove that Int(M _n (D)) is a ring and investigate its structure and ideals. We also derive a generating set for Int(M _n (?)) and prove that Int(M _n (?)) is non-Noetherian.