×
哈里森·蔡；乌里·沃尔特

计算完整\（D\）-模之间的同态。 （英语） Zbl 1010.16023号

J.塞姆。计算。 32，第6号，597-617（2001）.
摘要：设（K\substeq\mathbb{C}）是复数的一个子域，设（D\）是（R=K[x_1，dots，x_n]\）上的（K\）-线性微分算子的环。如果（M）和（N）是完整的左（D）模，我们提出了一个算法来计算有限维向量空间的显式生成元{喇叭}_D（M，N）\）。这使我们能够从算法上回答两个给定的完整模块是否同构。更一般地说，我们的算法可以用于获取\（\text的显式生成器{分机}_D^i（M，N）代表Yoneda意义上的任何（i）。

引用于7文件

MSC公司：

16平方米 微分算子环（结合代数方面）
16E30型 结合代数中模（Tor、Ext等）上的同调函子
2016年05月 结合环的计算方面（一般理论）
68瓦30 符号计算和代数计算

关键词：

微分算子环；完整模块；算法；显式生成器

软件：

D模块；麦考利2
PDF格式BibTeX公司 XML格式引用
\textit{H.Tsai}和\textit{U.Walther}，J.Symb。计算。32，第6号，597--617（2001；Zbl 1010.16023）
全文： 内政部 arXiv公司

参考文献：

[1] Björk，J.，微分算子环（1979），北荷兰：北荷兰阿姆斯特丹·Zbl 0499.13009号
[2] 考克斯·D。；Little，J。；O'Shea，D.，《使用代数几何》（1998），Springer Verlag:Springer Verlag纽约·Zbl 0920.13026号
[3] Eberly，W.，（R）和（C）上代数的分解，计算。复杂性，1211-234（1991）·Zbl 0774.68069号
[4] Friedl，K。；Ronyai，L.，计算代数中一些问题的多项式时间解，《第17届学报》。计算理论，153-162（1985）
[5] D.Grayson，M.Stillman，1999，Macaulay 2:代数几何的计算机代数系统，0.8.56版，http://www.math.uiuc.edu/Macaulay2网站; D.Grayson，M.Stillman，1999，Macaulay 2:代数几何的计算机代数系统，0.8.56版，http://www.math.uiuc.edu/Macaulay2网站
[6] Kashiwara，M.，《关于线性偏微分方程的完整系统II》，《发明家数学》，49，121-135（1978）·Zbl 0401.32005年
[7] Lam，T.Y.，非交换环理论第一课程（1991），Springer Verlag:Springer Verlag纽约·Zbl 0728.16001号
[8] A.Leykin，H.Tsai，2000，麦考利2号模块包，网址：http://www.math.umn.edu/莱金；A.Leykin，H.Tsai，2000，Macaulay 2的（D）模块包，网址：http://www.math.umn.edu/莱金
[9] Oaku，T.，《（b）-函数、限制和（D）-模的代数局部上同调群的算法》，高级应用。数学。，19, 61-105 (1997) ·Zbl 0938.32005号
[10] 奥库，T。；Takayama，N.，《D模限制、张量积、局部化和代数局部上同调群的算法》，J.Pure Appl。代数，156267-308（2001）·Zbl 0983.13008号
[11] 奥库，T。；Takayama，N.，通过（D）-模计算计算仿射簇补集的de Rham上同调群的算法，J.Pure Appl。代数，139201-233（1999）·Zbl 0960.14008号
[12] 奥库，T。；北高山。；蔡，H.，完整系统的多项式和有理解，J.Pure Appl。代数（2001年出版）
[13] 齐藤，M。；Sturmfels，B。；Takayama，N.，Gröbner变形超几何微分方程（1999），Springer Verlag:Springer Verlag Berlin
[14] Walther，U.，局部上同调模的算法计算和代数簇的局部上同态维数，J.Pure Appl。代数，139303-321（1999）·Zbl 0960.14003号
[15] Walther，U.，复杂仿射变种补码的de-Rham上同调的算法计算，J.Symb。计算。，29, 795-839 (2000) ·兹伯利0979.14011
[16] Walther，U.，《通过微分形式确定复杂变种的有理上同调的算法》，J.Pure Appl。代数（2001年出版）
[17] Weibel，C.，《同调代数导论》（1994），剑桥大学出版社：剑桥大学出版社·Zbl 0797.18001号
[18] Weyl，H.，《古典团体》（1939），普林斯顿大学出版社·JFM 65.0058.02号
[19] Yano，T.，《关于（b）函数理论》，Publ。RIMS京都大学，14，111-202（1978）·Zbl 0389.32005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。