Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings (Q2447635)

Let \(A\) be a Noetherian commutative ring. \textit{F. Pauer} J. Symb. Comput. 42, No. 11--12, 1003--1011 (2007; Zbl 1127.13024)] introduced the notion of a reduced Gröbner basis of an ideal in the polynomial ring \(A[x_1, \dots, x_n]\) and proved that reduced Gröbner bases always exist. The authors define the notion of a short reduced Gröbner basis. Using this notion, necessary and sufficient conditions are proved for a finitely generated \(A\)--module of type \(A[x_1, \dots, x_n]/\mathfrak{a}\) to be free. The rings \(A=\mathbb{Z}\) and \(A=k[x_1, \dots, x_n]\), \(k\) be a field, are specially treated. As an application it is proved that the concept of Border bases can be extended to rings when the corresponding residue class ring is a finitely generated free \(A\)--module.