L(V)是无限维中心代数的初等证明

研究域F上无限维线性空间V的任一子空间W的线性变换在V上的扩张,用初等方法可证明V的线性变换代数L(V)是无限维的中心代数.在一定意义上推广了域F上的n级矩阵代数是中心代数这一结果.     

素特征的“李定理”

设L为代数闭域F上有限维李代数,著名的李定理说:若char F=0,则L为可解当且仅当L的任一有限维不可约模为1维的.在这里特征为0及模为有限维两个条件都是本质的.(1)若charF=P>0,则L为交换当且仅当L的任一(有限维)不可约模为1维的;(2)若char F=0,则L为交换当且仅当L的任一(有限维或无限维)不可约模为1维的; (3)若char F=P>7,L为李代数(限制李代数),则L为可解当且仅当L的任一不可约模(限制模)的维数为p的幂.     

素特征的"李定理"

设L为代数闭域F上有限维李代数,著名的李定理说若char F=0,则L为可解当且仅当L的任一有限维不可约模为1维的.在这里特征为0及模为有限维两个条件都是本质的.(1)若charF=p＞o,则L为交换当且仅当L的任一(有限维)不可约模为1维的;(2)若char F=0,则L为交换当且仅当L的任一(有限维或无限维)不可约模为1维的;(3)若charF=p＞7,L为李代数(限制李代数),则L为可解当且仅当L的任一不可约模(限制模)的维数为p的幂.     

关于线性变换的像空间与核空间的直和

讨论数域P上有限维线性空间V上线性变换A的方幂A~k的像空间ImA~k与核空间KerA~k的直和,并将结论推广到无限维线性空间.证明了:V=ImA~k+KerA~k当且仅当ImA~k=ImA~(k+1),以及ImA~k∩KerA~k=0当且仅当KerA~k=KerA~(k+1).     

一个范数构造定理的反例及修正

1 引 言 近年来,范数在矩阵计算[2]、扰动理论[4]等领域中的应用越来越广泛.有关范数不等式的运用在一些证明中也越来越常见. 在文[3]中,Horn和Johnson引用了这样的一个范数定理: 命题 V为域F(C或R)上的向量空间,若‖·‖a1,…,‖·‖am为V上的向量范数,‖·‖β是Rm上的向量范数,则函数f:V|→R     

矩阵多项式空间的进一步研究

设A为数域F上的n级矩阵,记F[A]={f(A)|f(x)∈F[x]},它显然是F~(n×n)的子空间.讨论了F[A]的基和维数,引入了f(A)的坐标和F[A]的因式子空间的概念,给出了用因式子空间表示F[A]的几个定理,刻画了F[A]的结构.     

与线性变换的完全环同构的环理论(Ⅲ)

<正> 本文继上文[1,2]的理论,对线性变换完全环的结构作进一步研究.在§1中我们讨论一般无限矩阵的几何意义.在§2中我们用有限维向量空间的线性变换完全环来构作无限维向量空间的线性变换完全环.我们的思想方法是:设是向量空间,     

Weyl型代数的环论性质

设A是代数闭域k上有单位元1的交换结合代数，D是A的交换κ-导子组成的非零k-向量空间，苏育才与赵开明引进Weyl型代数A[D]并且证明了结合代数A[D]是单代数当且仅当A是D-单的且k1[D]在A上的作用为忠实的,通过证明A[D]与smash product A#U(D)同构，我们给出了这一结果的一个纯环论的证明，同时给出了A[D]的一个Ore扩张实现。     

三角矩阵代数上的保交换可加映射

本文研究了三角矩阵代数上保持交换性的可加映射的结构.利用最近Marcoux与Sourour发表在[Linear Alg.Appl.288(1999),89-104]上的一个结果,我们证明了任意域F上的三角矩阵代数Tn(F)(n＞2)上的可加满射ψ双向保交换当且仅当ψ是Tn(F)上一个可加泛函与Tn(F)上某个环自同构或环反自同构之和.     

关于n-BB-倾斜模的一个注记

设A是一个域k上的基本有限维代数.本文证明了如果AT是一个n-BB-倾斜模,那么TB亦为n-BB-倾斜模,其中B=End(AT).进一步,如果AT是一个n-APR-倾斜模,那么TB亦为n-APR-倾斜模.最后,把本文的结果应用到一个具有n-APR-倾斜模AT的代数A上,得到A是n-表示-有限的(无限的)当且仅当B是n-表示-有限的(无限的).     

～A0型箭图的一个表示的自同态代数的Cartan矩阵

为了探讨代数的Cartan矩阵的某些性质与代数分类的关系,通过研究完全域k上的A0型仿射箭图的一个有限维表示的自同态代数的结构与Jordan标准型的关系,并利用Jorelan标准型的组合信息得到了该自同态代数的Cartan矩阵,验证了Cartan矩阵猜想在此情形下不成立.最后提出了一个有关仿射箭图性质的猜想.     

谈高等代数的解析法与几何法

在同构理论的框架下,线性空间V的任一向量对应于P~n的一个n维向量,V的任一线性变换对应于P~(n×n)的一个n阶矩阵.因此,用矩阵的方法,即解析法,处理线性空间和线性变换的问题,或用几何法处理矩阵问题变成了现实.作为教材内容的补充,本文试图通过若干例子探讨如何综合运用解析法与几何法解决高等代数问题.     

关于域上矩阵广义逆的加法映射

假设F是特征不为2的域,令Mn(F)是F上n×n矩阵的集合.本文证明了f是Mn(F)到自身的矩阵{1}-逆或{1,2}-逆的加法保持算子当且仅当f有:(a)f=0;(b)f(A)=εPAτP-1对任意A∈Mn(F),其中P∈GLn(F),τ-为域F的某个单自同态且x(1)=1,ε=±1;(c)f(A)=εP(Aτ)TP-1对于任意A∈Mn(F),其中τ,ε,P如(b)中一样意义.     

平凡扩张代数的Generic模

设A为代数闭域上的有限维代数.一个无限维不可分解A-模M称为Gen-eric模意指M作为它自同态环上的模是有限长度的.设R=ADA是A的平凡扩张代数.通过ModA与ModR之间的某些函子由Generic A-模构造出了Generic R-模.同时还证明了:当A为Tame遗传代数时,R有且仅有两个Generic模.     

Weyl型单代数

对于任意特征的域F上具有单位元的交换结合代数A和它的交换导子的子空间D的多项式代数F［Ｄ］,在张量空间A［Ｄ］=AÄF［Ｄ］中定义了Weyl型结合代数和Lie代数.证明了A［Ｄ］作为Lie代数(模去中心)或结合代数是单的充要条件是A为D-单的并且A［Ｄ］在A上的作用是忠实的.[KG*2]由此可构造出许多单代数.     

套代数上的一类非线性可交换映射的刻画

设N是维数大于2的复可分Hilbert空间H上的套且τ(N)是相应的套代数.利用Peirce分解的方法证明了:Φ是τ(N)上的一个映射(没有线性的假设),对任意的A,B∈τ(N),如果满足等式[A,Φ(B)]=[Φ(A),B]那么存在映射f:τ(N)→CI及α∈C,有Φ(A)=αA+f(A).     

关于Frobenius代数的Cartan矩阵

设 A 是域 F 上的 frobeuius 代数,(?)A/J(A)~k 或 A/S(A)本文给出了(?)的左 Cartan 矩阵与右 Cartan 矩阵之间的确切关系。当 A 为有限群群代且 F 为分裂域时,作为本文结论的特例就得出 P.Landrock 的最近的一个结果,     

欧氏空间中升序变换半群的格林关系和正则元

设L(Rⁿ)表示n维欧氏空间Rn)表示n维欧氏空间Rⁿ的所有线性变换构成的集合,||α||表示向量α的欧氏长度,由欧氏长度建立起向量间的序关系.令:O+(Rn的所有线性变换构成的集合,||α||表示向量α的欧氏长度,由欧氏长度建立起向量间的序关系.令:O+(Rⁿ)={f∈L(Rn)={f∈L(Rⁿ)|(?)α∈Rn)|(?)α∈Rⁿ,||f(α)||≥||α||},则O+(Rn,||f(α)||≥||α||},则O+(Rⁿ)是欧氏空间Rn)是欧氏空间Rⁿ的所有升序变换构成的集合,其在交换的合成运算下构成一个半群,讨论了O+(Rn的所有升序变换构成的集合,其在交换的合成运算下构成一个半群,讨论了O+(Rⁿ)的格林关系和正则元.     

矩阵代数上的几种线性变换及其相互关系

本文给出了数域F上n阶矩阵空间上的几种特殊线性变换的定义,研究了这几种线性变换的关系,从而使得文献[2],[3]的结果成为本文的推论,进一步得到这些线性变换的不动点子空间基与维数.     

关于广义四元数代数上矩阵的迹的一个等式

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B,给出如果A和B相似并且它们的主对角线上的元素在F中,那么它们的迹相等。