Artin局部主理想环上多项式理想的Grbner基的标准型

本文给出 Ａｒｔｉｎ局部主理想环上单变元多项式理想的极小Grbner基的标准型．证明 Ｎｅｃｈａｅｖ提出的标准生成系（ＣＧＳ）恰是极小 Ｇｒｏｂｎｅｒ基．将标准型用于分析环上线性码．     

相关攻击与相关免疫函数

本文首先介绍了如何采用ＤＣ攻击法对一类流密码体制进行相关攻击，从而说明在密码学中有必要研究相关免疫（ＣＩ）函数。在综述了域Ｆ２上相关免疫（ＣＩ）函数的研究进展的同时，给出了ＣＩ函数在一般有限域上的特性和构造，并进一步研究有限环Ｚ／（ｍ）时的情景，本文详尽描述了ＣＩ函数的五种充要条件。最后提出了几个值得研究的未解决的问题。     

局部Artin主理想环上多项式理想的准素分解与根理想的计算

本文用极小 Ｇｒｏｂｎｅｒ基的标准型给出了局部 Ａｒｔｉｎ主理想环上单交元多项式理想的准素分解与根理想的计算．     

交换环上线性递归阵列的代数表示

设R是交换Noether环，R[X]是R上n个变元的多项式环，其中X＝（x1,…，xn），I是R[X]的理想，Zer(I)是R上的以I中的每个多项式为线性递归关系的n维阵列组成的集合，本文利用同调代数的观点，给出Zer(I）中阵列的代数表示，这些表示是域上序列的迹、母函数、状态矩阵等表示在形式和作用范围等方面的提炼、综合和推广，运用新的代数表示，并利用Groebner基理论，本文给出构造Zer(I)生成元的算法。     

关于矩阵幂和的Newman问题

M.Newman[2]提出以下几个未解决的问题:(1)在 F_2上,确定全体 n 阶平方次幂矩阵的数目。(2)在整数环上,对任意的 n,确定最小的整正数 M(n),使任一 n 阶方阵都可表示成 M(n)个平方次幂矩阵之和。(3)把以上问题推广到高次幂。本文分别讨论上述问题,得到如下结果:(1)给出全体平方矩阵计数公式。(2)对任一整数矩阵,若它可以有理标准化,则可表示成4个平方次矩阵之和。这与数论中著名的 Lagrange 定理[4]相吻合。(3)在域 F_p 上,任一 n 阶方阵都可表示2个 p 次幂矩阵之和。     

UFD上线性递归序列特征理想的GrÖbner基

设R是唯一因子分解整环 (UFD) ,用GrÖbner基和局部化方法给出了R上半无限线性递归序列 (lrs)和全无限线性递归序列 (Lrs)的特征理想的刻画 ,并得到域上有限长线性递归序列的齐次特征理想的GrÖbner基的标准型 ,从而清晰地揭示了Berlekamp Massey(BM )算法中的每一步与GrÖbner基的精确联系.     

QF环上的Macaulay逆系问题

Ｍａｃａｕｌａｙ的逆系理论研究多项式理想与域上线性递归阵列之间的对偶关系．本文致力于将逆过系理论推广到 Ｑｕａｓｉ－Ｆｒｏｂｅｎｉｕｓ环上．这项研究可以应用到多个领域中,例如高维卷积码、 Ｇａｌｏｉｓ环上的代数编码以及参数化系统论．首先以新的观点描述逆系问题．将其转换成阵列形式零点（Ｎｕｌｌｓｔｅｌｌｅｎｓａｔｚ）问题．然后建立代数理想与线性递归阵列之间的对应关系．对此相关的问题已有大量的研究,但几乎所有现有的有趣结果可以看成本文结果的特殊推论．     

QF环上的Macaulay逆系问题

Macaulay的逆系理论研究多项式理想与域上线性递归阵列之间的对偶关系.本文致力于将逆系理论推广到Quasi-Frobenius环上.这项研究可以应用到多个领域中，例如高维卷积码、Galois环上的代数编码以及参数化系统论.首先以新的观点描述逆系问题.将其转换成阵列形式零点(Nullstellensatz)问题.然后建立代数理想与线性递归阵列之间的对应关系.对此相关的问题已有大量的研究，但几乎所有现有的有趣结果可以看成本文结果的特殊推论.     

张量积在线性递归序列复杂性的研究

设R是有单位元的交换环,设f(x)是R上的首一多项式,记S(f(x))为R中由f(x)生成的所有齐次线性递归序列集合.S(f(x))S(g(x))定义为所有乘积st,S∈S(f(x)),l∈S(g(x)),生成的R模,本文的目的是要确定h(x)∈R[x],使得S(f(x))S(g(x))=S(h(x)).当R是一个域时,我们进一步给出确定h(x)的可计算的方法,使得S(f(x))S(g(x))=S(h(x)).     

局部Artin主理想环上多项式理想的准素分解与根理想的计算

本文用极小Grobner基的标准型给出了局部Artin主理想环上单变元多项式理想的准素分解与根理想的计算.