An imbedding property of K-groups
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.
- K-théorie algébrique et K-théorie topologique I.
- Higher algebraic K-theory: I
- scientific article; zbMATH DE number 4095731 (Why is no real title available?)
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 3787034 (Why is no real title available?)
- scientific article; zbMATH DE number 65615 (Why is no real title available?)
- scientific article; zbMATH DE number 3447122 (Why is no real title available?)
- scientific article; zbMATH DE number 3290974 (Why is no real title available?)
- K-Theory of Hyperplanes
- Néron Models
- On the K-theory and topological cyclic homology of smooth schemes over a discrete valuation ring
- On the \(K\)-theory of complete regular local \(\mathbb F_{p}\)-algebras
- On the K-theory of local fields
- On the map between K-groups of henselization and completion of some local rings
- On the map between K-groups of henselization and completion of some local rings
- A problem from the Kourovka Notebook on embeddings of the group Q.
- scientific article; zbMATH DE number 4075366 (Why is no real title available?)
- scientific article; zbMATH DE number 1164256 (Why is no real title available?)
- THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
This page was built for publication: An imbedding property of \(K\)-groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863913)
