An algorithm for primary decomposition in polynomial rings over the integers

From MaRDI portal



Abstract: We present an algorithm to compute a primary decomposition of an ideal in a polynomial ring over the integers. For this purpose we use algorithms for primary decomposition in polynomial rings over the rationals resp. over finite fields, and the idea of Shimoyama-Yokoyama resp. Eisenbud-Hunecke-Vasconcelos to extract primary ideals from pseudo-primary ideals. A parallelized version of the algorithm is implemented in SINGULAR. Examples and timings are given at the end of the article.


A new algorithm for primary decomposition in polynomial rings over the integers is presented. It makes essential use of primary decomposition over the rationals and over finite fields. Other algorithms can be found in [\textit{A. Seidenberg}, Am. J. Math. 100, 685--706 (1978; Zbl 0416.13013)], [\textit{P. Gianni}, \textit{B. Trager}, and \textit{G. Zacharias}, J. Symb. Comp. 6, No. 2--3, 149--167 (1988; Zbl 0667.13008)], and [\textit{C. W. Ayoub}, J. Algebra 76, 99--110 (1982; Zbl 0505.13005)].





Describes a project that uses

Uses Software






This page was built for publication: An algorithm for primary decomposition in polynomial rings over the integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657376)