完全环上的线性紧模

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

关于多项式环上的投射模

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

交换环上模的Euler特征数

设R为带单位元1的交换环,P为R-模,如果P有有限的有限生成自由分解O→F_m→…F_1→F_0→P→0,则记P∈FFR且称x(P)=Sum from i=1 to m((-1)~i)rankF_i为P的Euler特征数。在刻画交换环的模结构方面,Euler特征数发挥了很大作用。本文采用同调方法,给出了半遗传环和遗传环上x(P(?)Q)=x(P)x(Q),x(Hom(P,Q))=x(P)x(Q)成立的充要条件。 1 预备知识 假设所讨论的环都是带单位元1的交换环,模指酉模。     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

倾斜模唯一性的有效判定

本文总假设k为代数闭域,A为k上基的(basic)连通的(connect)有限维代数(结合的,带单位元)。代数A上的模总指有限生成左A-模。在同构的意义下,记{P_A(a)|a∈I}表示所有不可分解投射模的集合,{E_A(a)|a∈I}表示所有不可分解入射模的集合,{S_A(a)|a∈I}表示所有单模的集合,这里I是固定的有限集合,P(a)/rad P(a)=S(a)=soc E(a),在不引起混淆的情况下,我们可以省略下标A.另外,对于JI,我们记     

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

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

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

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环、具有挠约化群的环也都是连通的.而对于拓扑空间X而言,X为连通空间当且仅当C(X)为连通环.因此,连通环的研究是极有意义的.本文将利用环上的矩阵来刻划连通环本身的性质.所有的环假定都是带单位元1的交换环.假设P是一个非零的有限生成投射R-模,不妨设P(?)Q=F,这里F为n维的自由R-     

关于一类倾斜代数

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

Morita系统环的IBN性

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

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的有限交换环上几类典型群的阶,同时利用GL_(?n)的阶得出有限交换局部环上一般向量空间中的计数定理.设R为有1的有限交换环.R可唯一表成有限个局部环R_i的直积,即R(?)R_i(R_i为有限局部环).R上的典型群G亦可写成G=multiply from i=1 to m G_i,这里G_i为R_i上相应的典型群.因而我们可将所讨论的问题限制在有限交换局部环上.下文如无特别声明,R表示有限交换局部环,M表其唯一的极大理想,K表示商域R/M.令π:R→k表R到k上的典型同态,但我们常记α∈R在k中的象为(?).令(?):GL_nR→GL_nk(SL_nR→SL_nk)表R与k上的一般线性群(特殊线性群)间的同态.记ker(?)=GL_nM(SL_nM),并用GL_n(R,M)(SL_n(R,M))表模M为GL_nK(SL_nk)中心元的GL_nR(SL_nR)中元素组成的子群.     

Noether环的降链条件

设R是带有单位元的结合环,我们用_R表示R左酉模的范畴。设σ是_R上一个挠根(其定义及性质见文献[1,2],注意文献[2]中称挠根为幂等核函子)。说一个模M是σ-挠的,如果σ(M)=M;说M是σ-挠自由的,如果σ(M)=0。说模M的子模N是M的σ-稠密子模,如果M/N是σ-挠的;说N是M的σ-闭子模,如果M/N是σ-挠自由的。     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(R)模时,M是否为良滤模?     

模的稳定性的一些保持性

在模型论中,Zil’ber证明了:非平凡的(?)-范畴理论的模型都是类似于模或域的;于是人们希望证明著名的Vaught猜想对于超稳定的模理论是成立的。Buechler后来证明了:Vaught猜想对于Morley秩为1的模理论是成立的,但以后,Vaught猜想的证明一直进展不大,即使对超稳定的模理论的Vaught猜想的证明也是如此。为对超稳定的模理论Vaught猜想进行化约,Prest曾建议讨论环变化时模理论的稳定性性质的保持性。Ziegler在文献[4]中讨论了一些初等性质的保持性定理。本文讨论下列两种环变化情形下,模的稳定性的保持性:(ⅰ)将R-模M_R看作R的一个理想上的模;(ⅱ)将R的一个分式环S~(-1)R上的模看作R上的,其中S是R的一个乘法子集。此外,还讨论了分式模S~(-1)M与模M的稳定性间的关系。     

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多项式.     

关于Fuller范畴的一个注记

在本文中环R表示有单位元的环,所有模都是右酉模。σ[M_R]是Mod-R中含有M_R且关于同态像、直和和取子模封闭的最小全子范畴。Gen(M_R)是Mod-R中含有M_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是一个有限含幺交换环,则R是一个半局部环,设M_1,…,M_s是R的全体极大理想,F_1=R/M,…,F_s=R/M,是     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)