Gröbner bases and primary decomposition in polynomial rings in one variable over Dedekind domains (Q1369594)

Gröbner bases have proved to be a very powerful concept in many aspects of constructive ring theory. Initially introduced by Buchberger as certain well-behaved ideal bases in multivariate polynomial rings over a field, Gröbner bases have been generalized to a variety of other structures, such as polynomial rings over principal ideal domains or non-commutative polynomial rings. Many algorithmic problems, such as elimination of variables, computation of dimension and Hilbert polynomials, or primary decomposition of ideals can be effectively treated by the computation of certain Gröbner bases. In this paper the authors show how Gröbner bases can be defined in univariate polynomial rings over Dedekind domains and employed for determining primary decomposition of ideals. In a Dedekind domain, every non-zero prime ideal is maximal. Examples are \(\mathbb{Z} [-\sqrt 5]\) or the coordinate ring of a nonsingular algebraic curve.