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

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

Morita系统环的IBN性

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

完全环上的线性紧模

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

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-素,但不是通常的半素.     

关于滤环与分次环的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是否为良滤模?     

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

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

模的稳定性的一些保持性

在模型论中,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的稳定性间的关系。     

关于单模的同调维数

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

有限交换环上的典型群阶的计算

本文计算出任意有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)中元素组成的子群.     

关于多项式环上的投射模

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

MELT右V-环是von Neumann正则环

环R称为von Neumann正则的,如果对每个a∈R,存在b∈R使a=aba.称环R为强正则的,如果对每个a∈R,a∈a~2R.环R称为MELT的,如果R的每个极大本质左理想是R的一个理想.称环R为右V-环,如果每个单右R-模是内射的.多年来,vonNeumann正则环与有关环(如,完全幂等环,V-环)的关系得到了广泛的研究,得到了许多有趣的结果,也留下了不少公开问题.在文献[1]中,Yue提出了如下问题:一个MELT右V-环是von Neumann正则的     

交换环上线性有限自动机的弱可逆性——传输矩阵的分类与枚举

线性有限自动机的弱可逆性问题一直受到关注.近年来,可逆性理论又在密码体制,包括公钥密码体制的设计中得到应用.域上有限存贮线性有限自动机的判定与构作问题可见文献[1]等;环上有关判定等问题也有文章讨论,如文献[2].环上线性有限自动机的弱可逆性仅取决于它的传输矩阵,参见文献[1,2].本文运用代数工具,对有限含么交换环(?)上弱可逆线性有限自动机所可能有的传输矩阵集合(?)进行多种形式的分解与约化,并引进变换群进行分类,最后将无限集(?)的枚举问题归     

分次本原环的结构

设G是任意群,有限或无限,A为G-分次环,即A是结合环且A=A_g(加群直和,常简写成A_g)并满足A_g·A_h(?)A_(gh),g,h∈G,M为G-分次A-模,即M为右A-模且M=M_g(加群直和)并满足M_g·A_h(?)M_(gh),g,h∈G。关于分次环及分次模的基本定义可     

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

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

系统(φ,α,σ)的局部行为

文献[1]揭示了一个有趣的现象:两个含1的交换环A和R,它们并不同构(因而也不是Morita等价的),但具有同构的3维线性群。这在1987年5月举行的中美典型群及相关领域学术讨论会上引起了与会者的兴趣,因为过去人们猜测,若m和n是不小于3的整数且GL_m(A)≌GL_n(R),似应有m=n且A和R是Morita等价的。     

Noether环的降链条件

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

一类群环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)     

一类平面E3的极限环

当p=q=r=s=0时,(1)式为文献[1]的二次微分系统的I类方程,并已证明:对于任意的a,l,n,I类方程至多有一个极限环;当l=m=n=0时,(1)式为文献[2]研究的平面三次系统,并利用二次型理论,Poincare-Bendixson定理,Levinson-Smith定理得出一系列结论.本文在更大的参数范围内得到(1)式存在极限环的充分条件.作地形系.当n~2 4s<0时,(3)式是一族包围原点的闭曲线;当n~2 4s≥0时,(3)式以P为分界线,当C>φ(k)时,λ(x,y)=c是一条围绕原点且包含Γ于其内部的闭曲线,当C<φ(k)时,λ(x.y)=c是由两个互不相交(可能重合)闭分枝组成,分别位于Γ内部.借助Poincar(?)-Bendixso定理和无穷远的方     

二次系统(Ⅱ)_(m=0)的极限环之唯一性问题

文献[2]暗含奇点O外围的极限环或(A)位于过鞍点M的分界线围成的区域中(称O外围的极限环由奇点M决定);或(B)位于过鞍点N的分界线围成的区域中(称O外围的极限环由奇点N决定)。对情形(A),文献[2]用无切直线方法给出了方程(1)至多有一个极限环的一些参数条件。对情形(B),文献[2]除了举出当δ取某些值时,O外围至少出现2个极     

对于线段连续自映射fΩ(f|Ω(f))=■

在此短文中我们证明了下列定理。定理 若I为线段(即区间,亦即直线的连通子集),f:I→I为连续映射,则(b)当I紧致时,以及结论(a) 意味着线段连续自映射的中心是周期点集的闭包,中心深度不大于2(中心和中心深度的定义见文献[1]),当I紧致且,分段单调时,这一结论由Nitecki证明;当I紧致且f没有异状点时,这一结论由周作领证明(异状点的定义见文献[2]),结论(b)首先是由