Constructions in \(R[x_1,\dots ,x_n]\): applications to K-theory (Q1612120): Difference between revisions
From MaRDI portal
Latest revision as of 09:50, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructions in \(R[x_1,\dots ,x_n]\): applications to K-theory |
scientific article |
Statements
Constructions in \(R[x_1,\dots ,x_n]\): applications to K-theory (English)
0 references
22 August 2002
0 references
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.
0 references
freeness of projective modules
0 references
Dedekind rings
0 references
rings of integers in a number field
0 references
Serre conjecture
0 references
solution of linear equations
0 references
principal ideal domain
0 references
0 references
0 references