Title:Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings

Abstract:In this paper we generalize the Macaulay-Buchberger basis theorem for residue class ring $A[x_{1},\ldots,x_{n}]/ \mathfrak{a}$, in the case when it is finitely generated as an $A$-module but need not necessarily a free module, where $A$ is a Noetherian ring and $\mathfrak{a}$ is an ideal. This generalization gives us an insight into the nature of generating sets that span $A$-module $A[x_{1},\ldots,x_{n}]/ \mathfrak{a}$ and allows to study the concept of border bases over rings. We present a border division algorithm over rings and prove termination of the algorithm for a special class of border bases called acyclic border bases. We show the existence of such border bases and present some characterizations in this regard.