On completion of unimodular rows over polynomial extension of finitely generated rings over [formula omitted

Abstract

In this article, we prove that if R is a finitely generated ring over Z of dimension d,d≥2,1d!∈R, then any unimodular row over R[X] of length d+1 can be mapped to a factorial row by elementary transformations.