消失多项式理想的Groebner基

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
对于m>=2，我们构造了Z/M上多项式环中消失多项式理想的显式极小强Groebner基。证明是以纯粹组合的方式进行的。一个显著的事实是，构造的Groebner基是独立于单项式的，并且构造的Groebner基的导项集是唯一的，直到单位相乘。给出了求约化规范形的快速算法，并给出了在Z/M[x_1,x_2,...,x_n]中沿M的素因子分解建立Groebner基的递推算法。所得结果不仅具有数学意义，而且在微电子片上系统数据路径的形式化验证中具有直接的应用。
---
英文标题：
《The Groebner basis of the ideal of vanishing polynomials》
---
作者：
G.-M. Greuel, F. Seelisch, O. Wienand
---
最新提交年份：
2011
---
分类信息：

一级分类：Mathematics        数学
二级分类：Commutative Algebra        交换代数
分类描述：Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics
交换环，模，理想，同调代数，计算方面，不变理论，与代数几何和组合学的联系
--
一级分类：Mathematics        数学
二级分类：Algebraic Geometry        代数几何
分类描述：Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology
代数簇，叠，束，格式，模空间，复几何，量子上同调
--

---
英文摘要：
  We construct an explicit minimal strong Groebner basis of the ideal of vanishing polynomials in the polynomial ring over Z/m for m>=2. The proof is done in a purely combinatorial way. It is a remarkable fact that the constructed Groebner basis is independent of the monomial order and that the set of leading terms of the constructed Groebner basis is unique, up to multiplication by units. We also present a fast algorithm to compute reduced normal forms, and furthermore, we give a recursive algorithm for building a Groebner basis in Z/m[x_1,x_2,...,x_n] along the prime factorization of m. The obtained results are not only of mathematical interest but have immediate applications in formal verification of data paths for microelectronic systems-on-chip.
---
PDF链接：
https://arxiv.org/pdf/0709.2978

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ROE 多项式 Mathematical Applications Verification 独立 basis 算法 vanishing 建立