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

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

分次本原环的结构

设G是任意群,有限或无限,A为G-分次环,即A是结合环且A=A_g(加群直和,常简写成A_g)并满足A_g·A_h(?)A_(gh),g,h∈G,M为G-分次A-模,即M为右A-模且M=M_g(加群直和)并满足M_g·A_h(?)M_(gh),g,h∈G。关于分次环及分次模的基本定义可     

关于多项式环上的投射模

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

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

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

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

含非零基座本原环的拟临界环

Jacobson在文献[1]中证明了含非零基座本原环的结构定理:环R是含非零基座S的本原环当且仅当存在除环△上一对对偶空间(M,M′)使得,其中,Ω是M的全线性变换环},(?)(M,M′)是(?)(M,M′)中的所有关于M的秩是有限的线性变换的集合。此后人们又用不同方法证明了这个定理,如文献[2,3]。本文目的是在除环上的向量空间的全线性变换环中引进关于它的子环的拟元的概念,从而得到了含非零基座本原环的拟临界环,并改进了文献[1]中关于含非零基座本原环的结构定理。     

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

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

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

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

环Z/(2e)上本原序列最高权位的0,1分布(Ⅱ)

设f(x)=x~n c_(n-1)x~(n-1) … C_0是Z/(2~e)上首一多项式,适合关系式a_(i n)=-(c_0a_i c_1a_(i 1) … c_(n-1)a_(i n-1)),i=0,1,2,…(1)的Z/(2~e)上序列a=(a_0,a_1,…)称由f(x)生成的线性递归序列,由f(x)生成的Z/(2~e)上的所有序列的集合记为G(f(x))_e,并记G’(f(x))_e={a∈G(f(x))_e│a≠0 mod 2}.递归式(1)等价于关系式f(x)a=0=(0,0,…),其中x表示移位算子,即xa=(a_1,a_2,a_3,…).Z/(2~e)上序列a有唯一权位分解a=a_0 a_12 … a_(e-1)2~(e-1),其中a_i=(a_(i0),a_(i1),…)是0,1序列,并称a_i是a的第i权位序列,称a_(e-1)为a的最高权位序列.对Z/(2~e)上首一n次多项式f(x),若f(0)(即c_0)是可逆元,则由文献[1],f(x)的周期per(f(x))_e≤2~(e-1)(2~n-1).当per(f(x))=2~(e-1)(2~n-1)时,称f(x)是Z/(2~e)上n次本原多项式,并称G’(f(x))_e中序列为f(x)生成的本原序列.文献[2]给出了本原多项式的系数     

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

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

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

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

一类有限域上射影代数簇上的码

80年代初由V.D.Coppa引进的代数几何码(或称几何Goppa码)是一类著名的线性码,对代数几何码的研究十多年来一直受到广泛关注,时至今日仍是编码理论中的热点。1989年Justesen等人构造了一类平面代数曲线上的码,并研究了这类码的译码算法。     

有限域上置换正交系的算法判别

将有限域上转换正交组化成仿射代数之间的同态,然后利用Ｇｒｏｅｂｎｅｒ基理论给出转换正交组的算法判别。     

Morita系统环的IBN性

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

特征为2的有限域上二次型结合方案

利用矩阵方法讨论了特征为２的ｑ元有限域上二次型结合方案的参数计算。对于ｎ＝２,３的情形计算出全部参数,对于ｎ≥３,给出了参数Ｐ２－２ｊ＋１的计数公式。     

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

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

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

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)〉不     

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

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