乔塞·戈梅斯·托雷西拉斯 具有算子代数计算方面的非交换环上的基本模理论。 （英文） 兹比尔1375.16001 Barkatou，Moulay（编辑）等人，微分和积分算子的代数和算法方面。2012年6月25日至28日，在保加利亚索非亚举行的2012年ACA计算机代数应用会议上，举行了2012年第五届国际会议AADIOS。精选论文和特邀论文。柏林：施普林格出版社（ISBN 978-3-642-54478-1/pbk）。计算机科学课堂讲稿8372，23-82（2014）。 摘要：本文综述了基本模理论与算子代数计算方面相互作用的一些相关情况和结果。我们试图在构造方面和代数方面之间保持平衡。关于整个系列，请参见[Zbl 1283.68027号]. 引用于12文件 MSC公司： 16-02 关于结合环和代数的研究综述（专著、调查文章） 第16页第36页 普通和斜多项式环和半群环 2016年05月 结合环的计算方面（一般理论） 47-02 与算子理论相关的研究综述（专著、调查文章） 关键词：非交换环;有限呈现模块;自由分辨率;矿石延伸;非交换因子分解;本征环;雅各布森范式;PBW环;PBW代数;Gröbner基;滤环;Gelfand-Kirillov维数;等级编号 软件：NCPOLY公司;矿石形态 PDF格式BibTeX公司 XML格式引用 \textit{J.Gómez-Terrecillas}，莱克特。票据计算。科学。8372，23--82（2014；Zbl 1375.16001） 全文： DOI程序 arXiv公司 参考文献： [1] Abramov，S.A.，Le，H.Q.，Li，Z.：Oretools:一元Ore多项式环的计算机代数库。技术报告，技术报告CS-2003-12。滑铁卢大学（2003） [2] 亚当斯，W。；Loustaauna，P.，Gröbner基地简介（1994），普罗维登斯：AMS，普罗维登斯·Zbl 0803.13015号 [3] 安德森，F.W。；Fuller，K.R.，Rings and categories of modules（1992），纽约：Springer，纽约·Zbl 0765.16001号 ·doi:10.1007/978-1-4612-4418-9 [4] 安德烈斯，D。；布里肯斯坦，M。；列万多夫斯基，V。；马丁·莫拉莱斯，J。；Schönemann，H.，《奇异的构造D-模理论》，数学。计算。科学。，4, 2-3, 359-383 (2010) ·Zbl 1217.13011号 ·数字对象标识代码：10.1007/s11786-010-0058-x [5] Apel，J.，理想的Gröbner基与G-代数向量模之间的关系，当代数学，21，pt-2，195-204（1992）·Zbl 0763.68045号 [6] Apel，J.，Klaus，U.：FELIX，用于计算交换和非交换环和模的特殊计算机代数系统（1998），http://felix.hgb-leipzig.de/ [7] 阿佩尔，J。；Lassner，W.，《李代数包络域中Buchberger算法和计算的扩展》，J.符号计算。，6, 361-370 (1988) ·Zbl 0663.68044号 ·doi:10.1016/S0747-7171（88）80053-1 [8] Apel，J.，Melenk，H.：REDUCE包NCPOLY：非交换多项式理想中的计算，Konrad-Zuse-Zentrum Berlin，ZIB（1994）（预印本） [9] Barakat，M。；Robertz，D.，Homalg:同调代数的元包，J.代数应用。，7, 299-317 (2008) ·Zbl 1151.13306号 ·doi:10.1142/S0219498808002813 [10] Barkatou，M.：矩阵差分方程的有理解。等价和因式分解问题。摘自：《1999年国际社会科学院院刊》，第277-282页。ACM出版社（1999） [11] Barkatou，医学硕士。；科齐里亚斯，I。；Zima，E.，使用特征环的线性函数方程分解系统。符号算法的最新进展，Proc。滑铁卢研讨会，22-42（2007），安大略：安大略世界科学 [12] Barkatou，M.A.，Cluzeau，T.，El Bacha，C.，Weil，J.-A.：计算可积联系的闭式解。载：《符号与代数计算国际研讨会论文集》（ISSAC 2012），第43-50页。ACM出版社（2012），网址：http://www.ensil.unilim.fr/cluzeau/PDS.html·Zbl 1323.68580号 [13] Barkatou，P.A.，Pflügel，E.：线性微分系统的等价问题及其在分解完全可约系统中的应用。摘自：《1998年国际社会科学院院刊》，第268-275页。ACM出版社（1998）·Zbl 0928.65082号 [14] Barkatou，M.A.，Pflügel，E.：ISOLDE包。SourceForge开源项目（2006），http://isolde.sourceforge.net [15] Becker，T.，Weispfenning，V.：Gröbner碱。交换代数的计算方法。斯普林格（1993）·Zbl 0772.13010号 [16] 贝克曼，B。；Cheng，H。；拉巴恩，G.，《Ore多项式矩阵的无分数行约简》，J.符号计算。，41, 513-543 (2006) ·Zbl 1151.16025号 ·doi:10.1016/j.jsc.2005.10.002 [17] Bergman，G.，环理论的钻石引理，高等数学。，29, 178-218 (1978) ·Zbl 0326.16019号 ·doi:10.1016/0001-8708（78）90010-5 [18] Björk，J.E.，微分算子环，数学图书馆，21（1979），阿姆斯特丹：荷兰北部·Zbl 0499.13009号 [19] 比约克，J.-E。；Malliavin，M.-P.，《诺特环上的澳大利亚人条件》，Séminaire d’Algèbre Paul Dubreil et Marie-Paul Malliavin39ème Anneée（巴黎，1987/1988），137-173（1989），纽约：Springer，纽约·Zbl 0696.16006号 ·doi:10.1007/BFb0084075 [20] Blinkov，Y.A.，Cid，C.F.，Gerdt，V.P.，Plesken，W.，Robertz，D.：MAPLE包“Janet”：二。线性偏微分方程。摘自：第六届科学计算中的计算机代数国际研讨会论文集，第41-54页（2003年），http://wwwb.math.rwth-aachen.de/Janet [21] Bronstein，M。；Petkovšek，M.，《伪线性代数导论》，理论。计算。科学。，157, 3-33 (1996) ·兹比尔0868.34004 ·doi:10.1016/0304-3975（95）00173-5 [22] Bueso，J.L.，Castro，F.J.，Gómez-Terrecillas，J.，Lobillo，F.J.:量子群中有效微积分简介。摘自：Caenepeel，S.，Verschoren，A.（编辑）Hopf代数和Brauer群，第55-83页。马塞尔·德克尔（1998）·Zbl 0898.17007号 [23] Bueso，J.L。；卡斯特罗，F.J。；Gómez-Terrecillas，J。；Lobillo，F.J.，迭代矿石扩展中的素数检验，《公共代数》，291357-1371（2001）·Zbl 0991.16023号 ·doi:10.1081/AGB-100001690 [24] Bueso，J.L。；卡斯特罗，F.J。；Jara，P.，Gelfand-Kirillov维数的有效计算，Proc。爱丁堡数学。《社会学杂志》，40，111-117（1997）·Zbl 0879.16010号 ·doi:10.1017/S0013091500023476 [25] Bueso，J.L。；Gómez-Terrecillas，J。；Lobillo，F.J.，PBW模块中的同调计算，Alg。再现理论，4201-218（2001）·Zbl 1054.16040号 ·doi:10.1023/A:1011455831400 [26] Bueso，J.L。；Gómez-Terrecillas，J。；Lobillo，F.J。；Granja，A。；赫米达·J·A。；Verschoren，A.，计算Gelfand-Kirillov维数，II，环理论和代数几何，33-57（2001），纽约：Marcel Dekker，纽约·Zbl 0985.16015号 [27] Bueso，J.L。；Gómez-Terrecillas，J。；Lobillo，F.J.，《Gelfand-Kirillov维度的重新过滤和精确性》，公牛。科学。数学。，125, 689-715 (2001) ·Zbl 1006.16023号 ·doi:10.1016/S0007-4497（01）01090-9 [28] Bueso，J.L。；Gómez-Terrecillas，J。；Verschoren，A.，《非交换代数中的算法方法》。量子群应用（2003），多德雷赫特：Kluwer学术出版社，多德雷赫特·兹比尔1063.16054 ·doi:10.1007/978-94-017-0285-0 [29] Caruso，X.，Le Borgne，J.：有限域上斜多项式的一些算法，http://arxiv.org/abs/1212.3582 ·Zbl 1373.16046号 [30] 卡斯特罗（F.J.Castro）：《多样性的运算与计算》（Théorème de division pour les operators differentielles et calcul des multiplites es）。巴黎第七大学第三周期（1984年） [31] Cha，Y.：包tausqsols，求解器，Hom（2012），https://sites.google.com/site/yongjaecha/code网站 [32] 丘吉尔，R.C。；Kovacic，J.J.，《循环向量》，《微分代数及相关主题论文集》，191-218（2002），《河边：世界科学》。出版物。，River Edge公司·Zbl 1087.13512号 ·数字对象标识代码：10.1142/9789812778437_0007 [33] Chyzak，F.等人。；Quadrat博士。；Robertz，D.，Ore代数上线性控制系统参数化的有效算法，应用。代数工程通信计算。，16, 319-376 (2005) ·Zbl 1109.93018号 ·doi:10.1007/s00200-005-0188-6 [34] Chyzak，F.，Quadrat，A.，Robertz，D.：OreModules：多维线性系统研究的符号包。收录人：Chiasson，J.，Loiseau，J.J.（编辑）Appl。延时系统。LNCIS，第352卷，第233-264页。斯普林格，海德堡（2007），http://wwwb.math.rwth-aachen.de/Ore模块 ·Zbl 1248.93006号 [35] Chyzak，F。；Salvy，B.，《Ore代数中的非交换消去证明多元恒等式》，J.符号计算。，26, 187-227 (1998) ·Zbl 0944.05006号 ·doi:10.1006/jsco.1998.0207 [36] 克鲁索，T。；Quadrat，A.，一类线性函数系统的因子分解，线性代数应用。，428, 324-381 (2008) ·Zbl 1131.15011号 ·doi:10.1016/j.laa.2007.07.008 [37] Cluzeau，T.，Quadrat，A.：OreMorphisms:分解线性函数系统的同调代数包。收录：Loiseau，J.J.、Michiels，W.、Niculescu，S.-I、Sipahi，R.（编辑）《时滞系统主题》。LNCIS，第388卷，第179-194页。斯普林格，海德堡（2009） [38] 科恩，P.M.：自由环及其关系。伦敦学术出版社（1971）·Zbl 0232.16003号 [39] Davies，P.，Cheng，H.，Labahn，G.：计算一般Ore多项式矩阵的Popov形式。摘自：《计算机代数里程碑会议论文集》，第149-156页（2008），网址：http://www.cs.uleth.ca/程/软件/ [40] Dixmier，J.：包络代数。荷兰北部，阿姆斯特丹（1977年）·Zbl 0346.17010号 [41] Foldenauer，A.C.：双模的Gröbner基及其应用：无中心Ore扩张中的Jacobson范式和G-代数中双模的Gröbner基理论。亚琛大学文凭论文（2012年） [42] Galligo，A.：基本标准计算算法（1983）（预印本） [43] Gerdt，V.P。；Robertz，D.，用于计算线性递归关系Gröbner基的Maple包，物理研究A部分的核仪器和方法，559，215-219（2006）·doi:10.1016/j.nima.2005.11.171 [44] Giesbrecht，M.，有限域上斜多项式环的因子分解，J.符号计算。，26, 463-486 (1998) ·Zbl 0941.68160号 ·doi:10.1006/jsco.1998.0224 [45] 吉斯布雷希特，M。；海因勒，A。；Gerdt，V.P。；科普夫，W。；Mayr，E.W。；Vorozhtsov，E.V.，Ore多项式矩阵雅可布森形式的多项式时间算法，科学计算中的计算机代数，117-128（2012），海德堡：斯普林格·Zbl 1416.65115号 ·doi:10.1007/978-3642-32973-9_10 [46] Giesbrecht，M.，Zhang，Y.：分解和分解\（\mathbb上的矿石多项式{F} q（_q）（t） \）。2003年符号和代数计算国际研讨会论文集（ISSAC 2003），第127-134页。ACM出版社（2003）·Zbl 1072.68670号 [47] 胶凝-Luerssen，H。；Schmale，W.，《循环卷积码》，《应用学报》。数学。，82, 183-237 (2004) ·Zbl 1065.94019号 ·doi:10.1023/B:ACAP.000027534.61242.09 [48] Gómez-Torrecillas，J.，多滤代数的Gelfand-Kirillov维数，Proc。爱丁堡数学。《社会学杂志》，52，155-168（1999）·兹布尔0931.16012 ·doi:10.1017/S001309150002083 [49] Gómez-Torrecillas，J.，《正规化法律》（Regularidad de lasálgebras envolventes cuantizadas），《马特马提科斯·安达卢斯学报》（Actas del Encuntro de Matemáticos Andaluces），第2493-500页（2001年） [50] Gómez-Terrecillas，J。；Lenagan，T.H.，《多滤代数和分离性的Poincaré级数》，J.London Math。《社会学杂志》，62370-380（2000）·Zbl 1039.16020号 ·doi:10.1112/S0024610700001083 [51] Gómez-Terrecillas，J。；Lobillo，F.J.，Auslander正则和Cohen Macaulay量子群，代数再现理论，7，35-42（2004）·兹伯利1079.16033 ·doi:10.1023/B:ALGE.0000019384.36800.fa [52] Gómez-Terrecillas，J.，Lobillo，F.J.，Navarro，G.：计算Ore多项式的界。因子分解应用，http://arxiv.org/abs/1307.5529 ·Zbl 1461.16030号 [53] Grayson，D.，Stillman，M.:Macaulay 2，代数几何研究软件系统（2013），http://www.math.uiuc.edu/Macaulay2网站 [54] Greuel，G.-M.，Levandovskyy，V.，Motsak，O.，Schönemann，H.：复数。使用非交换多项式代数进行计算的奇异3.1子系统。计算机代数中心，TU Kaiserslautern（2010），http://www.singular.uni-kl.de [55] Greuel，G.-M.，Motsak，O.，Schönemann，H.：单数：SCA。使用分级交换代数进行计算的奇异3.1子系统（2011），http://www.singular.uni-kl.de [56] 格里戈里耶夫，D。；Schwarz，F.，分解和求解线性偏微分方程，计算，73179-197（2004）·Zbl 1052.35008号 [57] Hazewinkel，M。；Gubareni，N。；基里琴科，V.V.，《代数、环和模》（2004），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 1086.16001号 [58] Heinle，A.，Levandovskyy，V.：ncfactor.lib。A Singular 3.1 A library for factorization in some non-communicate algebras（2013），一些非交换代数的因式分解库，http://www.singular.uni-kl.de [59] P.J.希尔顿。；美国斯坦姆巴赫，同调代数课程（1971），纽约：施普林格，纽约·Zbl 0238.18006号 ·doi:10.1007/978-1-4684-9936-0 [60] 雅各布森，N.，《指环理论》（1943），普罗维登斯：AMS，普罗维登斯·兹比尔0060.07302 ·doi:10.1090/surv/002 [61] 雅各布森，N.，《基础代数》。II（1980），旧金山：W.H.Freeman and Co.，旧金山·Zbl 0441.16001号 [62] Jacobson，N.，域上的有限维除代数（1996），纽约：Springer，纽约·Zbl 0874.16002号 ·doi:10.1007/978-3-642-02429-0 [63] Kandri-Rody，A。；魏斯芬宁，V.，可解型代数中的非交换Gröbner基，J.Symb。公司。，6231-248（1990年）·Zbl 0715.16010号 [64] Kauers，M.、Jaroschek，M.和Johansson，F.：Sage中的矿石多项式（2013），http://arxiv.org/abs/1306.4263 ·Zbl 1439.16049号 [65] Koutschan，C.：全息函数（用户指南）。技术报告，RISC报告系列第10-01号技术报告，奥地利林茨大学（2010年），http://www.risc.jku.at/research/combinet/software/ergosum/risc/HolonomicFunctions.html [66] Krause，G.R.，Lenagan，T.H.：代数和Gelfand-Kirillov维数的增长，修订版。A.M.S，罗德岛州（2000年）·Zbl 0957.16001号 [67] Kredel，H.：可解多项式环。Verlag Shaker，亚琛（1993）·Zbl 0790.16027号 [68] Kredel，H.，Pesch，M.：MAS，模块-2代数系统（1998），http://krum.rz.uni-mannheim.de/mas.html [69] Lassner，W.：李代数包络域中Buchberger算法和计算的扩展。In：程序。欧洲1985，林茨1985。LNCS，第204卷，第99-115页（1985年） [70] Lejeune-Jalabert，M.：《多项式计算的有效性》（Effectivitédes calculs polynomiaux，Cours de D.E.A.，Grénoble大学，1984-1985） [71] Leroy，A.，《矿石延伸中的伪线性变换和评估》，布尔。贝尔格。数学。《社会学杂志》，第2期，第321-347页（1995年）·Zbl 0840.16023号 [72] Levandovskyy，V.：《多项式代数的非交换计算机代数：Gröbner基，应用与实现》，凯泽斯劳滕大学博士论文（2005），http://kluedo.ub.uni-kl.de/volltexte/2005/1883/ [73] 列万多夫斯基，V。；Iglesias，A。；Takayama，N.，PLURAL，SINGULAR:过去、现在和未来的非交换扩展，数学软件-ICMS 2006，144-157（2006），海德堡：斯普林格·Zbl 1229.16001号 ·doi:10.1007/11832225_13 [74] 列万多夫斯基，V。；Schindelar，K.，使用Gröbner基计算Ore域上对角形式矩阵的无分数算法，J.符号计算。，47, 1214-1232 (2012) ·Zbl 1245.65051号 ·doi:10.1016/j.jsc.2011.12.042 [75] 列万多夫斯基，V。；Schönemann，H.，PLURAL-非对易多项式代数的计算机代数系统，2003年符号和代数计算国际研讨会论文集，176-183（2003），纽约：ACM，纽约·兹比尔1072.68681 ·doi:10.1145/860854.860895 [76] O.勒扎马。；Gallego，C.，《σ-PBW扩展理想的Gröbner基》，《通信代数》，39，50-75（2011）·Zbl 1259.16053号 [77] Lezama，O.，Reyes，A.：斜PBW扩张的一些同调性质，http://arxiv.org/abs/1310.6639 ·Zbl 1297.16024号 [78] Lobillo，F.J.：《Métodos Algebraicos y Efectivos en Grupos Cuánticos》，特西斯博士，格拉纳达大学（1998） [79] Lorenz，M.：Gelfand-Kirillov维数和Poincaré级数，《代数7》，格拉纳达大学（1988）·Zbl 0662.16002号 [80] McConnell，J.C.，Robson，J.C.：非交换noetherian环。Wiley Interscience，纽约（1988） [81] 麦康奈尔，J.C。；Stafford，J.，Gelfand-Kirillov维数和相关分级模块，J.代数，125，197-214（1989）·Zbl 0688.16030号 ·doi:10.1016/0021-8693（89）90301-3 [82] Mora，T.，交换和非交换Gröbner基简介，理论。计算。科学。，134, 131-173 (1994) ·Zbl 0824.68056号 ·doi:10.1016/0304-3975（94）90283-6 [83] 莫拉·T。；Robbiano，L.，《理想的Gröbner粉丝》，J.符号计算。，6, 183-208 (1988) ·Zbl 0668.13017号 ·doi:10.1016/S0747-7171（88）80042-7 [84] Noro，M.，Shimoyama，T.，Takeshima，T.:Risa/Asir，一个开源通用计算机代数系统（2012），http://www.math.kobe-u.ac.jp/Asir网站 [85] 矿石，Ø。，非交换多项式理论，数学年鉴。，34, 480-508 (1933) ·兹比尔0007.15101 ·doi:10.2307/1968173 [86] Quadrat，A.，线性函数系统的等级过滤，应用学报。数学。，127, 27-86 (2013) ·Zbl 1327.16037号 ·doi:10.1007/s10440-012-9791-2 [87] 罗比亚诺，L.，《分级结构理论》，《符号计算》。，2139-186年（1986年）·兹比尔0609.13007 ·doi:10.1016/S0747-7171（86）80019-0 [88] 罗伯茨，D。；Rosenkranz，M。；Wang，D.，Janet Bases and Applications，Gröbner Bases in Symbolic Analysis，139-168（2007），柏林：de Gruyter，柏林·Zbl 1130.13019号 [89] Rónyai，L.：简单代数很难。摘自：《第十九届ACM计算机理论研讨会论文集》，STOC 1987，第398-408页。ACM（1987） [90] 齐藤，M。；Sturmfels，B。；Takayama，N.，超几何微分方程的Gröbner变形（2000），柏林：Springer，柏林·Zbl 0946.13021号 ·doi:10.1007/978-3-662-04112-3 [91] Schindelar，K.，Levandovskyy，V.：带有Smith和Jacobson范式Jacobson.lib算法的Singular 3.1库。(2009), http://www.singular.uni-kl.de [92] Schreyer，F.：Die Berechnung von Syzygien mit dem verallgemeinenten Weierstrach Divisionsatz，外交官。汉堡大学（1980） [93] Singer，M.F.，《测试线性微分算子的可约性：群论观点》，应用。代数工程通讯。计算。，7, 77-104 (1996) ·Zbl 0999.12007号 ·doi:10.1007/BF01191378 [94] 斯特伦斯特罗姆，B.，商环（1975），柏林：施普林格，柏林·Zbl 0296.16001号 ·数字对象标识代码：10.1007/978-3-642-66066-5 [95] Takayama，N.:kan/sm1，微分和差分算子环的Gröbner引擎（2003），http://www.math.kobe-u.ac.jp/KAN/index.html [96] Tsai，H.，Leykin，A.：Macaulay 2的D模块包-D模块算法（2006），http://people.math.gatech.edu/aleykin3/D模块/ [97] 范德普特，M。；Singer，M.F.，Galois线性微分方程理论（2003），纽约：Springer，纽约·Zbl 1036.12008年 ·doi:10.1007/978-3-642-55750-7 [98] 范霍伊，M.，有理函数系数微分算子的因式分解，J.符号计算。，24, 537-561 (1997) ·兹伯利0886.68082 ·文件编号：10.1006/jsco.1997.0151 [99] 魏斯芬宁，V。；Huguet，L。；Poli，A.，《构建通用Gröbner基地》，《AAECC会议记录》第5期，第408-417页（1987年），海德堡：斯普林格·Zbl 0695.13002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。