On completion of unimodular rows over polynomial extension of finitely generated rings over \(\mathbb{Z}\) (Q2196365)

Here are the main results of this paper. Assume that \(R\) is a finitely generated commutative ring of Krull dimension \(d\), where \(d\ge2\). Let \(m\) be a positive even integer such that \(\frac {1} {m}\in R\). Then each unimodular row of length \(d+1\) over \(R[X]\) is elementarily equivalent to a unimodular row of the form \((u_0^{m},\dots, u_d)\). In particular, one may choose \(m=d!\), thus assuming \(\frac {1} {d!}\in R\). Moreover, in this case, if \(T\) is a multiplicative subset of \(R\), then any unimodular row over \(R_T[X]\) of length \(d+1\) is elementarily equivalent over \(R_T[X]\) to a unimodular row of the form \((u_0^{d!}\dots u_d)\). Recall that a row over a ring \(A\) is unimodular if the ideal generated by its entries is equal to \(A\). By a particular case of Suslin's Theorem, a unimodular row of the form \((u_0^{r!},\dots ,u_r)\) over an arbitrary commutative ring is completable to an invertible matrix.