Coprimeness in multidimensional system theory and symbolic computation

During the last twenty years the theory of linear algebraic and high-order differential equation systems has been greatly researched. Two commonly used types of system description are the so-called matrix fraction description (MFD) and the Rosenbrock system matrix (RSM); these are defined by polynomial matrices in one indeterminate. Many of the system's physical properties are encoded as algebraic properties of these polynomial matrices. The theory is well developed and the structure of such systems is well understood. Analogues of these 1-D realisations can be set up for many dimensional systems resulting in polynomial matrices in many indeterminates. The scarcity of detailed algebraic results for such matrices has limited the understanding of such systems. [Continues.]