On Suslin's stability theorem for \(R[x_1,\dots,x_m]\) (Q2738456)

Suslin's stability theorem asserts that for \(n\) large enough any \((n \times n)\)-matrix over a polynomial ring \(R[x_1, \dots, x_m]\) with coefficient ring \(R\) commutative and Noetherian, can be written as a product of elementary matrices. An algorithmic proof of this theorem for the case of a coefficient field \(R\) was given by \textit{H. Park} and \textit{C. Woodburn} [J. Algebra 178, No. 1, 277-298 (1995; Zbl 0841.19001)]. In the paper under review this algorithm is generalized to the case where \(R\) is an Euclidean domain.NEWLINENEWLINEFor the entire collection see [Zbl 0963.00025].