Division by non-singular matric polynomials (Q2645215)

Let \(P = \sum_{i=0}^p P_i\lambda^i\) \((P_p\neq 0)\) and \(D = \sum_{i=0}^d D_i\lambda^i\) \((DE_d\neq 0,\;| D|\neq 0)\) be matric polynomials. An expression \(P = QD + R\) (or \(P = DQ' + R')\) where the degree of \(R\) \((R')\) is \(<d\) is called a division of \(P\) by \(D\). There is always a unique division \(P = Q^0D + R^0\) such that the degree of \(R^0 \text{adj }D\) is \(<\) the degree of \(| D|\). In terms of \(Q^0\) and \(R^0\) and the \(Q^0\)'s obtained by dividing by \(D\) all matric polynomials of degree \(d\) where \(D_d = I\), all divisions of \(P\) by \(D\) can be expressed. Division is unique if and only if \(| D_d|\) \ne 0\(. A linear basis is obtained for the set of all matric polynomials \)C\( such that the degree of \)CD\( is \)<d\(. Theorems are obtained on the degree of \)Q\(. Restrictive conditions are obtained which \)APB\( can be made to satisfy, where \)P\( is any matric polynomial, by proper choice of the non-singular constant matrices \)A\( and \)B\(.\)