体上矩阵空间的保幂等算子

刻划保幂等线性算子的形式是研究保不变量问题的一个重要内容。本文在没有特征不为2的假定下,给出了体上矩阵空间的保幂等算子的形式。设R和R_1为体,其中心F和F_1满足表示R中形如ab—ba的元素之有限和生成的F-子空间,R=R/[R,R]为商空间。设M_n(R)表示R上n阶全矩阵F-空间,I_n(R)为M_n(R)中幂等阵的全体。若M_n(R)到M_m(R_1)的F-线性算子L满足:称L为保幂等的,其全体记为。置     

环上矩阵保群逆的线性算子

设R为有1的环,F为其中心,用M_n(R)记R上n×n全矩阵F-代数。近年来刻划M_n(R)的保某种特性的线性算子的工作颇多,但R为较为一般的环时结果尚少。本文研究群逆的线性保持算子,它也可以看作更广泛一类广义逆共变问题的研究。A∈M_n(R),若矩阵方程AX=XA,A~2X=A,X~2A=x有解则称其解X为A的群逆,记为A~#.设f为     

Douglis代数意义下超复函数空间上∏算子及其性质

对于一阶椭圓型方程组在引进两个元素i,e——服从乘法规则i~2=1,ic=ei,e~(r 1)=0,e~0=1的可交换的A.Douglis代数后,可以写成简单形式Dw Aw B(?)=C。这里D是微分算子,D=(?) q(z)(?)z,q(z)是幂零函数。Dw=0的解称为超解析函数。算子D的生成解t(z)满足方程Dw=0,且可表示成形式t(z)=z T(z),T(z)∈B~1(C)的幂零函数。本文讨论Douglis代数意义下的超复函数空间上的∏算子及其性质。首先引进微分算子:其中     

φ满射环上辛群的同构

本文主要讨论φ满射环上两个辛群的同构。定理 设S_p_n(R)及S_p_n_1(R_1)为φ满射环上的辛群,其中2为R中单位,n≥4,n_1≥4。如n或n_1等于4,更进一步假设它的所有剩余域均非F_2。这时∧:S_p_n(R)→S_p_n_1(R_1)为同构必要而且只要n=n_1,     

连通环上Borel子群的自同构

设G是由有限维复单李代数L与其伴随表示确定的伴随型Chevalley-Demazure群概形,R是一个含单位元的交换环,R~*是R中所有单位构成的乘群,G(R)是环只上的ChevaUey群。设Δ是L的根系,Δ~+是由某一组素根系确定的正根系。设E(R)是G(R)的初等子群,U(R)是E(R)中由所有x_α(t),t∈R,α∈Δ~+,生成的上三角幺幂子群。设T(R)是G(R)的标准极大环面,T(R)同构于Hom(P,R~*),其中P是由Δ在整数环Z上张成的格。设B(R)是G(R)的由子群U(R)与T(R)生成的标准Borel子群。本文的主要结果是:     

具有可单位分解性质的强谱容量

我们先讨论可单位分解算子与Apostol引入的可分解乘法算子的关系。设为Banach空间。定理1 T为上可单位分解算子T是某一致闭代数A上的可分解乘法算子。推论 自反Banach空间上任意两个可交换     

关于S.Singh和R.Kumar的一个问题

交换环R称为(受限制的)(p)-环,如果R的每个(非零)主理想都是某个紊理想之幂。Singh和Kumar在文献[1]中以及Mott在MR47~#1790中都指出,用熟知的环把没有单位元的受限制的(p)-环但不是(p)-环进行分类是一个未解决的问题。本文作者在同Singh     

Morita系统环的IBN性

在环论研究中,IBN(不变基数)性质(参见文献[1])是一个非常重要的性质,只有在IBN环上的自由模才可定义其维数和秩,IBN环在代数K-理论和拓扑学中也有应用.另一方面,Morita系统环(ring of Morita context)是一个包含众多环类的非交换环,如矩阵环、自同态环和环的Morita等价等,它的IBN性引起人们的兴趣.本文证明了若M为有限生成右S-模,N为有限生成左S-模,则T为IBN环当且仅当R或S为IBN环.这一结果使许多重要的已知结论成为特例.     

周期半群环的单位元的存在性

Ponizovski(?)在文献[1]中提出下面的问题:问题 什么样的半群环是有单位元的环?李方在文献[2]中研究了纯正半群环的情形,本文考虑周期半群环的情形,将周期半群环的单位元存在性问题归结到幂等元生成的子半群环的单位元存在性问题,符号同文献[2].本文的主要结果如下:定理 设S是周期半群.则RS含单位元当且仅当R含单位元,且存在E(S)的一个有限子集U,使得S=SU=US,在此条件下,有I_(RS)=I_R.此定理的证明难点在于下面的引理的证明.引理 设S是周期半群.若RS含单位元,则R含单位元.引理的证明大意:假设集合A={T:T是周期半群,RT含单位元,但R〈E(T)〉不     

sl_n(A,X)的2-上循环

设A为C上任意具有单位元的结合代数,Xz为A到任意交换结合代数的一个同态,gl_n(A)为A上的n×n矩阵代数,sl_n(A,X)={A∈gl_n(A)|x(trA)=0}为gl_n(A)的李子代数,令历=Kerx。 李代数(或结合代数)L的2-上循环为L的反对称双线性函数,满足     

量子交换代数的张量积

域K上两个代数的张量积还是一个代数。类似地,拟三角Hopf代数(H,R)上的代数(H-模代数)的辫化张量积仍是H-模代数。但一般来说,H-模代数A,B是H-交换不能保证A(?)B仍是H-交换的,文献[1]中证明了当(H,R)为三角Hopf代数时,A,B为H-交换可推出A(?)B也为H-交换。本文在更一般的背景下(对任一Hopf代数H,考虑其Yetter-Drinfel’d范畴_H~HYO中的代数)来研究量子交换代数的辫化张量积成为量子交换代数的充要条件,作为推论得知文献[1]中上述结论反过来亦成立,从而得到三角(余三角)Hopf代数的一种新的刻画。由于将拟三角Hopf代数的作用和余拟三角Hopf代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。     

一类具有PF结构的环

设R为带单位元1的交换环,文献[1]中定义了PF环,即所有有限生成的投射模都是自由的环.例如,实二次域的类数是否为1等价于其代数整数环是否为PF环;因而,研究PF环的结构具有重要的意义.然而,虽然Grothendieck群K_0(R)很好地刻划了环R的性质,但一般却难于计算,我们构造了一个新的Abel群X(?)(R),它能反映和K_0(R)几乎一样多的性质.本文中,我们研究X(?)(R)作为一个环的结构.所有记号均同于文献[1,2].     

Abel群环的约化群

在代数K-理论中,环的Grothendieck群对于研究环的结构起着相当重要的作用;而当R为交换环时,K_0(R)(?)K_0(R),这里K_0(R)为环R的约化群,因此约化群完全决定了K_0(R)的结构.文献[1]已经证明了对于交换环R,K_0(R)为挠群当且仅当对任何有限生成的投射模P,挠群当且仅当对任何有限生成的投射模P,都存在s>0使得P~s是自由的.     

Banach空间上有限秩算子的谱刻划

设X是复Banach空间,B(X)表示X上有界线性算子全体所成的集合.在文献[1]中,Jafarian给出了B(X)中秩1算子的谱刻划:定理J设A∈B(X),A≠0,则下列条件等价:(i)A是秩1算子;(ii)对任意T∈B(x)和C≠1有σ(T A)∩σ(T cA)(?)σ(T).定理J在保谱线性映射的研究中有重要作用.最近,韩德广对于某些特殊的秩1算子得到一些新结果.本文推广了Jafarian定理,给出了B(X)中有限秩算子的谱刻划.主要结果为:定理1设A≠0是B(X)中任一算子.(i)如果A是秩n算子,则对任意了T∈B(X)和任意一组互不相同的非零数 c_i(i=0,1,     

任意交换环上辛群的结构

域上辛群的结构已完全确定。一些作者讨论了交换环上的辛群,但他们对基础环加了较强的限制。本文从初等辛矩阵出发,利用局部化和环扩张的技巧,完全确定了任意交换环上辛群Sp_(2n)(R)(n≥3)的结构。这包含了所有原先的有关结果。 在本文中,R表示任意含单位元的交换     

交换环上一类特殊模的同调维数

文献[1]中证明:在一个交换环上单模平坦,当且仅当它内射,这个结果在文献[2]中有所推广,本文使用不同的技巧推广文献[2]中的主要定理.本文假定所有的环都是具有单位元的交换元,并且采用文献[3]中的符号.本文的主要结果如下:定理 设R是一个交换环,A是一个交换诺特环,(?):R→A是一个环同态.N是     

一类可解群的自同构

令R为有1的交换环,T(R)为由下定义的非Abelian群。生成元:x_(ij)(a),i相似文献   

关于线性半群的稳定性和镇定问题

设A是Hibert空间中具有纯点谱和紧豫解式的谱算子,T是有界线性算子(若T无界,一般都加一定条件使之变为有界)。镇定问题在于设计一个控制迴路,使得闭路系统的算子A+T具有如下性质:(1)Reλ<0,(?)λ∈σ_p(A+T);(2)半群e~(t(A+T))渐近稳定。性质(2)     

线性中立型Volterra积分微分方程的全局稳定周期解

本文通过预解方程■将系统的全局稳定周期解的存在性与方程■的有界解的存在性联系起来,得到关于系统(2)存在周期解的若干代数判别准则及周期解的表达式。其中A为n×n阶常数矩阵,I为n×n阶单位矩阵,Z(t),C(t)及G(t)为定义于t≥0上的n×n阶方阵,f(t)与g(t)为定义于R上的R~n值T周期函数,     

整环上矩阵列的可实现性

1.近十年来交换环上线性系统理论的研究不断发展(详见文献[1])。其中一个重要理论问题是可实现性问题。设R是交换环,{A_i}是R上的p×m维矩阵列。{A_i}称为R可实现,如果存在R上的矩阵组Σ=(F,G,H),其中F:n×n,G:n×m,H:p×n,使得A_i=HF~(i-1)G,i=1,2,….此时Σ=(F,G,H)即称为{A_i}的R实现。所谓{A_i}的可实现问题即是寻求判别{A_i}R可实现的条件。