On hyper-regularity and unimodularity of Ore polynomial matrices (Q1797891)

Let \(\mathcal{K}\) be the field of meromorphic functions in \(t\) and put \(\lambda:=d/dt\). The Ore polynomial ring \(\mathcal{K}[\lambda]\) consists of operators which are polynomials of the form \(\sum a_{k}\lambda^{k}\) with \(\alpha_{k}\in\mathcal{K}\); it is noncommutative with the relation \(\lambda a=da/dt+a\lambda\) for all \(a\in\mathcal{K}\). The authors consider matrices over the ring \(\mathcal{K}[\lambda]\). An \(n\times n\) matrix \(U\) is called unimodular if if has an inverse \(V\) over \(\mathcal{K}[\lambda]\) (because the ring is noncommutative, it is possible that \(U\) is unimodular but its transpose is not). An \(m\times n\) matrix \(A\) with \(m\leq n\) is called hyper-regular if there exists an \(n\times m\) pseudo-inverse \(B\) over \(\mathcal{K[\lambda]}\) with \(AB=I_{m}\). There is an analogous definition when \(m\geq n\). The authors show how to determine whether a given matrix is unimodular or hyper-regular (and to find corresponding inverses when they exist) by reducing the problems to computations in linear algebra over the field \(\mathcal{K}\). A computer algorithm is available.