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

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

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

完全环上的线性紧模

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

关于正则轨道的存在性

设G是一个有限群,V是一个有限维FG-模。什么条件下G在V上有正则轨道存在是有限群论中十分重要的问题,可参见文献[1]和[2]等。本文首先证明若G在V上没有正则轨道,则G的结构受域F的影响是很大的。其次我们研究不含截断D_8的有限2-群的正则轨道的个     

数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

关于两参数Markov过程的强芽Markov性

本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。     

局部Lipschitz条件下随机微分方程解的稳定性定理

文献[1]在Lipschitz条件下讨论了随机微分方程X=Φ(X)+F(X)·M (*)解的存在唯一性和稳定性。文献[2]减弱了此方程解存在唯一的条件,推广了文献[1]的结果。本文主要讨论在文献[2]中较弱条件下方程唯一解的稳定性。     

利用井水潮汐求含水层参数理论的探讨

自文献[1]提出利用井-含水层系统的潮汐资料,结合当地气压资料,可求得含水层参数后,文献[2,3]将此理论作了发展,但文献[4]对文献[1]的有关理论基本否定。本文对此问题进行探讨,并将所得结果和上述文献结果作一比较。     

格值模型的超积基本定理的另一形式

文献[1—3]中通常都要求值格具有弱或强特征式,不难知道必须附加这样一个较强的条件的本质原因之一在于文献[1]中对于“某模型满足某理论”的定义。本文修改了此定义并在此基础上证明了格值模型的一个超     

关于Liénard方程存在极限环的条件

讨论Liénard方程 f(x) g(x)=0或其等价方程组■存在极限环的条件已经很多,其中以条件及条件(可参看文献[3])引用最广。普遍认为文献[1]的条件似乎是最少的。本文提出了一组新的条件,在外境界上推广了文献[2]的条件,而又与文献[1]的条件互相独立。在内境界上,提法上已较文献[1]     

超幂零根环类的模刻划

Szász在文献[1]中介绍了Andrunakievich和Ryabukhin的工作:一般根环类的模刻划与特别根环类的模刻划。并提出了“超幂零根环类是否也能用模的理论来刻划”这个问题。 本文两位作者同时独立地解决了上面的问题。 周毅强定义了一个弱特别模类,用它刻划了超幂零根环类;并提出了第一模类的概念,它把弱特别模类与熟知的特别模类统一起来了。     

格值模型的超积基本定理的另一形式

<正> 文献[1—3]中通常都要求值格具有弱或强特征式,不难知道必须附加这样一个较强的条件的本质原因之一在于文献[1]中对于“某模型满足某理论”的定义。本文修改了此定义并在此基础上证明了格值模型的一个超     

关于一类倾斜代数

设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到     

在稳定性理论中多滞后NDDE与ODE的等价性问题

早在50年代,我国以秦元勋教授为首的数学工作者们就提出了在稳定性理论中微分方程与微分差分方程的等价性问题(参见文献[1]),并将系统的研究成果总结在文献[2]中。本文利用文献[1,2]中的思想方法,建立了在稳定性理论中多滞后中立型微分差     

强主元稀疏阵的近似求逆

如何用较少的计算量得到高精度的近似逆矩阵,是数值计算的重要问题。文献[1]给出了对称三对角阵的近似求逆法。文献[2]进一步给出了对称五对角阵的近似求逆法。文献[1]和[2]的方法只适用于对称的对角优势阵,且难以向多对角阵的情形推广。文献[3]将求逆化成级数展开,并应用于椭圆型方程数值解的计算。级数展开法是向量化算法,但其计算量较大。本文应用文献[4]和[5]提出的矩阵元素阶的概念,在消去法计算中进行高阶截断,给出强主元稀疏阵的近似求逆法。在强主元条件下,该法适用于任意稀疏结构的矩阵。     

紧致群规范场的对称破缺和对偶荷

如所知,具磁单极的电磁场是U_1,群的整体规范场.文献[2]通过对称破缺在SU_2规范场中导出具磁荷的规范场,然后文献[3]、[4]、[5]对此作了详细的分析,情况已相当清楚。 对SU_3规范场,这种问题在文献[4]中开始讨论,但对“磁荷”量子化数值问题和通量积分的几何含义未得到解决。此后陆续有人研究更大的群的情况,对以伴随表示形式出现的Higgs     

Steenrod代数上简单模的充要条件

设为连通分次Z_p代数,使由元Q生成,且Q~2=0,用Q右乘导出恰当序列。对p=2,Wall定义上简单模为上自由模和若干G型模(同构于)的直和。在文献[4]中还引进了较易掌握的近似简单模,并证明了当满足条件C,简单模和近似简单模等价,从而得出mod2 Steenrod代数A_2上简单模的一个等价条件。但是,对奇素数p,mod p Steenrod代数A_p不满足条件C,因此得不出A_p上简单模的充要条件。本文讨论一般不满足条件C的(如上)上的简单模M,得出了:若加上适当的有关同     

L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

关于曲面奇点Zariski-Lipman猜测的一个注记

文献[1]研究了Zariski提出的如下问题:设(V,0)=spec R为域R上仿射簇的芽,若R的导子模是自由R模,R是否一定是正则的。这个问题也在文献[2]及其参考文献中讨论过,最后由Flenner给出了奇迹余维大于3时的肯定证明(要求char R=0)。遗留的一种有趣情形是dim R=2。在R=C时,Zariski-Lipman猜测有如下的几何形式:设     

实二次数域类数h(K)=1问题

利用文献[1]等关于丢番图方程的结果和连分数等理论,本文对实二次域K,特别是其中的ERD型域,将给出一系列关于理想类数h(K)=1和h(K)>1的判定定理。实二次域类数问题自从Gauss提出猜想以后,文献很多。例如陆洪文在文献[2—4]中有关于类数为1问题的很深刻的结果。我们在文献[5]中决定了类群的子群特别是类数的因子。对ERD型二次域,最近有许多结果(可见文献[6]及所引结果),但问题也远未解决。