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

本文中的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)]为由所有形如     

关于单模的同调维数

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

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

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)〉不     

含非零基座本原环的拟临界环

Jacobson在文献[1]中证明了含非零基座本原环的结构定理:环R是含非零基座S的本原环当且仅当存在除环△上一对对偶空间(M,M′)使得,其中,Ω是M的全线性变换环},(?)(M,M′)是(?)(M,M′)中的所有关于M的秩是有限的线性变换的集合。此后人们又用不同方法证明了这个定理,如文献[2,3]。本文目的是在除环上的向量空间的全线性变换环中引进关于它的子环的拟元的概念,从而得到了含非零基座本原环的拟临界环,并改进了文献[1]中关于含非零基座本原环的结构定理。     

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

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]中(二)的条件。     

一类具有PF结构的环

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

完全环上的线性紧模

一个双侧完全环上的线性紧模是有有限长度的模(参见文献[1])。Sandomierski在文献[2]中问:若R是一个左完全环,右R模M_R是线性紧的,是否M_R必有有限长度?这个问题等价于问,左完全环上的右Artin模M_R是否必是Noether模(见文献[2])。本文举例说明左完全环R上的右Artin模不必是右Noether模,因而不必有有限长度。从而否定地回答了Sandomierski的问题。     

逆极限与σ-积的Lindelf度

1 重要结果本文的主要结果是下面三个定理。定理1与文献[1]的结果相关,定理2与3分别推广了文献[2]和作者的一些结果。下面Hausdorff拓扑空间简称空间,映射是连续的。给定集A,以|A|表A的基数。     

一类半p-交换p-群

我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。     

Coates图的两个消去定理

本文旨在证明Coates图的两个消去定理,正如文献[1]中所表明的那样,把图论技术用到计算方法上是卓有成效的。 本文采用文献[2]中的一切符号与术语,只是各有向边的重量不必一定是数,可以是任意环(如多项式)之元,我们的讨论从推广文献[2]中定义3.2关于1-因子的概念开始。考察1-     

关于多项式环上的投射模

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为整环.     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

初等线性群之间同构的提升

令R和A为含1交换环,m和n为≥3的整数,考虑同构E_m(R)E_n(A)何时以及怎样才能提升为相应Steinberg群之间的同构.已经证明,若E_m(R)同构于E_n(A),则m=n(见文献[1]),当,n≥4时,任一同构E_n(R)E_n(A)是标准形的,可自然且唯一地提升为St_n(R)到St_n(A)的同构。但情形n=3不同于n≥4,因3维线性群之间存在例外同构(文献[3]及[2]中给出的反例)。本文研究同构E_3(R)E_3(A)能够提升的充要条件。     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

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

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

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是自由的.     

关于极限环唯一性的注记

本文对文献[1]中的定理2给出两种推广,部分地取消了限制条件“F′2(z)≤0当F_2(z)<0”和“F′_1(z)≥0当F_1(z)>0”。文末继续讨论四次多项式Liénard方程极限环的唯一性。以下的讨论中将保留文献[1]中与方程     

关于一类倾斜代数

设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到     

关于AIbu与Nstsescu的一个未决问题

我们知道,一个有Artinian生成元的Grothendieck范畴等价于某个模范畴Mod-A,A是一适当的右Atinian环。作为一个未决问题,Albu与Nstsescu在文献[1]中提出:如果是一有Noetherian生成元的Grothendieck范畴,是否等价于某个模范畴Mod-A,对某个右Noetherian环A? 这里,我们将证明,即使对交换Noetherian环上的模范畴的商范     

有一个直因子是单模的有限生成模的同调维数

在文献[1]中,姚慕生证明了交换诺特环上单模的投射维数等于它的内射维数。并且对具有内射单模的交换环进行了刻划。这篇文章的目的在于考虑交换诺特环上类似的问题,得到了比文献[1]更强的结果。具体地说,我们第一个结果是在一些适当的限制下,刻划了具有有bv限内射维数的非零有限生成模的交换诺特环。第二个结果证明了在交换诺特局部情形,有一个直因子是单模的有限生成模的投射维数等于它的内射维数。第三个结果刻划了具有一个有