关于循环自动机若干问题的多项式时间算法

自动机A=(Q,Σ,δ)称为循环的。如果存在状态q_0∈Q,使得对于任何状态P∈Q,有x∈Σ~*,成立ε(q_0,x)=P;q_0称为A的一个生成元。本文中所指的自动机均为有限自动机。自动机A=(Q,Σ,δ)的一个自同态是一个映射ξ:Q→Q,满足(?)_a∈Σ,P∈Q(ξ(δ(P,a))=     

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

倾斜代数的Generic模

Aronszajn和Fixman对Kronecker代数引入了可除模的概念,证明了Kroneeker代数存在唯一的不可分解挠自由可除模Q. Ringel推广了Aronszajn和Fixman的工作,对Tame遗传代数证明了同样的结论。Ringel同时还证明了Q的自同态环为除环且Q作为End(Q)上的向量空间是有限维的。Grawley-Boevey引入了Generic模的概念。Ringel的工作说明了Tame遗传代数存在唯一的Generic模。Generic模的概念尽管出现较晚,但它是非常自然和重要的,它在有限维代数的表示理论中起着举足轻重的作用。     

Lienard方程零解的全局渐近稳定性

本文研究Lienard方程 x+f(x)x+g(x)=0 (1)的零解的全局渐近稳定性问题。已知的结果请参看文献[1—4]。以往大都采用Liapunov第二方法研究这个问题,而本文则采用Filippov变换的方法。所得结果包括已有的结果作为特例。本文总设 (ⅰ) f,g:R→R连续,xg(x)>0,x≠0。记F(x)=integral from n=0 to x f(s)ds,G(x)=integral from n=0 to x g(s)ds。令F_+(x)=max{O,F(x)},F_(x)=max{O,-F(x)},Γ_+(x)=integral from n=0 to x (1+F_+(s))~(-1)g(s)ds,Γ_(x)=integral from n=0 to x(1+F_(s))~(-1)g(s)ds,     

一类具有PF结构的环

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

倾斜模唯一性的有效判定

本文总假设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,我们记     

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

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

连通环上的矩阵结构

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

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

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

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

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

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

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

楔上的覆盖映照

在研究微分方程、积分方程的正解时,需要讨论楔上或锥上的映照是否为同胚。Banch空间中的集合K称为楔,若K是闭凸集,且(?)≥0有tK(?)K。设P、Q为楔,称映照f:P→p有线段提升性质,若(?)∈P,y_0=f(x_0),y_1∈Q,在P中存在道路x(t),0≤t≤1,x(0)=x_0,使得     

整系数多项式模2~d本原性的判别

Galois域F_2上多项式的本原性已经有充分的研究。将这个问题推广到整数剩余类环Z/(2~d)上(d≥2)具有理论和实际意义。类似于模2的情形,对于,其中(c_0,2)=1,我们可以定义其模2~d的周期(记作per(f)_2~d)为满足下式的最小正整数t:     

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

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

关于Golan的一个问题

Golan在《三十个关于扭论的公开问题》的第十九个问题中问:什么样的环,对每个环的满同态γ:R→S,导出映射γ_#:R—tors→S-tors都是满射?这里,R,S均是有单位元的结合环。R-tors表示左R模范畴R-Mod中所有遗传扭论构成的格。对任意τ∈R-tots,这里,是τ扭模)。Golan给出     

有一个直因子是单模的有限生成模的同调维数

在文献[1]中,姚慕生证明了交换诺特环上单模的投射维数等于它的内射维数。并且对具有内射单模的交换环进行了刻划。这篇文章的目的在于考虑交换诺特环上类似的问题,得到了比文献[1]更强的结果。具体地说,我们第一个结果是在一些适当的限制下,刻划了具有有bv限内射维数的非零有限生成模的交换诺特环。第二个结果证明了在交换诺特局部情形,有一个直因子是单模的有限生成模的投射维数等于它的内射维数。第三个结果刻划了具有一个有     

Opial不等式之进一步推广

定理1 令在u≥0上P(u)及Q(u)非减且Q为凸,P(0)=Q(0)=0,Q~(-1)(v)为Q(u)之右连续逆;则当f∈AC[a,b],f(a)=0时     

关于单模的同调维数

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

多重Fourier级数及其共轭Fourier积分的球形求和

设E_K为K维欧氏空间,E_K中的点x记为x=(x_1,x_2,…,x_k),Q_k{x∈E_k;-π≤x_i<π,1≤i≤K},B(x_0,r)={x∈E_k;|x-x_0|≤r},Q={x∈E_k;|x|=1},K(x)=P(x/|x|)|x|~(-k)为球调和核,此处P(t)为n次齐次调和多项式。