Gröbner bases and primary decomposition of polynomial ideals

  • Authors:

  • Patrizia Gianni;Barry Trager;Gail Zacharias

  • Affiliations:

  • IBM Research and University of Pisa, Pisa, Italy;IBM Research, P.O. Box 218, Yorktown Heights, NY 10598, USA;MIT A1 Laboratory, 545 Technology Square, Cambridge, MA 02139, USA

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present an algorithm to compute the primary decomposition of any ideal in a polynomialring over a factorially closed algorithmic principal ideal domain R. This means that the ring R is a constructive PID and that we are given an algorithm to factor polynomials over fields which are finitely generated over R or residue fields of R. We show how basic ideal theoretic operations can be performed using Grobner bases and we exploit these constructions to inductively reduce the problem to zero dimensional ideals. Here we again exploit the structure of Grobner bases to directly compute the primary decomposition using polynomial factorization. We also show how the reduction process can be applied to computing radicals and testing ideals for primality.