Abstract
In this paper, we extend the notion of "dynamical Grobner bases" introduced by the second author to Dedekind rings (with zero divisors). As an application, we dynamically solve the ideal membership problem and compute a generating set for the syzygy module over multivariate polynomial rings with coefficients in Dedekind rings. We also give a partial positive answer to a conjecture about Grobner rings. (C) 2010 Elsevier Inc. All rights reserved.