 Unimodular polynomial matrix

A unimodular polynomial matrix is a matrix of polynomials with coefficients in a polynomial ring such that it has a multiplicative inverse that is also a polynomial matrix.