GROBNER BASES AND PRIMARY DECOMPOSITION IN POLYNOMIAL-RINGS IN ONE VARIABLE OVER DEDEKIND DOMAINS

Let D be a Dedekind domain with quotient field K, let x be a single va riable, and let I be an ideal in D [x]. In this paper we will describe explicitly the structure of a Grobner basis for I and we will use thi s Grobner basis to compute the primary decomposition of I. This Grobne r basis also has a property similar to that of strong Grobner bases ov er PID's ([7], see also [1]). (C) 1997 Elsevier Science B.V.