多项式环中单项式理想的分解

利用单项式理想生成元的性质,给出了一类特殊单项式理想(生成元是变量的纯幂)的幂的分解表达式,这不仅拓宽了我们对多项式理论内容的认识,而且这样的分解表达式提供了这类单项式理想正则度(Castelnuovo-Mumford regularity)计算的方法.     

零维代数簇的分解及其应用

本文利用Groebner基，给出了一种分解零维代数簇的方法，并且讨论了这种方法在理想的准素分解以及几何定理机器证明中的应用．     

零维多项式系统保持重数的零点分解

对零维多项式系统,基于经典的吴方法给出了一个保持重数的零点分解定理及其算法.在一定条件下,该算法计算出的分解是三角化的.     

多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

关键方程的极小多项式

１引言 本文中Ｒ是指一个ＵＦＤ,ｋ是Ｒ的商域,Ｒ［ｘ］司是以ｘ为未定元的Ｒ上的多项式环．Ｒ上的半无限线性递归序列（ｌｒｓ）与无限线性递归序列（Ｌｒｓ）统记为ＬＲＳ．ＬＲＳ在代数编码、密码学、信号处理中是重要的研究对象,序列的综合问题主要是求出序列ａ的次数最小的特征多项式．在实际应用中,更多地是考察Ｒ上的有限长序列α＝（α_０,α_１,…,α_Ｎ）,α（ｘ）＝∑ａ_ｉｘｉ称为α的生成函数．关于求解序列问题的典型描述是解关键方程（ＫｅｙＥｑｕａｔｉｏｎ）：求集合σ＝｛（ｘ）∈Ｒ［ｘ］｜σ（ｘ）ａ（ｘ）≡…     

求首尾和r-循环矩阵的极小多项式的算法

研究了域上首尾和r-循环矩阵，利用多项式环的理想的Groebner基的算法给出了任意域上首尾和r-循环矩阵的极小多项式和公共极小多项式的一种算法.同时给出了这类矩阵逆矩阵的一种求法。     

多项式组的特征分解

任一多项式理想的特征对是指由该理想的约化字典序Grobner基G和含于其中的极小三角列C构成的有序对(G,C).当C为正则列或正规列时,分别称特征对(G,C)为正则的或正规的.当G生成的理想与C的饱和理想相同时,称特征对(G,C)为强的.一组多项式的(强)正则或(强)正规特征分解是指将该多项式组分解为有限多个(强)正则或(强)正规特征对,使其满足特定的零点与理想关系.本文简要回顾各种三角分解及相应零点与理想分解的理论和方法,然后重点介绍(强)正则与(强)正规特征对和特征分解的性质,说明三角列、Ritt特征列和字典序Grobner基之间的内在关联,建立特征对的正则化定理以及正则、正规特征对的强化方法,进而给出两种基于字典序Grobner基计算、按伪整除关系分裂和构建、商除可除理想等策略的(强)正规与(强)正则特征分解算法.这两种算法计算所得的强正规与强正则特征对和特征分解都具有良好的性质,且能为输入多元多项式组的零点提供两种不同的表示.本文还给出示例和部分实验结果,用以说明特征分解方法及其实用性和有效性.     

多项式代数与半群代数中Groebner-基的关系

本文讨论了多项式代数的理想的Groebner-基与半群代数中Groebner-基的关系，并得到一个转换定理。     

准-Groebner基的计算

本文通过定义S－多项式，给出了系数环是整环的多项式中理想的准－Groebner基的一个算法，并据此给出了计算该理想极大无关变元组和维数的一种方法。     

S-多项式的新算法

GVW算法在Grbner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的"top-约化"来约化S-多项式,进而给出同时计算理想的Grbner基及理想合冲模的首项的Grbner基的一种新算法,并且得到了一些有趣的结果.     

二元二次多项式实分解的条件和应用

设二元二次多项式为f(x,刃二A护 ZB二,十c沪, ZDx ZE, F(*)并记11二次三项式的因式分解一样,可根据问题的特点,分别采用提公因式、处组分解、公式法、求根法等等.为便于应用,这里给出实分解的一般结果(具体推导由读者完成)./、 (一)在条件1o下. l)当AZ CZ笋0(不妨设A笋0)时,扮BCAB圣1一A 所谓f(x,功的实分解,是指f(x,功分解为两个实系数的二元一次式的积.在这方面,我们要研究的问题可归结为下面的三类: 1.f(x,刃在什么条件下可实分解?怎样分解? 2.若f(二,功的系数中含有一个未知参数,参数取何值时f(二,约可实分解?一 3.若f(二刀)的…     

棋盘游戏与有限域上多项式分解算法

将有限域F_2上多项式分解问题转化为一种对应的棋盘游戏,利用后者的性质设计了一个F_2上m+n-2次多项式f(x)分解为一个m-1次多项式与一个n-1次多项式的判断、分解算法,并对算法的复杂度进行了分析.算法的一个优势是,如果f(x)不能按要求分解,也可以找到一个与f(x)相近(这里指系数相异项较少)的多项式的分解.     

AN ALGORITHM FOR DECOMPOSING ZERO-DIMENSIONAL POLYNOMIAL IDEALS

本文给出了一种不使用线性变换和ｖ．ｄ．Ｗａｅｒｄｅｎ的指数方法的零维多项式理想准素分解的新方法     

关于多项式的因子分解的机械方法的注记

在Van der Waerden [1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作[2]的4.2中以如下形式重新叙述并证明了上述的定理: 设A是一个有么元素的整环,且已知有一机械方法可在有限步内将A中任意一数唯一分解成不可约因子(确定至A中可逆因子),则有一机械方法可在有限步内将A[x_1,     

零维理想的一般准素分解

本文对零维理想关于某个变元是否为正常位置进行讨论,给出零维理想关于某个变元是否为正常位置的等价条件,得到一种较容易的求零维理想准素分解的方法,对某些理想能较快地得到部分准素分支,更有利于对理想进行准素分解.     

零化多项式的一个应用

利用矩阵的零化多项式 ,给出计算标准基解矩阵 e At的一个公式 .利用向量关于矩阵的零化多项式 ,给出常系数齐次线性微分方程组初值问题的一个求解公式 .相应地 ,可以推出常系数齐次线性差分方程组在给定的初始条件下的一个求解公式 .     

模多项式理想无关变元组的判定

0引言 多项多理想的维数计算是计算机代数研究的重要问题之一，Heinz Kredel 等在[1]中提出了通过选取逆块序计算Grobner基的方法来计算模理想的无关变元组和多项式理想的维数。但由于逆场块序对Grobner基的计算影响很大、实际计算时难以实现，因此进一步探索多项式理想维数的计算方法是重要意义的。本文主要介绍作者在这方面的工作。     

多元整系数多项式因式分解的一种理论和算法

本文将ｔ（ｔ是大于２的整数）元整系数多项式看成为系数为ｔ－２元整系数多项式的二元多项式，建立了多元整系数多项式因式分解的一种新理论，进而得到了分解多元整系数多项式的一个有力的算法。     

关于一种相对域的素理想分解

主要讨论了代数域的扩张平稳之前与扩张平移之后的分解各间的关系问题,以及素理想分解问题,改进了文「３」的结果。