半群环的von Neumann正则性

设R为一环,若对任何r∈R,存在x∈R,使得r=rxr,则称R为(von Neumann)正则的。关于群环和逆半群环的正则性的研究,分别见文[2]和[3]。本文广泛研究了半群环的正则性,并对局部有限逆半群、广义Brandt半群、     

每个极大左理想是理想的完全幂等环

文献[1]提出如下公开问题:如果环R的每个理想是幂等的且R的每个极大左理想是理想,那么只是强正则的吗?文献[2]又提出如下公开问题:如果环R的每个理想是幂等的且R的每个极大本质左理想是理想,那么R是Von Neumann正则的吗?本文的主要目的是构造一例,同时给上面两个公开问题以否定回答。     

关于多项式环上的投射模

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

Duo环上的Noether(Artin)经典分式环和Duo环上单模的投射性和内射性

设E_R为一个内射右R-模,我们称E_R为一个Σ(Δ)-内射模,如果E在R中的右零化子集满足升链(降链)条件,称一个含有单位元的环为Duo环,若它的任意单侧理想都是双侧理想。一个环称为是一个Σ(Δ)-环,     

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

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

一类广义根环的结构

设R是结合环,对于R的任意元a、b定义“o”乘法aob=a+b-ab,(R,o)是一个含单位元的半群。环R的Jacobson根记作J(R),文中不再重复。一个环R称为广义根环如果(R,o)是它的一些子群的并(半群S是其子群的并是指对于S的任意元素a来说,存在b、e∈S使ae=ea=a,ab=ba=e,e~2=e)。Clark证明了:若环R含主幂等元e     

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,以下各条等价:     

gr(■_n)与gr(ε_p)不具有pure维数

一个交换Noetherian环R称为是有pure维数n的正则Noetherian环,是指对R的任意极大理想 ,R_m的整体维数gl.dim R_m=n,这里R_m为R在极大理想■处的局部化。众所周知,若R是某域上的有限生成交换代数,且是整环,同时g1.dim R<∞,则R有pure维数;如果,     

分次环的分次分式环

Nǎstfǎsecu等分别证明了在条件“只是Z-分次环”;“R是强G-分次环,G是有限群,|G|~(-1)∈R”下分次Goldie定理成立。本文证明了当R是有单位元的G-分次环,G是有限群时,分次Goldie定理成立。还讨论了分次环R的分次右分式环的性质,给出分次环只存在分次Artin分次右分式环的充要条件。 文中R是G分次环,G是有限群,f是群G的单位元。分式(分次分式)环指经典右(分次)分式环。(分次)Artin环指(分次)右Artin环。首先给出一个基本结论:     

关于Goldie环的条件

设R是结合环,r是R的任一元素,记是r的右零化子,记是右R模同态链且是归纳的(其定义见文献[1]),那末必有元素,r∈R使所有元皆有并且任何r′∈R如有,对所有,必有。为方便起见,我们称上述为的极限点,并称此极限点由元素r所产生。     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

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

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

完全环上的线性紧模

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

形如<(?)·(?)>的-正则半群簇

<正>称半群S为~*-正则半群,如果有一个映射*:S→S,x|→x~*,使得下面等式成立:x=xx~*x,(x~*)~*=x,(xy)~*=y~*x~*,(?)_x,y∈S.记R~*为全体~*-正则半群构成的类,则作为(2,1)型泛代数,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-素,但不是通常的半素.     

分次本原环的结构

设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。关于分次环及分次模的基本定义可     

左C-rpp半群的结构

半群S称为一个rpp半群,如果S的所有主右理想aS~1(a∈S)作为右S~1-系都是投射的;半群S为rpp半群,当且仅当,关于任一a∈S,下集合不空     

关于正则环的序

一、引言 一个环R叫正则环,若对于任意α∈R,有α∈αRα。αxα=α的一个解叫α的一个内逆或1-逆,用α~-表示。xαx=x的一个解叫α的外逆或2-逆。αxα=α,xαx=x的解叫α的一个自反逆,用α~+表示。元α的内逆与自反逆一般不唯一,1976年Hartwig证明了下述结果:     

Morita系统环的IBN性

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

一类具有PF结构的环

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