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

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

周期半群环的单位元的存在性

Ponizovski(?)在文献[1]中提出下面的问题:问题 什么样的半群环是有单位元的环?李方在文献[2]中研究了纯正半群环的情形,本文考虑周期半群环的情形,将周期半群环的单位元存在性问题归结到幂等元生成的子半群环的单位元存在性问题,符号同文献[2].本文的主要结果如下:定理 设S是周期半群.则RS含单位元当且仅当R含单位元,且存在E(S)的一个有限子集U,使得S=SU=US,在此条件下,有I_(RS)=I_R.此定理的证明难点在于下面的引理的证明.引理 设S是周期半群.若RS含单位元,则R含单位元.引理的证明大意:假设集合A={T:T是周期半群,RT含单位元,但R〈E(T)〉不     

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

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

非线性置换的构造

一、引言 置换在通信中具有重要应用,在密码学中也有许多密码体制用到置换来增加体制的安全性,但这些置换都是用矩阵来实现的。为了使置换易于实现和节省储存空间,可采用布尔函数组来实现。对于任意N阶置换,可用一组n=[log_2N]个变元的布尔函数来表示。当N=2~n时,这种表示是唯一的。本文就研究2~n阶置换的构造问题。在密码体制中不采用线性置换,对于非线性置换也力求非线性程度越高越好。文献[5]给出一种构造非线性置换的迭     

关于具有给定西洛子群正规化子的有限群

近年来一系列工作用于研究具有给定西洛子群正规化子性质的有限群.文献[1]证明了,如果有限群G的任意非单位西洛子群的正规化子幂零,则G本身幂零.在文献[2]中指出,所有超可解有限群的群系U不具有这种性质.换句话说,如果有限群G的任意非单位西洛子群的正规化子超可解,那么G可能非超可解.有限幂零群的群系是继承的局部(?)-群系,而U不是(?)-群系.由此产生一个问题:哪些继承局部(?)-群系具有如上所指的性质?本文在可解群类中完全解决了这个问题.此问题由教授提供.     

关于CP~n中全实极小子流形的数量曲率

设CP~n(?)是具有常数全纯截曲率(?)的Fubini-Study度规的复n维复射影空间,M是CP~n(?)的实n维紧致全实极小子流形.根据文献[1—3],若M的数量曲率(?)≥n~2(n-2)(?)/2(2n-1),则或者M是全测地的;或者M是CP~2中具平行第二基本形式的唯一极小嵌入平环面的有限Riemann覆盖.最近,由文献[4—6],上述拼挤常数已被改进为(n-2)(3n 1)(?)/12.     

具有伪轨跟踪性的Distal流

Smale在文献[1]中指出:极小集的存在性问题是动力系统中一个十分有意义的问题,其主要问题是寻求空间为何时,才能对其上的一些流来说这空间是极小的.有关这方面的综述报告曾在文献[2]中给出.就Distal流而言,文献[3,4]对这个问题进行了研究.最近Komuro在文献[5]中得到:紧连通流形上具有有限伪轨跟踪性的等距流是极小流.与此同时,Kat(?)在文献[6]中得到:紧连通流形上具有有限伪轨跟踪性的同等连续流是极小流.显然等距流和同等连续流均为Disal流.与此相关,我们要问:具有伪轨跟踪性的Distal流是否为极小流?本文研究了这个问题,并在紧连通度量空间上给出问题的一个正面回答.     

变速轴向运动弦线纵向非线性振动的能量变化

动力传输带、录音机磁带等诸多工程系统可以模型化为轴向运动弦线,其振动问题已有大量研究[1].运动弦线研究的一个方面是考察振动过程中的能量变化.1989年Wickert和Mote研究了轴向运动弦线的总机械能变化[2],1997年Lee和Mote进行了更一般的分析和数值验证[3].1998年Renshaw等进行了更准确的阐述[4],作者将Renshaw等关于线性振动的结果推广到非线性振动[5].在上述工作中,弦线均是作匀速轴向运动.作者还研究了变速轴向运动弦线纵向线性振动的总机械变化[6],本文进一步研究非线性振动的情形.     

有限域上循环椭圆曲线

有限域上椭圆曲线的大多数性质已为人们所知,例如,它们可能的Zeta函数,自同态环和自同构群,同构类个数等.有限域上的椭圆曲线近年来用于大整数分解及公钥密码体制的研究,并取得了一些重大进展.对于密码体制的应用,人们往往需要用一个有理点群为循环群的椭圆曲线来构造公钥体制.因而,下面的问题自然地被提了出来.问题 对于固定的有限域F_q,任取一条F_q上椭圆曲线,其有理点群是循环群的概率是多大?当然,在上面问题中,同构的椭圆曲线被看成是同一条,即只考虑F_q上同构的椭圆曲线类.文献[3]中结果告诉我们,F_q上椭圆曲线的同构类个数为2q+(?)(1),这里(?)(1)是一个绝对有界常数.因此,要回答我们的问题只需求出F_q上有理点群是循环群的椭圆曲线个数c(q).一般情况下很难求得c(q)的确切值,本文将给出c(q)的上下界.由于本文用到的符号较多,因此首先定义它们.E,E′等表示F_q上的椭圆曲线.E(K)表示E的K有理点群,其中K是F_q的有限代数扩张或K是F_q的代数闭域F_q.     

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].     

Rao-Nam私钥密码体制的改进

1989年,Rao与Nam提出了一种基于代数编码理论的私钥密码体制,简称为R-N体制。先将该体制简介如下。选用GF(2)上的(n,k,t)线性纠错码。秘密密钥为S、G、P及伴随式-错误表。这里S、G和P分别代表k×k满秩矩阵、k×n生成矩阵和n×n置换矩阵。伴     

序列空间之间的无穷矩阵算子的拓扑代数

拓扑代数是泛函分析的一个分支,已经应用于多复变函数、微分几何、无界算子等领域,同时代数拓扑、K-理论等也已经被应用于拓扑代数。如所周知,Banach空间上的连续线性算子全体构成Banach代数,因之,研究具体拓扑线性空间上的连续线性算子全体的拓扑代数具有明显意义,它既可以为一般理论的研究提供思路和例证,又可以用来构造反例。注意到K(?)the的完全(perfect)序列空间是一类相当广泛而又十分具体的局部凸拓扑线性空间,文献[3]讨论了其上的无穷矩阵算子全体的拓扑代数,证明了这类拓扑代数或是非m-凸且不可度量化,或是Banach代数,这样一来,它所反映的拓扑代数类也就不够广泛了。文献[4]探讨了序列空间之间的无穷矩阵算子类中的一种特殊子代数,但所得结果仍欠完整。     

带有非线性扰动的抽象控制系统的逼近能控性

1.问题和假设 1978年,J.Henry首次研究了半线性抛物型系统分布控制的整体能控性问题。本文作者在文献[2]中得到了把有限维情形与无穷维情形统一起来的半线性抽象控制系统逼近能控性理论。在文献[3]中又讨论了半线性热方程的一维控制问题。本文是对     

关于含高级量词的一目谓词演算公式的■_0永真性的可判定性及其应用

在本文中我们证明含高级量词和等词的一目谓词演算公式是否(?)_0永真为可判定的并且利用这一结果证明了Nakamura在文献[3]中提出的带有(?)_0个阈算子的命题演算的判定问题是可解的。 先证若干引理: 引理1 对于含有高级量词和等词的狭谓词演算公式α,恒可能行地作出一只含一级量     

破译一类密码

文[1]提出了一类基于矩阵环的新型公钥分配密码体系,并对其安全性进行了分析,得出结论说此密码“不可破”。但是下面我们将指出文[1]中的密码体系是可破的,同时还给出了一种十分简单的破译方法。为完整起见,我们先复述文[1]中的密码     

特征数为2的有限域上对称矩阵的结合方案

1.结合方案与编码、设计及有限群理论有着密切的联系.1965年,万哲先讨论了由有限域上n×n Hermite矩阵构作的结合方案,并且计算了n=2时这个方案的参数.后来,本文第一作者对于这个方案的参数给出了一种递推的计算公式,并且把这种方法推广到交错矩阵和m×n矩阵构作的结合方案.近来,霍元极和祝学理,万哲先和霍元极相继讨论了特征数不为2的有限域上对称矩阵的结合方案.本文是这方面工作的继续,讨论特征数为2的有限域上对称矩阵的结合方案.关于结合方案的定义及参数的基本关系式可参见文献[1].     

结合环上全矩阵环的Behrens根

Szász在文献[1]中建议考察结合环上全矩阵环的Behrens根(Problem 69)。本文解决了这一公开问题。我们证明了     

关于多项式环上的投射模

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