×
曼努埃尔·A·因苏阿。；曼纽尔·拉德拉

莱布尼茨代数的泛包络代数中的Gröbner基。 （英语） Zbl 1163.17004号

J.塞姆。计算。 44，第5期，517-526（2009）.
摘要：我们利用自由结合代数中的Gröbner基，给出了有限维莱布尼茨代数的泛包络代数的Poincaré-Birkhoff Witt定理的一个证明。
我们还利用由P.诺德贝克【应用代数-工程-公共计算11，第3期，157-180（2001；Zbl 1038.16035号)]. 我们的方法不同于应用于PBW代数或（G）-代数的方法，因为我们的代数有零因子。我们使用这种技术获得了一种求解理想隶属度问题的算法。

引用于三文件

MSC公司：

17A32型 莱布尼茨代数
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算

关键词：

莱布尼茨代数；泛包络代数；Poincaré-Birkhoff-Witt定理；Gröbner碱

引文：

Zbl 1038.16035号

软件：

单一；NCAlgebra大学；复数
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Insoa}和\textit{M.Ladra}，J.Symb。计算。44，第5号，517--526（2009；Zbl 1163.17004）
全文： 内政部

参考文献：

[1] Apel，J.，1988年。Gröbnerbasen在nichtkombusiven Algebren und ihre Anwendung中。Leizipg大学论文；Apel，J.，1988年。Gröbnerbasen在nichtkombusiven Algebren und ihre Anwendung中。Leizipg大学论文
[2] 阿佩尔，J。；Lassner，W.，《李代数包络域中Buchberger算法和计算的扩展》，J.符号计算。，361-370（1988年）·Zbl 0663.68044号
[3] 伯格曼，G.M.，环理论的钻石引理，高等数学。，29, 178-218 (1978) ·Zbl 0326.16019号
[4] Bueso，J.L。；Gómez Torrecillas，J。；Lobillo，F.J。；Castro，F.J.，《量子群中的有效微积分导论》（Rings，Hopf Algebras，and Brauer groups），《Rings》（环），《Hopf代数》（Hopf Algebras），《Brauer Group，Pure and Appl.Math课堂讲稿》，第197卷（1998），马赛尔·德克尔公司：马赛尔·德克尔公司，纽约），55-83·Zbl 0898.17007号
[5] Green，E.L.，非交换Gröbner基导论，（计算代数，计算代数，Lect.Notes in Pure and Appl.Math.，第151卷（1994），Marcel Dekker，Inc.：Marcel Dekker，Inc.，纽约），167-190·Zbl 0807.16002号
[6] Greuel，G.-M.，Levandovskyy，V.，Schönemann，H.，2003年。单数：：复数2.1。非交换多项式代数的计算机代数系统。凯泽斯劳滕大学计算机代数中心。可从以下位置获得：http://www.singular.uni-kl.de/复数; Greuel，G.-M.，Levandovsky，V.，Schönemann，H.，2003年。单数：：复数2.1。非交换多项式代数的计算机代数系统。凯泽斯劳滕大学计算机代数中心。可从以下位置获得：http://www.singular.uni-kl.de/复数
[7] Helton，J.W.，Miller，R.L.，Stankus，M.，1996年。NCAlgebra：用于非交互性代数的数学包。可从以下位置获得：http://math.ucsd.edu/ncalg；Helton，J.W.，Miller，R.L.，Stankus，M.，1996年。NCAlgebra：用于非交互性代数的数学包。可从以下位置获得：http://math.ucsd.edu/ncalg公司
[8] Insoa，文学硕士，2005年。Varias perspectivas sobre las bases de Gröbner公司：Forma Normal de Smith。贝莱坎普代数。圣地亚哥德孔波斯特拉大学博士论文；Insoa，文学硕士，2005年。Varias perspectivas sobre las bases de Gröbner公司：Forma Normal de Smith。贝莱坎普代数。圣地亚哥德孔波斯特拉大学博士论文
[9] Kandri-Rody，A。；魏斯芬宁，V.，可解型代数中的非交换Gröbner基，J.符号计算。，9, 1-26 (1990) ·Zbl 0715.16010号
[10] Levandovskyy，V.，2005年。多项式代数的非交换计算机代数：Gröbner基，应用和实现。Kaiserlaurten大学博士论文；Levandovskyy，V.，2005年。多项式代数的非交换计算机代数：Gröbner基，应用和实现。凯泽劳顿大学博士论文
[11] Li，H.，（非交换Gröbner基和过滤分级转移。非交换Groöbnel基和过滤梯度转移，数学课堂讲稿，第1795卷（2002），Springer-Verlag:Springer-Verlag Berlin）·Zbl 1050.16022号
[12] Loday，J.-L.，《Une version non-communive des algèbres de Lie:les algébres des Leibniz，Enseign》。数学。，3, 269-293 (1993) ·Zbl 0806.55009号
[13] 洛伊，J·L。；Pirashvili，T.，Leibniz代数的泛包络代数和（co）同调，数学。Ann.，296139-158（1993）·兹比尔0821.17022
[14] Mora，T.，交换和非交换Gröbner基导论，理论。计算。科学。，134131-173（1994年）·Zbl 0824.68056号
[15] Nordbeck，P.，《关于自由代数商中Gröbner基计算的有限性》，应用。代数工程师通信计算。，11, 157-180 (2001) ·Zbl 1038.16035号
[16] Weispfenning，V.，交换正则环上多项式理想的Gröbner基，（Proc.EUROCAL’87。程序。欧洲87年，LNCS，第378卷（1989），施普林格），336-347·Zbl 1209.13036号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。