Constructions in \(R[x_1,\dots ,x_n]\): applications to K-theory (Q1612120)

Let \(A\) be a commutative ring with unit element, \(A_M\) be the localization of \(A\) by a maximal ideal \(M\), \(f=(f_1,f_2,\dots,f_m)\) be a unimodular system of polynomials in \(A[x]\). The author proposes algorithms for determination of a matrix \(U\) with coefficients in \(A_M[x]\) such that \(fU= (1, 0,\dots,0)\) \quad (if there exists any) at least in the following cases: (a) As a part of the induction step for an algorithmic solution of the well-known Serre conjecture [originally proved by \textit{D. Quillen}, Invent. Math. 36, 167--171 (1976; Zbl 0337.13011) and \textit{A. Suslin}, Sov. Math., Dokl. 17 (1976), 1160--1164 (1977; Zbl 0354.13010); translation from Dokl. Akad. Nauk SSSR 229, 1063--1066 (1976)]. It is supposed here that \(A = R [x_1,x_2,\dots,x_n]\) is the ring of polynomials over a principal ideal domain \(R\), where there exist algorithms for solution of linear equations and for determination of the generators of the maximal ideal containing a given ideal \(I\). (b) \(A\) is the ring of integers in a number field (in connection with the theory of projective modules over the ring \(D[x_1,x_2,\dots,x_n]\) with a Dedekind ring \(D\)). Examples are presented.