The elementary action on unimodular rows over a monoid ring (Q1188130)

Let \(R\) be a commutative Noetherian ring with finite Krull dimension \(d\) and \(M\) a submonoid of \(\mathbb{Q}_ +^ r\) for some \(r\geq 1\) such that \(M\subset \mathbb{Q}_ +^ r\) is an integral extension. It is shown that the group \(E_ n (R[M])\) of elementary matrices acts transitively on the set \(\text{Um}_ n (R[M])\) of unimodular rows for all \(n\geq \max(d+2,3)\). The special case when \(M= \mathbb{Z}_ +^ r\) was obtained by \textit{A. A. Suslin} [Izv. Akad. Nauk SSSR, Ser. Mat. 41, 235-252 (1977; Zbl 0354.13009)], while classical results of Bass-Vaserstein imply transitivity only for \(n\geq d+2+r\). This theorem implies that all finitely generated projective \(R[M]\)-modules of rank \(>d\) which are stably extended from \(R\) are actually extended from \(R\) and that for a one-dimensional Noetherian ring \(R\), all finitely generated stably free \(R[M]\)-modules are free.