×
拉尔夫·亨梅克；西尔维乌·拉杜

（N）级Dedekind eta函数之间所有多项式关系的构造。 （英语） Zbl 1430.13046号

J.塞姆。计算。 95, 39-52 (2019).
本文的目的是提供一种计算Dedekind（eta）-函数之间关系的Gröbner基的算法。设\（\mathbb{H}=\{c\in\mathbb2{c}\mid\operatorname{Im}（c）>0\}\）表示复上半平面\[\eta:\mathbb{H}\to\mathbb2{C}，\\eta（\tau）=\exp（\pii\tau/12）\prod_{k=1}^{\infty}（1-\exp））\]让我们固定一个正整数，并让（1=delta_1<delta_2<dots<delta_N=N\）是（N\）的正除数。我们为每个\（i）定义\（phi:\mathbb{Q}[E_{\delta_1}，\dots，E_{\delta_n}]\ to \mathbb{Q}[\eta（\delta_1\tau），\dotes，\eta[\delta_n\tau）]\），其中\（phi（E_i）=\eta。本文的主要贡献是计算了核的Gröbner基。
审核人：阿米尔·哈希米（伊斯法罕）

MSC公司：

13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算

关键词：

Dedekind\（\eta\）函数；模块化功能；模方程；关系理想；Gröbner基

软件：

量化宽松政策；依赖关系；SageMath公司；单一；4钛2
PDF格式BibTeX公司 XML格式引用
\textit{R.Hemmecke}和\textit{S.Radu}，J.Symb。计算。95、39-52（2019年；Zbl 1430.13046）
全文： 内政部

参考文献：

[1] 托马斯·贝克尔（Thomas Becker）；韦斯芬宁，沃尔克，格罗布纳基地。交换代数的计算方法，Grad。数学课文。，第141卷（1993），Springer-Verlag:Springer-Verlag纽约·Zbl 0772.13010号
[2] Bruno Buchberger，Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal（1965），因斯布鲁克大学数学系：因斯布鲁克大学数学系。奥地利因斯布鲁克，博士论文·Zbl 1245.13020号
[3] 沃尔夫拉姆·戴克（Wolfram Decker）；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；Schönemann，Hans，Singular 4-1-0-用于多项式计算的计算机代数系统（2016）
[4] 德洛埃拉（Jesús A.De Loera）。；雷蒙德·亨梅克；Köppe，Matthias，《离散优化理论中的代数和几何思想》，MPS/SIAM Ser。最佳方案。（2013），工业与应用数学学会·Zbl 1401.90012号
[5] FriCAS是一个高级计算机代数系统（2017），可在
[6] Hemmecke，Ralf，舞蹈桑巴舞与Ramanujan分区同余，J.Symb。计算。，84, 14-24 (2018) ·Zbl 1432.11146号
[7] 曼努埃尔·考尔斯；Zimmermann，Burkhard，计算C-有限序列和多序列的代数关系，J.Symb。计算。，43, 11, 787-803 (2008) ·Zbl 1163.11084号
[8] Köhler，Günter，Eta Products and Theta Series Identities，Springer Monogr。数学。（2011），斯普林格·弗拉格：柏林斯普林格尔·弗拉格，海德堡·Zbl 1222.11060号
[9] Ligozat，G.，Courbes Modulaires de Genre 1（1975），巴黎十一大学数学系：巴黎十一大学奥赛数学系，出版号：75 7411·Zbl 0322.14011号
[10] 纽曼，莫里斯，一类模函数的构造和应用，Proc。伦敦。数学。《社会学杂志》，第3-7卷（1），第334-350页（1957年）·Zbl 0097.28701号
[11] 纽曼，莫里斯，一类模函数的构造和应用（II），Proc。伦敦。数学。《社会学杂志》，第3-9卷（3），第373-387页（1959年）·Zbl 0178.43001号
[12] Radu，Cristian-Silviu，Ramanujan-Kolberg身份的算法方法，J.Symb。计算。，68、225-253（2015），第1部分·Zbl 1356.11072号
[13] Radu，Cristian-Silviu，证明包含eta商的代数关系的算法，Ann.Comb。，22377-391（2018年6月）·Zbl 1429.11083号
[14] Sims，Charles C.，有限呈现群的计算，Encycl。数学。申请。，第48卷（1994），剑桥大学出版社·Zbl 0828.20001
[15] Sage Developers、SageMath、Sage数学软件系统（8.0版）（2017）
[16] 4ti2-a线性空间上代数、几何和组合问题的软件包（2015），网址：
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。