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

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

Galois环上多项式本原性的判别

对Galois环R上的本原多项式的研究是有限域F_q上相同理论的一种类比;在应用中,它又可以产生R上最大周期的线性递归序列.当R=F_q时,已有很完整的理论结果;当R=Z/(p~d),p为素数,d≥2时,也有较为详细的讨论,特别在文献[3,4]中,利用F_p上本原线性递归序列的技巧,给出了f(x)是本原多项式的一个充要条件,其意义在于利用f(x)的系数来决定f(x)的本原性.本文用纯代数的方法,推广这一结论到Galois环上,且对次本原多项式也给出相应的代数判别式.     

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

设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]。     

剩余类环上的加法特征与多元多项式正交组

利用剩余类环Zm 上的加法特征给出了k个n元整系数多项式组f1(x1,… ,xn) ,… ,fk(x1,… ,xn)构成环Zm 上的正交组的一个充分必要条件 .由此可以推得P .Shiue和孙琦及张起帆在 1996年利用置换多项式所得到的环Zpl上多项式是正交组的一个充要条件以及孙琦在 1993年所得到的关于线性型正交组的结果 .     

某些无限域上多项式环的Goldbach3素元性质

在Ｅｆｆｉｎｇｅｒ和Ｈａｙｅｓ关于有限域Ｆ上多项式环Ｆ「ｘ」中Ｇｏｌｄｂａｃｈ３素元性质的定理基础上,用模型论方法证明：对每种特征数ｋ,都存在无限多个无限域Ｆ,使在Ｆ「ｘ」中也有Ｇｏｌｄｂａｃｈ３素元性质成立。     

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正则的     

连通环上的矩阵结构

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

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

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

Ulam集环问题的解答

由Ulam提出的集环(对并、差封闭的集族)同构类数目问题是《苏格兰咖啡馆数学问题集》列出的未彻底解决的问题之一(第37问题)。该问题是:(α)存在多少不同构的实数集环?(β)存在多少不同构的整数集环?(γ)投影集环是否同构于Borel集环?对σ集环(可数并封闭)也有类似问题。根据文献[1]中Monk的评论,可假设问题是对集合的Boole     

曲线上微分算子环的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)总是为拟遗传代数?     

有限域上辛几何中一类几何格的特征多项式

设V=V_n(F)={(a_1,…,a_n)|a_i∈F}是域F上的n维行向量空间,是V的子空间所构成的一个有限集,满足条件:∩_(H∈)H=(0),L=L是的元素的有限交所构成的集合。在子空间的反包含关系所确定的偏序下L是一个几何格,其秩函数为r(P)=     

Cayley-Hamilton定理在四元数体上的推广

自研究四元数体Q上的矩阵理论以来,人们对Cayley-Hamilton定理将以何种形式表现的问题已得到了若干结果,但总的来说进展不大。本文在文献[5]的基础上引进了重特征多项式,完全解决了这个问题。 用Q记四元数体,并以Q_((?))记矩阵的全体。其行列式定义如下:     

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

整环上Mbius函数与一个逆问题的解

近年来,数论中著名的Mbius反演公式在物理学中得到了重要应用,其中包括黑体辐射逆问题,比热谱反演声子能态密度问题,费米体系与离子晶体中逆问题和由晶体结合能反演原子间对势的逆问题等。本文运用代数整环上Mbius反演公式得出了二维方格子中晶体结合能反演原子间对势的普遍而简洁的表达式,使Mbius反演公式的应用有了新的发展。     

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

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

由李善兰多项式引出的组合三角

我国传统数学14世纪以前在世界上一直处于领先的地位,此后渐渐落后于西方,到19世纪中叶,中算与西方合流,纯粹的中算宣告结束。正在这个时候,我国清代大数学家李善兰（1811—1882）出版了《垛积比类》四卷（1867）,以“比类”、“形数结合”等传统方法,在书中提出了许多精彩绝伦、别具一格的求和公式,如李善兰恒等式等。他的主要研究成果为有限差分和组合数学开辟了一个新的领域,可以说在数学史上至令还堪称独步。本文拟讨论：由李善兰多项式为形式精美的“组合三角”提供了基础。李善兰在《垛积比类》卷四的“三角变垛”中以演段、…