A Note on the Division of Multivariate Polynomial Matrices and Grobner Basis

Abstract

This paper has two main objectives, the first objective is to define an algorithm for the right (left) division of multivariate polynomial matrices while the second is to generalize the concept of Grobner basis to ideals generated by a finite set of multivariate polynomial matrices.