Some relations satisfied by prime polynomial matrices and their role in linear multivariable system theory

A number of relations which are satisfied by prime polynomial matrices are derived and then used to study the polynomial matrix equation BG_{1} + G_{2}A = V and to parametrically characterize the class of stabilizing output feedback compensators.