PROPERTIES OF GR（O）BNER BASIS OVER A NOETHERIAN VALUATION RING

本文主要研究了诺特赋值环上多项式理想的Gr(o)bner基的性质.利用Buchberger算法,证明了约化Gr(o)bner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Gr(o)bner基和约化Gr(o)bner基的概念.同时,我们给出了求极小Gr(o)bner基和约化Gr(o)bner基的算法.     

分区参数Gr(o)bner基的计算

对于含参数的多项式理想,提出了分区参数Gr(o)bner基的概念,并且给出了一个计算分区参数Gr(o)bner基的算法,证明了该算法的正确性和终止性.     

差分-微分模上多个序的Gr(o)bner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler (2008)所得结果,也推进了Levin (2007)所得结果.     

S-多项式的新算法

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

Toric理想IAd的Gr(o)bner基

给出Toric环、Toric理想的概念,利用已知的Gr(o)bner基求配置矩阵A的Toric理想IA的Gr(o)bner基.特别对一类无法用计算机计算其Gr(o)bner基的理想IAd,给出了它的Gr(o)bner基的具体形式并通过实例验证其结论.     

诺特赋值环上Grbner基的性质

本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.     

齐次对称多项式的半正定性

给出了某些齐次对称多项式半正定的充分必要条件,并举例说明其应用.     

二项式斜多项式环的Grbner基

对于二次代数A=k〈X〉/(■),当关系■满足某种对称关系时,代数A是ArtinSchelter正则PBW代数,进一步,存在X上的一种重排,使得A是二项式斜多项式环.     

多元多项式齐次方程组的一个解法

本文对多元多项式齐次方程组给出一种解法，并给出其解子模的基所含向量的个数在最坏情况时的下界。     

分区参数Grbner基的计算

对于含参数的多项式理想,提出了分区参数Grbner基的概念,并且给出了一个计算分区参数Grbner基的算法,证明了该算法的正确性和终止性.     

线性齐次偏微分方程组的既约化基

本文参照代数Grobner基的思想,提出线性齐次偏微分方程组的既约化基的概念, 并给出了线性齐次偏微分方程组的既约化基的唯一性定理.     

W-Gröbner basis and monomial ideals under polynomial composition

The notion of weakly relatively prime and W-Gröbner basis in K[x ₁, x ₂, …, x _n ] are given. The following results are obtained: for polynomials f ₁, f ₂, …, f _m , \(\{ f_1^{\lambda _1 } ,f_2^{\lambda _2 } ,...,f_m^{\lambda _m } \} \) is a Gröbner basis if and only if f ₁, f ₂, …, f _m are pairwise weakly relatively prime with λ ₁, λ ₂, …, λ _m arbitrary non-negative integers; polynomial composition by Θ = (θ ₁, θ ₂, …, θ _n ) commutes with monomial-Gröbner bases computation if and only if θ ₁, θ ₂, …, θ _m are pairwise weakly relatively prime.     

多项式组的特征分解

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

基于吴方法判断代数集上多项式自同态是否为同构

给出仿射代数集上多项式自同态为同构的Ｇｒｏｂｎｅｒ基准则,井利用Ｗｕ－Ｒｉｔｔ算法进行了计算,同时给出一些具体例子．     

The decision of prime and primary ideal

We give more efficient criteria to characterise prime ideal or primary ideal. Further, we obtain the necessary and sufficient conditions that an ideal is prime or primary in real field from the Gröbner bases directly.     

The quantum general linear supergroup,canonical bases and Kazhdan-Lusztig polynomials

Canonical bases of the tensor powers of the natural -module V are constructed by adapting the work of Frenkel, Khovanov and Kirrilov to the quantum supergroup setting. This result is generalized in several directions. We first construct the canonical bases of the ℤ₂-graded symmetric algebra of V and tensor powers of this superalgebra; then construct canonical bases for the superalgebra O _q (M _m|n ) of a quantum (m,n) × (m,n)-supermatrix; and finally deduce from the latter result the canonical basis of every irreducible tensor module for by applying a quantum analogue of the Borel-Weil construction. This work was supported by National Natural Science Foundation of China (Grant No. 10471070)     

B-Stability of the Maximal Term of the Hadamard Composition of Two Dirichlet Series

We establish a criterion for the logarithm of the maximal term of a Dirichlet series whose absolute convergence domain is a half-plane to be equivalent to the logarithm of the maximal term of its Hadamard composition with another Dirichlet series of some class on the asymptotic set.     

双生成元$A_n$型拟遗传代数的拟遗传序

本文讨论双生成元$A_n$型代数的拟遗传序的性质,给出了该类代数的单模序是拟遗传序的充分必要条件,并利用组合技巧得出了该类代数拟遗传序的数目.