×
卡琳·加特曼;弗雷德里克·盖亚德

Gröbner基、不变理论和等变动力学。 （英语） Zbl 0939.68171号

J.塞姆。计算。 28，编号1-2，275-302（1999）.
摘要：本文是关于算法不变量理论的，因为它是等变动力系统中所需要的。一般分支方程（任意等变多项式向量）的问题需要基本不变量和等变变量的知识。我们讨论了有限群和半单李群与此相关的计算。我们考虑不变量和等变函数的完备性等问题。Hilbert级数驱动的Buchberger算法需要大量的消元理想计算，因此可以获得高效的计算。介绍了轨道空间缩减等应用。

引用于4文件

MSC公司：

68瓦30 符号计算和代数计算
13A50型 群在交换环上的作用；不变理论
第13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）

关键词：

算法不变量理论

软件：

莫格罗布纳
PDF格式BibTeX公司 XML格式引用
\textit{K.Gatermann}和\textit{F.Guyard}，J.Symb。计算。28，第1-275-302号（1999年；兹bl 0939.68171）
全文： 内政部 链接

参考文献：

[1] 阿提亚，M。；麦克唐纳，I.，《交换代数导论》（1969），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0175.03601号
[2] 拜耳，D。；Morrison，I.，Gröbner基底和几何不变量理论I，J.Symb。计算。，6, 209-217 (1988) ·兹伯利0675.13014
[3] 拜耳，D。；Stillman，M.，《希尔伯特函数的计算》，J.Symb。计算。，14, 31-50 (1992) ·Zbl 0763.13007号
[4] 贝克尔，T。；Weispfenning，V.，Gröbner Bases，交换代数的计算方法（1993），Springer:Springer New York·Zbl 0772.13010号
[5] 布洛克，T。；tom Dieck，T.，紧致李群的表示。（1985），《施普林格：纽约施普林格》·Zbl 0581.2209号
[6] 布伦斯，W。；Herzog，J.，Cohen-Macaulay Rings（1993），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0788.13005号
[7] B.Buchberger，1965年；B.Buchberger，1965年
[8] Buchberger，B.，Gröbner bases，多项式理想理论中的算法方法，（Bose，N.，多维系统理论（1985），Reidel Publishing Company：Reidel出版社Dodrecht），184-232·Zbl 0587.13009号
[9] M.Caboara、G.De Dominicis、L.Robbiano、ISSAC 96、Proc。1996年国际交响乐团。《符号和代数计算》，Lakshman，Y.纽约，ACM，72，78；M.Caboara、G.De Dominicis、L.Robbiano、ISSAC 96、Proc。1996年国际交响乐团。关于符号和代数计算，Lakshman，Y.纽约，ACM，72，78·Zbl 0928.13018号
[10] 坎贝尔，S.A。；Holmes，Ph.，《D_4对称系统中的异宿周期和调制行波》，Physica D，59，52-78（1992）·Zbl 0774.34031号
[11] Chossat，P.，《O（2）对称同宿循环的强迫反射对称破缺》，非线性，6723-731（1993）·Zbl 0784.58052号
[12] 乔萨特，P。；Dias，F.，具有O（2）对称性的1:2共振及其在流体力学中的应用，非线性科学。，5, 105-129 (1995) ·Zbl 0820.76016号
[13] 考克斯·D。；利特尔，J。；O'Shea，D.，《理想、多样性和算法，计算代数几何和交换代数导论》（1992），施普林格出版社：纽约施普林格·Zbl 0756.13017号
[14] H.德克森；H.德克森
[15] 艾森巴德，D.，《交换代数与代数几何》（1995），施普林格：施普林格纽约·Zbl 0819.13001号
[16] 艾森巴德，D。；Sturmfels，B.，《寻找稀疏参数系统》，J.Pure Appl。代数，94143-157（1994）·Zbl 0807.13012号
[17] W.富尔顿。；Harris，J.，表征理论。第一门课程（1991年），施普林格：纽约施普林格·Zbl 0744.22001号
[18] K.盖特曼；K.盖特曼
[19] Gatermann，K.，《半变分、等变分和算法》，应用。代数工程通讯。计算。，7, 105-124 (1996) ·Zbl 0845.13009号
[20] K.Gatermann，F.Guyard；K.盖特曼，F.盖亚德
[21] Gatermann，K。；Lauterbach，R.，范式的自动分类，非线性分析。，34, 157-190 (1998) ·Zbl 0947.34023号
[22] Gatermann，K。；Werner，B.，稳态模式相互作用引起的二次Hopf分岔，（Chaddam，J.；Golubitsky，M.；Langford，W.；Wetton，B.，《模式形成：对称方法和应用》（1996），Reidel出版公司：Reidel出版社Dordrecht）·Zbl 0849.58014号
[23] P.Gianni、T.Mora、L.Robbiano、C.Traverso；P.Gianni、T.Mora、L.Robbiano、C.Traverso
[24] Golubitsky，M。；I.斯图尔特。；Schaeffer，D.G.，分岔理论II中的奇点和群（1988），Springer:Springer纽约·Zbl 0691.58003号
[25] A.海德曼；A.海德曼
[26] Hochster，M。；Roberts，J.，作用于正则环上的约化群不变量环是Cohen-Macaulay，Adv.Math。，13, 115-175 (1974) ·Zbl 0289.14010号
[27] 汉弗莱斯，J.，《李代数和表示理论导论》（1972年，1982年），施普林格出版社：纽约施普林格·Zbl 0254.17004号
[28] 汉弗莱斯，J.，线性代数群（1975，1980），施普林格：施普林格纽约·Zbl 0325.20039号
[29] Jaric，M。；米歇尔，L。；Sharp，R.，点群协变向量场的零点：不变公式，J.Physique，45，1-27（1984）
[30] G.坎佩尔；G.坎佩尔
[31] Kemper，G.，计算任意域上有限群的不变环，J.Symb。计算。，21, 351-366 (1996) ·Zbl 0889.13004号
[32] Kemper，G。；Steel，A.，有限群不变量理论中的一些算法，（Dräxler，P.；Michler，G.O.；Ringle，C.U.，《群和代数表示的计算方法欧洲会议记录》（1998），Birkhäuser:Birkhäuser-Basel）·Zbl 0954.13002号
[33] Kempf，G.，计算不变量，（Koh，S.，不变量理论（1987），施普林格：施普林格-柏林，海德堡）·Zbl 0633.14007号
[34] Koenig，M.，紧李群作用轨道空间上向量场的线性化，数学。程序。外倾角。菲尔学会，121401-424（1997）·Zbl 0884.58075号
[35] A.Lari-Lavassani、W.Langford、K.Huseyin、K.Gatermann（D_3D_4）；A.Lari-Lavassani、W.Langford、K.Huseyin、K.Gatermann（D_3D_4）
[36] 劳特巴赫，R。；Sanders，J.，使用不变理论对球对称系统进行分叉分析，J.Dyn。微分方程，9535-560（1997）·Zbl 0889.58069号
[37] C.Leis；C.雷斯
[38] Macaulay，F.，模块系统理论中枚举的一些性质，Proc。伦敦数学。《社会学杂志》，第26期，第531-555页（1927年）
[39] K.马提斯（D_3）；K.马提斯（D_3）
[40] Mishra，B.，《算法代数》（1993），施普林格出版社：纽约施普林格·Zbl 0804.13009号
[41] 莫拉·T。；罗比亚诺（Robbiano，L.），《理想的格罗布纳粉丝》（The Gröbner fan of a idea），J.塞姆（J.Symb）。计算。，6, 183-208 (1988) ·Zbl 0668.13017号
[42] Robbiano，L.，多项式环上的项序，EUROCAL 85，欧洲计算机代数会议第二卷（1985），Springer，第513-517页·Zbl 0584.13016号
[43] M.Rumberger；M.伦伯格
[44] 伦伯格，M。；Scheurle，J.，不变函数和中心流形约简，（Broer，H.；van Gils，S.；Hoveijn，I.；Takens，F.，《非线性微分方程及其应用的进展》（1996），Birkhäuser:Birkháuser Basel），145-153·Zbl 0849.58061号
[45] Sattinger，D.，《旋转不变状态的分岔》，J.Math。物理。，19, 1720-1731 (1978) ·Zbl 0401.47030号
[46] Sattinger，D.，分岔理论中的群论方法（1979），Springer:Springer New York·Zbl 0414.58013号
[47] Sturmfels，B.，不变量理论中的算法（1993），Springer:Springer-Wien·Zbl 0802.13002号
[48] Sturmfels，B.，Gröbner基底和凸多面体（1996），AMS:AMS Providence·Zbl 0856.13020号
[49] Sturmfels，B。；White，N.，计算环的组合分解，组合学，11275-293（1991）·Zbl 0739.68051号
[50] 魏斯芬宁，V.，可容许阶数和线性形式，ACM Sigsam Bull。，21, 16-18 (1987) ·Zbl 0655.13017号
[51] Worfolk，P.，等变向量场的零点：不变方法的算法，J.Symb。计算。，17, 487-511 (1994) ·Zbl 0819.13013号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。