Decomposition of the infinite companion and interpolation (Q1347223)

Let \(C^ \infty (p)\) denote the operator that assigns to each (complex) polynomial \(f= f(x)\) its remainder on division by the fixed polynomial \(p= p(x)\). Suppose \(p= p_ 1 \cdots p_ m\), where the \(p_ i\) are relatively prime in pairs. The author's main results reduce the calculation of \(C^ \infty (p)\) to the calculation of the \(C^ \infty (p_ i)\). The calculations are in terms of the matrices with respect to the standard basis. If \(p\), \(\widetilde {p}\) are relatively prime polynomials, then every polynomial \(u\) has a unique decomposition \(u= \widetilde {p} r+ pq\) with \(\deg r<\deg p\). The operation that sends \(u\) to \(\widetilde {p} r\) is denoted by \(R (\widetilde {p}, p)\), and evidently \(C^ \infty (p)= R(1, p)\). The author's results depend on the simple lemma that \(R(p, \widetilde {p})+ R(\widetilde {p}, p)= R(1,p \widetilde {p})\). Several applications are given and relations with interpolation pointed out.