An imbedding property of \(K\)-groups
type: Item
instance of: scholarly article
title: An imbedding property of \(K\)-groups
zbMATH Open document ID: 1109.19001
author: Grzegorz Banaszak
published in: Journal of Pure and Applied Algebra
publication date: 2007-02-12T00:00:00Z
review text: Let \(A\subset B\) be two rings that satisfy that any system of polynomial equations in a finite number of variables and coefficients in \(A\) which has a solution in \(B\), has also a solution in \(A\). The author proves the following theorem for such rings: For any two rings \(A\subset B\) with the above property, we have that the natural maps \(KV_{n}(A)\to KV_{n}(B),\quad KV_{n}(A)/\ell^{k}\to KV_{n}(B)/\ell^{k}, \text{ and } KV_{n}(A;\mathbb{Z}/\ell^{k})\to KV_{n}(B;\mathbb{Z}/\ell^{k})\) are imbeddings for all \(n\geq 1\) and \(k\in \mathbb{N}\); where \(KV_{n}(\;)\) denotes Karoubi-Villamayor \(K\)-theory. An important example for which the above condition holds is the following: let \(R\) be a local ring with maximal ideal \(\mathcal{P}\), and let \(P_{\mathcal{P}}\) be the \(\mathcal{P}\)-completion of \(R\) and \(R^{h}_{\mathcal{P}}\) the henselization of \(R\) at \(\mathcal{P}\). Let \(R_{0}\) be a field or an excellent discrete valuation ring and \(R\) a local \(R_{0}\)-algebra essentially of finite type over \(R_{0}\). Then the rings \(R^{h}_{\mathcal{P}}\subset R_{\mathcal{P}}\) satisfy the hypothesis of the theorem hence the conclusion applies in this situation for \(\ell\) a prime number. If we assume further that \(R\) is regular then the conclusion holds for Quillen \(K\)-theory.
Mathematics Subject Classification ID: 19D25
Mathematics Subject Classification ID: 19D06
Mathematics Subject Classification ID: 19D50
zbMATH DE Number: 5124471
zbMATH Keywords: Karoubi-Villamayor \(K\)-theory
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: j.jpaa.2006.05.020
OpenAlex ID: W2016227606
cites work: On the map between \(K\)-groups of henselization and completion of some local rings
cites work: Néron Models
cites work: K-Theory of Hyperplanes
cites work: Q4010222
cites work: Q4771113
cites work: On the $K$-theory and topological cyclic homology of smooth schemes over a discrete valuation ring
cites work: On the \(K\)-theory of complete regular local \(\mathbb F_{p}\)-algebras
cites work: $K$-théorie algébrique et $K$-théorie topologique I.
cites work: Q5572925
cites work: Q3871006
cites work: Higher algebraic K-theory: I
cites work: On the K-theory of local fields
cites work: Q3964757
cites work: Q3822372
DOI: 10.1016/J.JPAA.2006.05.020
description: scientific article; zbMATH DE number 5124471