首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.  相似文献   

2.
周梦  Winkler F 《中国科学A辑》2008,38(8):913-929
通过引入广义单项式序把Gröbner基理论拓展到差分!-!微分模上, 构造和证明了差分!-!微分模上Gröbner基算法. 然后利用差分-微分模上的Gröbner基构造了线性差分-微分方程系的维数多项式算法.  相似文献   

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

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

5.
Gr?bner基算法是在计算机辅助设计和机器人学、信息安全等领域广泛应用的重要工具.文章在周梦和Winkler(2008)给出的差分-微分模上Gr?bner基算法和差分-微分维数多项式算法基础上,进一步研究了分别差分部分和微分部分的双变元维数多项式算法.在循环差分-微分模情形,构造和证明了利用差分-微分模上Gr?bner基计算双变元维数多项式的算法.  相似文献   

6.
主要运用Nevanlinna值分布理论,研究了一类关于超越亚纯函数的复差分-微分多项式的零点问题,推广了差分-微分多项式的一些结果.利用分析函数的零点与极点的方法,证明了n取一定值时,复差分-微分多项式取零点无穷多次,结果可被看作Hayman猜想的微分-差分形式.  相似文献   

7.
本对π凝聚环上多项式环的FGT维数做了讨论,给出了定理,R,R[x]是π-凝聚环,则当脚FGT-WD(R)≥1时FGT-WD(R[x])=FGT—WD(R) 1,当FGT—WD(R)=0时,FGT-WD(R).FGT—WD(R[x])中一为零另一个也为零.  相似文献   

8.
利用值分布理论,研究了一类Fermat型复微分-差分方程与复微分-差分方程组,得到有限级超越整函数解的存在条件与具体形式,推广改进了高凌云、刘凯、曾翠萍等人的结果.  相似文献   

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

10.
周洪涛 《数学杂志》2012,(4):681-685
本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.  相似文献   

11.
基于高小山,J.Van der Hoeven等人2009年提出的微分-差分(DD)特征列方法理论,针对微分-差分系统的一些特性,在原有理论方法的基础上进行改进与补充,对升列,导元,约化等概念重新定义.提出了一则新算法(Seesaw),用来对多项式系统中的变量的类重新确定,目的是为在比较升列序的过程中重新对变量排序,在实际计算中可以降低系统求解的难度.另外对DD-伪余算法也进行了改进.  相似文献   

12.
首次把有理同伦论中的同伦不变量-锥长度(cone length)引入到微分分次(简记为DG)同调代数中,定义了连通DG代数上DG模的锥长度.连通DG代数A的左(右)整体维数定义为所有DGA-模(Aop-模)的锥长度的上确界.在一些特殊情形下,发现连通.DG代数A的左(右)整体维数与H(A)的整体维数有着密切的关系.任意一个连通分次代数,如果将它视为微分为O的连通DG代数,其左(右)整体维数与其作为连通分次代数的整体维数是一致的.因此该定义是连通分次代数整体维数的一种推广形式.证明A的整体维数足三角范畴D(A)以及Dc(A)的维数的一个上界.当A是正则DG代数时,给出了A的左(右)整体维数的一个有限上界.  相似文献   

13.
引进了相对于一个双模ω的ω-k-挠自由模,用左addR ω-逼近刻画了ω-k-挠自由模. 引进了ω-左逼近维数,描述了是k-挠自由模的k-合冲模的形式.  相似文献   

14.
郑立景 《数学进展》2014,(4):512-520
设k是代数闭域,∧是k上基本有限维连通Koszul自入射代数.本文首先证明:如果∧满足有限生成(FG)假设,那么存在∧的k-代数自同构σ0使得关于∧-双模D∧^(σ0)的扭平凡扩张T(∧^(σ0))=∧×D∧^(σ0)亦满足FG假设.由此得到,在∧满足FG假设的条件下,(1)T(A^(σ0))的表示维数大于等于∧的复杂度加2;(2)设G是∧的k-代数自同构群Aut_k(∧)的有限子群,且其阶在∧中可逆.如果对于任意的g∈G都有σ0g=gσ0,那么斜群代数∧*G的扭平凡扩张代数T((∧*G)^(σ0))的表示维数大于等于∧的复杂度加2.  相似文献   

15.
中心扩张问题在Leibniz代数的研究中起着非常重要的作用,因此有许多文章研究各种各样Leibniz代数的中心扩张问题.在这篇文章里,我们确定了微分算子Lie代数上的所有一维Leibniz中心扩张.  相似文献   

16.
众所周知Gr\"obner基在很多领域都有着十分重要的应用.近些年来Gr\"obner基算法有了很大的改进,其中最著名的是Faug\`ere提出的F4和F5算法. 这两个算法具有很高的效率但通常需要消耗大量的内存.鉴于此,将给出一个布尔环上基于zdd数据结构的分支Gr\"obner基算法,该算法不仅可以大大降低对内存的消耗,还能有效的控制矩阵规模,从而提高算法的整体效率.详细阐述并证明了算法的基本理论,介绍该分支算法的数据结构及分支策略.最后通过实验数据可以发现,在很多例子中此算法都要优于Magma中的F4算法.  相似文献   

17.
黄兆泳 《中国科学A辑》2000,30(4):317-324
证明了与一个余倾斜双模左正交的有限生成模范畴是函子有限的 .引进了左正交维数 ,给出了自正交模具有有限内射维数的一个充要条件和余倾斜模的一个刻画  相似文献   

18.
作者研究了有限级超越整函数的差分多项式和微-差分多项式的零点分布,在一定条件下得到了这些多项式的零点收敛指数的精确估计.所得结果可视为Hayman关于Picard例外值的经典结果的(微-)差分模拟.  相似文献   

19.
标准分层代数是拟遗传代数的推广,其性质和理论意义受到人们的重视.在本文中,设A是域k上的标准分层代数,我们从特征模的角度,对A的多项式代数A[x]上的滤链维数进行了研究,得到了一些有意义的结果.  相似文献   

20.
在本文中,我们研究了标准分层代数的Δ-好模滤链维数与它的多项式代数的Δ[x]-好模滤链维数,并得到了一些有趣的结果.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号