关于单模的同调维数

徐金中及郭善良分别证明了交换环上任一单模是内射的当且仅当它为平坦的。郭善良还将此结论推广到Duo环上。事实上这些结果可在文献[2]中找到。本文将证明一个一般的结论:交换环上任一单模的平坦维数等于它的内射维数。我们还将给出带有内射单模的交换环的特征。本文所涉及的环均有恒等元,模皆为单式模。有关同调代数的记号参看文献[3]。定理1 设R是一个交换环,则任一单 R-模的平坦维数等于它的内射维数。特别若R又是Noether环,则任一单 R-模的投射维数等于其内射维数。     

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

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

具有一个同调性质的交换诺特环

对交换诺特局部环A,我们考虑下面性质:对任何有限生成A-模M,其内射维数idM有限当且仅当其投射维数pdM有限.我们知道,局部Gorenstein环具有这个性质并且显然具有这个性质的环是Gorenstein局部环.现在如果考虑前面这个性质的一半,即:对交换诺特局部环A,给定任意有限生成A-模M,idM有限蕴含pdM有限,那末后面这个性质刻划了什么样的环呢?在本文中,我们就考虑这个问题,首先考虑A是局部环情形,然后考虑对任意交     

mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

Morita系统环的IBN性

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

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

Sine-Gordon方程的渐近惯性流形

Sine-Gordon方程的数值结果表明该方程的动力学行为在一般情况下由低维决定,利用这种性质已做了一些理论分析工作(见文献[1]),但低维决定这一关键问题并没有合理的数学根据。文献[2]证明了Sine-Gordon方程存在有限维Hausdorff维数和fractal维数的紧吸引子,但一般情况下惯性流形存在性至今没有回答,文献[3]证明了弱阻尼Sine-Gordon方程不存在惯性流形。本文证明了Sine-Gordon方程     

一类具有PF结构的环

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

Hopf余模余代数的对偶定理

Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).     

关于Mukhin的一个问题

在文献[1]中Mukhin提出了如下公开问题:是否存在有限非交换单群,使得它的全部sylow子群的正规化子均有奇指数?在本文里,我们利用有限单群分类定理证明了如下定理。定理如果有限群G的全部sylow子群的正规化子均有奇指数,那么G为2-幂零群。这样,我们完全解决了Mukhin问题。以下假定所讨论的群均为有限群,所用术语和符号同文献[2]。证设群G为极小阶反例。我们首先证明G为非交换单群。实际上,容易证明定理的     

量子交换代数的张量积

域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代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。     

超幂零根环类的模刻划

Szász在文献[1]中介绍了Andrunakievich和Ryabukhin的工作:一般根环类的模刻划与特别根环类的模刻划。并提出了“超幂零根环类是否也能用模的理论来刻划”这个问题。 本文两位作者同时独立地解决了上面的问题。 周毅强定义了一个弱特别模类,用它刻划了超幂零根环类;并提出了第一模类的概念,它把弱特别模类与熟知的特别模类统一起来了。     

幂零根基为Heisenberg代数的完备Lie代数的结构和实现

一个Lie代数称为完备Lie代数如果它的中心为零且所有的导子都是内导子。完备Lie代数的定义是Jacobson在 1962年给出的,近些年完备 Lie代数理论有了较大发展(部分研究可参见文献[2～5]),Jiang和Meng文给出了复数域C上所有幂零根基可换的完备Lie代数的结构和具体实现,文献[5]给出了复数域C上有限维Heisenberg代数的导子代数和全形,证明了此导子代数和全形的导子代数均为单完备Lie代数.本文讨论了复数域C上幂零根基为Heisenberg代数的有限维完备Lie代数的性质,给出了这一类完备Lie代数的同构定理,证明了一个以 Heisenberg代数为幂零根基的完备Lie代数可以分解为一个以 Heisenberg代数或一维可换Lie代数为幂零根基的可解完备Lie代数和另一个以Heisenberg代数或一维可换Lie代数为幂零根基的完备Lie代数的和,给出了所有这两类完备Lie代数的结构和具体实现.因而C上所有以Heisenberg代数为幂零根基的有限维完备Lie代数的结构和具体构造全部被研究清楚. 本文中所讨论的Lie代数均为复数城C上的有限维Lie代数.     

关于有限单群的阶

研究有限单群的阶历史上有著名的Brauer纲领。文献[1]的作者证明了:若G是有限偶阶群,|G|>2,则G中含真子群H,满足|G|≦|H|~3。由于奇阶群可解,上述定理中偶阶的条件显然可去掉。在研究有限单群的过程中,用群阶与单性为条件来刻划单群有不少零星的结果,如见文献[2]。本文受上述工作的启发,用单群分类定理从两个方面来研究有限单群的阶,从而推广了上述结论。我们的研究表明,除少数例外情形外,几乎所有的有限单群均可用群阶与单性加以刻划。本文所讨论的群恒为有限,所用的符号都是标准的。     

一类含单侧零因子的有限环

1967年Koh证明了:(一)环R只含n(n>1)个左(右)零因子则|R|≤n~2。(二)环R有单位元且含,n(n>1)个左(右)零因子,|R|=n~2,则n是素数p的幂且R的每一个极小右理想I必有I~2=0。事实上,含单侧零因子的环中必含双侧零因子,而一个含单位元的有限环中的零因子必是双侧零因子。所以(一)与(二)实际上并未对含单侧零因子的有限环作出刻划。本文目的是讨论几个含单侧零因子的有限环,从而推广了文献[2]中相应的结果,并减弱了文献[1]中(二)的条件。     

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

AR箭图—类连通分支中的几乎分裂序列

设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石. 令0→X→(?)_i~r=_1Y_i→Z→0是modA中的几乎分裂序列,其中Y_i是不可分解的,则数γ刻画了modA中始于X且止于Z的映射的复杂程度.因此,研究几乎分裂序列中间项的不可分解直和项的个数是很有意义的.Bautista和Brenner证明了如果A是有限表示型的,则modA中几乎分裂序列中间项至多有4个不可分解模,当中间项有4个不可分解模时,必有一个是投射-内射模.Liu将此定理推广到非正则模的几乎分裂序列上.本文研究的modA中几乎分裂序列出现在AR箭图中     

相似等参单元

在二维的有限单元法里,为了解决内角大于π的边界角点上解的奇性问题,发展了无限相似单元法.文献[1,2]用于解决LaPlace方程的边值问题,文献[3]用于解决二维线性弹性断裂力学问题(这时裂纹尖端的内角等于2π)。这些工作的要点在于利用相似三角形单元有相     

关于多项式环上的投射模

1955年Serre提出了问题:仿射空间上的每个向量丛是否一定是平凡的?它的一个较弱形式是域R上多项式环的K_0是不是Z?Serre本人证明了当R为域时,K_0R[x_1,…,x_n](?)Z.1976年,Quillen和Suslin进一步证明了:R为主理想整环时,所有有限生成的投射R[x_1,…,X_n]-模是自由的.1986年,为了更一般地研究此类环,佟文廷引进了PF环.本文将把上述结果推广到正则环上的群环上去.引理1 设R为交换正则环且K_0R(?)Z则R为整环.     

关于正则轨道的存在性

设G是一个有限群,V是一个有限维FG-模。什么条件下G在V上有正则轨道存在是有限群论中十分重要的问题,可参见文献[1]和[2]等。本文首先证明若G在V上没有正则轨道,则G的结构受域F的影响是很大的。其次我们研究不含截断D_8的有限2-群的正则轨道的个