具有Grobner基理论的商代数

给出了商代数具有诱导Grobner基理论的充要条件,从而部分地回答了Green提出的公开问题,该问题是:已知一个箭图Γ,对于kΓ中的理想I,I的什么性质是k-代数kΓ/I具有Grbner基理论的充分必要条件.     

简单剖分上的多元样条理想Gr(o)bner基

多项式理想的Gr(o)bner基理论及其算法作为计算代数的重要内容,在多项式系统的求解以及极限环构造方面也有着广泛的应用.通过引用多项式理想Gr(o)bner基的一些基本理论,给出了只有两个胞腔的多元样条理想的Gr(o)bner基及约化Gr(o)bner基的定义,并给出构造Gr(o)bner基的相应算法,然后用实例说明算法的可行性.最后,对更复杂的多个胞腔的情形进行了初步讨论,提出了需要进一步解决的一些问题.     

可解多项式代数上的泛左Grbner基

设I是可解多项式代数A=K[a_1,…,a_n]的一个非零左理想,由可解多项式代数上的左Grbner基性质,可知A中任何一个左理想对于一个单项式序的左Grbner基不一定满足另一个单项式序.首先证明了在B上的任意2个单项式序1,2下,g={g1,g2,…,gt}是I在1下的左Grbner基,若LM1(gi)=LM2(gi),1≤i≤t,那么g={g1,g2,…,gt}也是I在2下的左Grbner基;其次证明了I在A上的所有单项式序(可能无限个)下只有有限个约化左Grbner基;最后证明了A中的一个子集F,对于其上的任何一个单项式序,都是I的左Grbner基,子集F就是A的泛左Grbner基.     

Z[α][x_1,…,x_n]中理想的Grbner基在Z上的计算

设α∈C是一个代数整数,Z[α]是Z的单代数扩张环,A=Z[α][x1,…,xn]是Z[α]上的n元多项式环,A=Z[t,x1,…,xn]是Z上n+1元多项式环.本文证明,A的一个由q个元素{f1,…,fq}生成的理想I的Grbner基的计算可转化为^A的一个由q+1个元素{f1,…,fq,p(t)}生成的理想I的Grbner基的计算,并给出具体的转换计算方法.此外,作者利用计算机代数系统Macaulay2给出了使用这一方法的计算实例.     

无限可数个变元多项式环上的动态Gr(o)bner基

将域上无限可数个变元的多项式环的理想的Gr(o)bner基理论推广到动态Gr(o)bner基上,并讨论了动态既约Gr(o)bner基的一个重要性质.     

Z［α］［x1,…,xn］中理想的Grobner基在Z上的计算

设α∈C是一个代数整数,Z［α］ 是 Z的单代数扩张环,A=Z［α］［x1,…,xn］是 Z［α］上的n元多项式环,AA^U=Z［t,x1,…,xn］是Z上n+1元多项式环.本文证明, A的一个由q个元素{f1,…,fq}生成的理想I的 Grbner基的计算可转化为AA^U的一个由q+1个元素{Af^G1,…,Af^Gq,p(t)} 生成的理想AI^U的Grbner基的计算, 并给出具体的转换计算方法.此外,作者利用计算机代数系统Macaulay2给出了使用这一方法的计算实例.     

具有SM-基代数的右Groebner基理论

讨论了一类具有SM-基(Skew Multiplicative K-basis)代数的Groebner基理论,进一步探讨了这类代数模的右Groebner基理论.     

K(■)上可解多项式代数中左Grbner基的计算

给定域K的单代数扩域K(■)上可解多项式代数A=K(■)[a1,…,an],设A的子代数A0=K[a1,…,an]是K上可解多项式代数.通过考察A与多项式代数A0[x]之间的结构关系,给出将A中左Grbner基的计算转换为A0[x]中左Grbner基计算的有效方法.     

（s，M）-投射模

引入了(s,M)-投射模的概念.设M是任意一个固定的右R-模,称右R-模P是(s,M)-投射模,如果对任意的多余满同态g:M→N,从P到N的任意同态都能提升到M.给出了(s,M)-投射模的一些性质和刻画.     

关于n-余挠模

设 R 为环,M 为右 R 模,n是一个给定的非负整数.若对任意平坦右R模 N 都有Ext n 1 R (N, M) = 0则称M 为 n-余挠模.若对任意n-余挠右R-模 N都有 Ext1R(M, N) = 0则称M为n-平坦模.本文给出了n-余挠模与n-平坦模的一些性质.     

关于序Γ-半群中的序拟Γ-理想

给出了序Γ-半群中的序拟Γ-理想的若干性质,所得结论推广了R.Chinram所给出的若干结果.     

格序模f-张量积函子的正合性与平坦格序模

本文证明了如下结果:设M是有单位元可换格序环R上的格序模和l-模同态范畴,F是R上的f-模和l-模同态范畴,M∈M,则F=M(?)()是M 到F 的共变函子,进而是右正合函子.设R 是有单位元的可换全序环,视R 为自身上的格序模,则R 是平坦的.     

有序流水作业时间表问题是NP—困难的

讨论两台机器上的有序流水作业时间表问题，证明两台机器上的有序流水作业时间表问题是ＮＰ－困难的。     

关于交换准素序半群

用序半群的理想理论研究交换准素序半群的构造。得到了交换准素序半群的若干性质。     

正规序半群的刻画

给出了正规序半群和正规正则序半群的若干刻画.所得结论推广了N.K.Funabashi给出的一些结果.     

格序群的l－子群

本文讨论了格序群的大ｌ－子群与稠ｌ－子群的若干关系．     

格序群的同构

研究了ｌ－群的同构关系，将群论中的同构定理，推广到格序群，同时研究了格群的主凸ｌ－子群的结构。     

无环的本原反对称带号有向图的局部基与基指数

研究了n阶无环的本原反对称带号有向图S的局部基lS(k),得到了lS(k)≤max{n+l-1,n+k-1}(l为S中最小奇圈的长),给出了k≥l时lS(k)=n+k-1的一个极图,因此证明了n阶无环的本原反对称带号有向图S的基指数l(S)≤2n-1,给出了达到上界的极图.     

关于拟交换弱准素序半群

定义了拟交换序半群和弱准素序半群，给出了拟交换序半群中弱准素序半群以及其所有理想是素理想的拟交换序半群的刻划．所得主要结果是K．Frantisek所给结果在序半群中的推广．