Gröbner bases and behaviors over finite rings

For several decades Grobner bases have proved useful tools for different areas in system theory, particularly multidimensional system theory. These areas range from controller design to minimal realizations of linear systems over fields. In this paper we focus on the univariate case and identify the so-called ¿predictable leading monomial property¿ as a property of a minimal Grobner basis that is crucial in many of these areas. The property is stronger than ¿row reducedness¿. We revisit the recently developed theory of in which row reducedness is extended to polynomial matrices over the finite ring ¿_p ^r (with p a prime integer and r a positive integer), which find applications in error control coding over ¿_p ^r. We recast the ideas of in the more general setting of Grobner bases and derive new results on how to use minimal Gro¿bner bases to achieve the predictable leading monomial property over ¿_p ^r. A major advantage of the Grobner approach is that computational packages are available to compute a minimal Grobner basis over ¿_p ^r, such as the SINGULAR computer algebra system. Another advantage of the Grobner approach is its generality with respect to the choice of ordering of polynomial vectors.