因子von Neumann代数上的非线性保多重新积

设A,B是因子von Neumann代数且pn(A_1,A_2,…,A_n)为多重新积,则非线性双射Φ:A→B满足Φ(p_n(A_1,A_2,…,A_n))=p_n(Φ(A_1),Φ(A_2),…,Φ(A_n))当且仅当Φ是*-环同构.     

关于仿射超代数U_k

H.Garland对仿射李代数g(A)的普遍包络代数U(g(A))构造了一个Z-形式U_z,从而对任何域K,定义了g(A)的仿射超代数U_k([2]).本文对U_k,进一步定义适当的不可约U_k-模L(λ),从而如[6]中那样,证明了L(λ)与支配权λ之间的一一对应.此外,对J.E.Humphreys在U_k中定义的子代数u_n(n∈Z~ )获得了一组基.     

关于仿射超代数U_k

H.Garland对仿射李代数g(A)的普遍包络代数U(g(A))构造了一个Z-形式U_Z,从而对任何域K,定义了g(A)的仿射超代数U_k([2])。本文对U_k,进一步定义适当的不可约U_k—模L(λ),从而如[6]中那样,证明了L(λ)与支配权λ之间的一一对应。此外,对J.E.Humphreys在巩中定义的子代数u_n(n∈Z~+)获得了一组基。     

G2型Chevalley群的第一Cartan不变量

设K是特征数p>0的代数闭域,G是K上G_2型单连通半单代数群,G(n)是p~n个元素的有限域Fp~n上与G同型的Chevalley群.本文主要结果:当p≥13时,p个元素的有限域FP上G_2型Chevalley群的第一Cartan不变量C_(11)=224.     

关于环的Galois扩张

设R为确单位元1的环,G为R的有限自同构群,C为R的中心,K={g∈G|g(c)=c,Vc∈C}.假定R在R~G上是Galois的,Galois群为G,使得R~G是Azumaya C~G一代数.本文证明了:(1)若R~K是C上的Azumaya代数,则R=Ac~(R~K)使得A是C上的Galois扩张,Galois群为K.如果还有K的阶数是R中的单位,则还有R~K在R~G上是Galois的,Galois群为G/K.(2)若R~K=CR~G且K的阶数是R中的单位,则有(1)的结果且R~K满足Kanzaki假设.     

Smash积与Morita Context环

Morita Context理论是研究环与代数的有效工具(参见[1,4,5]等)。本文首先给出Morita Context环属于正规质类的充要条件。作为应用讨论了Hopf模代数A的不动子代数A~H与Smash积的正规质性之间的关系,推广了文[2,3]中相应结果。     

法式tubular代数与仿射Kac-Moody代数

彭联刚-肖杰等利用有限维遗传代数A的根范畴的Ringel-Hall李代数实现所有可对称化Kac-Moody代数,其中Ringel-Hall李代数的李乘不完全由Hall积提供.本文通过新方法实现仿射Kac-Moody代数,李代数L(A)1C/I的李乘完全由Hall积给出.对任意D4(1),E6(1),E7(1)或E8(1)型扩张Dynkin图Δ,在型为Δ的法式tubular代数A的退化合成李代数L(A)1C上构造它关于一个具体李理想I的商代数L(A)1C/I,证明商代数L(A)1C/I同构于对应的Δ型仿射Kac-Moody代数.这将有助于利用法式tubular代数的模范畴研究仿射Kac-Moody代数.     

具有一对零态射的Morita Context环(Ⅲ)

设(A,B,V,W,Ψ,Φ)是一个Morita Context,具有一对零态射()=0,[ ]=0,C=(AW VB)是对应的Morita Context环.本文研究了C与A,B,V,W之间关于环的重复性、Kasch性和极小内射性的关系.     

关于Ext成群的一些条件

对Ext对商及归纳极限成群的条件进行了研究.给出了:当A是—C~*-代数,I是A的闭双侧理想,Ext(A)是群时,Ext(A/I)是群的充要条件;若A=■(A_1,φ_(ij))且Ext(A_i)是群,则Ext(A)也是群.     

模糊软李子代数的概念和性质

借助模糊软集的概念,在李代数上定义了模糊软李子代数和模糊软李子代数之间的模糊软同态,对它们的并、交与和的性质进行了研究,证明了:设L是域F上的李代数,若(f,A)和(g,B)是L上的模糊软李子代数,则(f,A)(g,B)和(f,A)∧(g,B)仍然是L上的模糊软李子代数,但(f,A)∪(g,B)不一定是L上的模糊软李子代数;若(f,A)k是L上的一族预模糊软李理想,则∪k∈K(f,A)k和k∈K(f,A)k仍然是L上的预模糊软李理想.证明了模糊软李子代数的同态逆像定理,给出一个反例以说明模糊软李子代数在同态像下不一定是模糊软李子代数.     

D4^（3）型仿射Chevalley代数的理想

设R是具有恒等元的可换环,J.F.Hurley在1969年与1981年分别对有限维复单李代数及k=1的仿射李代数L研究了相应的Chevalley代数L_R=RL_z的理想结构。本文用D.Mitzman获得的对k=2,3型仿射李代数之Chevalley基,推广Hurley的结果,给出了R上D_4~((3))型仿射Chevalley代数L_R的理想结构。用正合列C→RC_0→L_R→L_R→0,它归结为loop代数L_R=L(g,σ)R的理想结构,我们得到: 设2,3不是R中的零因子,P=R[t~3;t~(-3)]并记L_p=L_R,则对L_p的任一非零理想I,必存在P中理想J,使得6JL_pIJL_p,特别当R是特征零的域时,则I=JL_P(该结果与Kac在1983年得到的结果一致)。     

一类新的近于凸函数的子集

设P[A,B]={P(z):P(0)=1,P(z)在单位开圆盘E内解析且满足P(z)(1+Az)/(1+Bz),-1≤BA≤1},一个函数g(z)∈S*[A,B]当且仅当zg′(z)/g(z)∈P[A,B].函数族C*[A,B,C,D]={f(z):f(0)=f′(0)-1=0,f(z)在E内解析,(zf′(z))′/g′(z)(1+Cz)/(1+Dz),-1≤BA≤1,-1≤DC≤1},这是近于凸函数的一个子集,从而这些函数是单叶的.研究这个函数族与相邻函数族C[A,B,C,D]之间的关系,同时解决了系数估计和半径问题,给出了一个有效的判别方法.     

近群融合代数的不可约表示

设G是一个有限群,K(G,n)为群G的近群融合环,其中n是给定的自然数.本文计算了近群融合环K(G,n)的Casimir数,并明确刻画了复数域C上近群融合代数A=K(G,n)(○)z C上的所有不可约表示.     

F.C群在任意环上的局部群环

给出了F.C群在任意环上的群环成为局部环的充分与必要条件,即证明了若G是F.C群,则群环R[G]是局部环当且仅当R是局部环,G是局部有限P-群且p∈J(R),其中J(R)是环R的Jacobson根.此结果推广了W.K.Nicholson关于Abel群的群环的相应结论.     

关于A×G的结构

设(A,G,α)为C*-动力系统,其中A为连续迹C*代数,G为顺从群,at∈Autcb(a)(A).对任一x∈A,F∈L1(G,A),令f(x)为F在A(x)×G中的标准的像.证明B=(A(x)×G,AG)是A上的C*代数连续场,其中AG是上述f(.)的闭生成.作为应用a(x),证明存在从A × G到A上的连续开映射i使得对任一π×U∈A × G,i(π×U)=π1,其中π1为A中满足kerπ=kerπ1的唯一的元.     

TOR方法解区间线性方程组的收敛性

设A为n阶区间矩阵,且0Aii(i=1,2。…,n),A=D+E+F+E~T+F~T(其中D=diag(A_(11),…,A_(nn)),E+F(E~T+F~T)为A的严格下(上)三角阵),b为n维区间向量、本文给出解区间线性方程组A_x=b的TOR方法:x(m+1)=L_(α,β),Fx(m)+g,其中L_(α,β),F=(2D+αE+βF)~(-1)(2-α-β)D-(α+β)(E~T+F~T)-αF-βE)、g=(2D+αE+βF)~(-1)b:并证明了该方法当A为广义严格对角占优阵时收敛于唯一的区间解。作为本方法的特例、还给出了区间Jacobi法,Gauss—Seidel法,SOR法和AOR法相应的收敛定理。     

关于顺从Banach代数

1.引言 Johnson([3])引入了顺从Banach代数.证明了群代数L′(G)是顺从的当且公当G是顺从的,其中G是一个拓扑群。J.W.Bunce([7]、[8])给出了顺从C(?)—代数的特征描述: 设A是一个具单位元的C(?)代数,则下面三个命题等价: (a)A是顺从的 (b)存在一个线性算子T:(AA)→C={f∈(AA):af=fa,(?) a∈A}使得T在C上的限制是单位映射,且T(aof)=aoT(f),T(foa)=T(f)·a     

二阶全矩阵代数的H_8-模代数结构

设H8是非交换且非余交换的8维半单Hopf代数,C[K4]是Klein四元群的群代数,M2(C)是复数域C上二阶方阵组成的全矩阵代数.利用方阵和方阵对的弱相似理论给出同构意义下M2(C)上全部的C[K4]-模代数结构,并在此基础上结合H8与C[K4]的关系,刻画了同构意义下M2(C)上所有的H8-模代数结构.     

特征13时A_2型Chevalley群的Cartan不变量矩阵

确定出13个元素的有限域F13上A2型Chevalley群G(1)=SL(3,13)的Cartan不变量矩阵C=(c(1)λμ)λ,μ∈X1(T),利用MATLAB软件计算C的行列式的值是1318,符合Brauer的结论.     

广义逆A_(T,S)~((2))存在性的一种新的充要条件及其表示式

给出了A的广义逆A_(T,S)~((2))存在性的一种新的充要条件及其表示式,并由此得到A的加权Moore—Penrose逆A_(M,N)+,Moore—Penrose逆A+,Drazin逆A_d及群逆A_g存在性的一种新的充要条件及相应的表示式.