An Estimate for the Degree Bound of a Matrix of Polynomials

We present a constructive method for finding a right inverse matrix of a matrix of polynomials that satisfies the corona condition. The right inverse matrix is also a matrix of polynomials and our method gives an upper bound for the degree of its entries. This is a generalization of the authors’ previous result that offers a degree bound for the polynomials that arise as a result of the Nullstellensatz.