安东·莱金 Stafford两个定理的算法证明。 （英文） Zbl 1130.16304号 J.塞姆。计算。 38，第6期，1535-1550（2004）. 总结：Stafford的两个经典结果表明，第（n）个Weyl代数（A_n）的每一个（左）理想都可以由两个元素生成，而每个完整的模都是循环的，即由一个元素生成。我们修改了斯塔福德的原始证明，使这些生成器的算法计算成为可能。 引用于1审查引用于8文件 MSC公司： 16平方米 微分算子环（结合代数方面） 2016年05月 结合环的计算方面（一般理论） 关键词：Weyl代数;\（D\）-模块;Gröbner碱;最小发电量 软件：麦考莱2;D模块 PDF格式BibTeX公司 XML格式引用 \textit{A.Leykin}，J.Symb。计算。38，编号61535-1550（2005年；兹bl 1130.16304） 全文： 内政部 arXiv公司 参考文献： [1] Björk，J.-E.，微分算子环，（North-Holland数学图书馆，第21卷（1979年），North-Hulland出版公司：North-Helland出版公司，阿姆斯特丹，纽约）·Zbl 0198.35903号 [2] J·布赖恩松。；Maisonobe博士，《不同致病性细菌的致病性》，Enseign。数学。(2), 30, 1-2, 7-38 (1984) ·Zbl 0542.14008号 [3] 格雷森，D。；Stillman，M.，计算机代数系统Macaulay 2 [4] Hillebrand，A。；Schmale，W.，《走向斯塔福德定理的有效版本》。微分算子环中的有效方法，J.符号计算。，32, 6, 699-716 (2001) ·Zbl 1015.16030号 [5] Stafford，J.T.，Weyl代数的模结构，J.London Math。Soc.（2），18，3，429-442（1978）·兹伯利0394.16001 [6] Walther，U.，局部上同调模的算法计算和代数簇的局部上同态维数，J.Pure Appl。代数，139，1-3，303-321（1999）·Zbl 0960.14003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。