Mathematics > Commutative Algebra
[Submitted on 10 Jan 2021 (v1), last revised 23 Dec 2023 (this version, v2)]
Title:The Proper Basis for a Zero-dimensional Polynomial Ideal
View PDF HTML (experimental)Abstract:The proper basis formulated herein constitutes an improvement on the Gröbner basis for a zero-dimensional polynomial ideal. Let $K[\mathbf{x}]$ be a polynomial ring over a field $K$ with $\mathbf{x}:=(x_1,\dotsc,x_n)$. With $x_1$ being the least variable, a zero-dimensional polynomial ideal $I\subset K[\mathbf{x}]$ always has an eliminant $\chi\in K[x_1]\setminus K$ such that $I\cap K[x_1]=(\chi)$ after eliminating the other variables $\tilde{\mathbf{x}}:=(x_2,\dotsc,x_n)$. Hence it is excessive computation for the elimination process involving the variable $x_1$ in Buchberger's algorithm for the Gröbner basis. It is natural to treat $K[\mathbf{x}]$ as the algebra $K[x_1][\tilde{\mathbf{x}}]$ and define a new type of basis over $K[x_1]$ for $I$ called the proper basis. The proper basis is based on a new type of polynomial division called the proper division, which improves the division mechanism in Möller's algorithm over $K[x_1]$ for the Gröbner basis. We develop a modular algorithm over a principal ideal ring with zero divisors. The convincing efficiency of the proper basis over both Buchberger's Gröbner basis over $K$ and Möller's one over $K[x_1]$ is corroborated by a series of benchmark testings with respect to the typical \textnormal{\textsc{lex}} ordering.
Submission history
From: Sheng-Ming Ma [view email][v1] Sun, 10 Jan 2021 06:29:49 UTC (65 KB)
[v2] Sat, 23 Dec 2023 09:13:37 UTC (33 KB)
Current browse context:
math.AC
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.