环上矩阵保群逆的线性算子

设R为有1的环,F为其中心,用M_n(R)记R上n×n全矩阵F-代数。近年来刻划M_n(R)的保某种特性的线性算子的工作颇多,但R为较为一般的环时结果尚少。本文研究群逆的线性保持算子,它也可以看作更广泛一类广义逆共变问题的研究。A∈M_n(R),若矩阵方程AX=XA,A~2X=A,X~2A=x有解则称其解X为A的群逆,记为A~#.设f为     

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

曲线上微分算子环的Stafford-Smith问题

设XM特征为零的代数闭域k上的仿射代数曲线,O(X)表示X上的正则函r,D(X)是X上微分算子环,H(X)是D(X)的导出Artin代数.Stafford-Smith在文献[1]中提出如下两个问题:Stafford-Smith问题Ⅰ:D(X)是否有无限的总体同调维数?Stafford-Smith问题Ⅱ:给定一个任何有限维代数A,是否存在仿射曲线X,使得H(X)=A?Brown在文献[2]中提出了如下问题:是否H(X)总是为拟遗传代数?     

半局部环上二维线性群的构造

Klingcnberg(1961)确定了当2是单位,cardR/M>3时局部环上二维线性群的正规子群。本文用矩阵的方法,确定了当2是单位、cardR/M_i>5,i=1,…,n时,半局部环上二维线性群的正规子群。 M_i,i=1,…n,表示半局部环R的极大理想、o(σ)表示GL_2(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)中元素组成的子群.     

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

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

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

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

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

Morita系统环的IBN性

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

投射模经过基座的整体提升

设I为环R的理想,记S=R/I。本文主要考虑如下的整体提升问题:对于任意的投射S模Q,是否存在投射R模P,使得Q同构于P/IP?这一概念是作者首次引进的,目的之一是为了研究K_0群的计算问题。因此在本文中,常常要求Q与P还是有限生成的。 本文中的环都是有单位元的结合环,模为左酉模。对于环R,以p(R)表示有限生成的投射左R模的范畴,~RProj。表示投射左R模的范畴。R~(n)表示R作为模的直和,而I~n=II…I,其中I为R的理想。文中用到的其他概念和术语可以参见文献[1]和[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为整环.     

一类具有PF结构的环

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

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

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

不可分的正定Hermite型

设(m>0,无平方因子)为虚二次域,R_m为它的代数整数环。本文的目的是构作具有判别式为自然数a的R_m上n秩不可分的正定整Hermite型。设L为R_m上正定Hermite格,如果有:L=M⊥N(?)M=o或N=0,则称L为不可分格。设h(X_1,…,X_n)为R_m上正定Hermite型,如果不存在表示式:     

除环上矩阵保幂等的线性算子

近几年,许多学者感兴趣于矩阵代数保幂等的线性算子的研究,但矩阵基础环非交换时未见叙述。本文讨论除环上矩阵的保幂等问题。本文结果表明非交换性带来一些重要变化,即使特征不为2仍有非规范的新型算子产生。本文假定R及R_1均特征不为2的除环,它们的中心都是域F.设T为全矩阵代数M_n(R)到M_n(R_1)的F-线性算子,若对于M_n(R)中任意幂等元A,T(A)也幂等,则称T为保幂等的,其全体之集记为L。     

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

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

连通环上的矩阵结构

众所周知,连通环是环论中应用最为广泛的环类.例如整环、局部环都是连通的.更一般地,PF环、具有挠约化群的环也都是连通的.而对于拓扑空间X而言,X为连通空间当且仅当C(X)为连通环.因此,连通环的研究是极有意义的.本文将利用环上的矩阵来刻划连通环本身的性质.所有的环假定都是带单位元1的交换环.假设P是一个非零的有限生成投射R-模,不妨设P(?)Q=F,这里F为n维的自由R-     

Λ-2-fold环上K_1U~ε的Prestabilization

本文利用Vaserstein、Bass等提出的Λ-S,条件研究了满足Δ-S_r(R)≤1条件的一类环(Λ-2-fold)上K_1U~(?)的Prestabilization。 令R为有1的结合环,I是R的一双边理想。在R上定义了一对合映射木*:R→R(y→     

系数在Laurent多项式环中的微分算子代数的上同调

本文在文献[1]的基础上,进一步考虑系数在Laurent多项式环C[t,t_~(-1)]中的微分算子代数的各阶上同调群,其中D=d/dt。证明了这些上同调群都是平凡群。