Some Results on Grobner Bases over Commutative Rings
W.W. Adams and A.K. Boyle
Journal of Symbolic Computation, 13, 473-484 (1992). (Math Reviews 93h:13025.)

Let F be a finite set of polynomials in A[x], where A is a commutative ring and x is a single variable. This paper is concerned with what properties are imposed on the coefficients of these polynomials if F is assumed to be a Grobner basis. When A=R[y] a polynomial ring in n variables over some commutative ring R, we characterize Grobner bases in R [y,x] in terms of Grobner bases in R[y][x] and Grobner bases in R[y]. We then address the question of lifting Grobner bases from A to A[x] by examining the relationship between Szekeres bases and Grobner bases. Finally we show that if A is a UFD, then, if the elements of F form a Grobner basis and are relatively prime, the same is true of the leading coefficients of the polynomials in F.