On the map between \(K\)-groups of henselization and completion of some local rings (Q1368591)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the map between \(K\)-groups of henselization and completion of some local rings |
scientific article |
Statements
On the map between \(K\)-groups of henselization and completion of some local rings (English)
0 references
10 May 1998
0 references
The authors prove that, for any \(n\geq 0\), the canonical map \(K_n(R^{\text{h}})\rightarrow K_n(\hat R)\) between Quillen's \(n\)-th \(K\)-groups associated with the henselization \(R^{\text{h}}\) and the completion \(\hat R\) of a regular local ring \(R\) is injective. For the proof, they use the isomorphism \[ K_n(A) \cong SK_1 \left(A[t_1, \ldots, t_n]/ ((t_1^2 - t_1) \cdots (t_n^2 - t_n))\right) \] for \(A = R^{\text{h}}\) and \(A = \hat R\) and the result that the \(n\)-th \(K\)-group of any regular ring \(A\) is the ``reduced'' \(K_1\)-group of the ring \(A[t_1, \ldots, t_n]/ ((t_1^2 - t_1) \cdots (t_n^2 - t_n))\) and the Artin approximation theorem.
0 references
Henselization
0 references
completion
0 references
\(K\)-groups
0 references
Artin approximation theorem
0 references
regular local ring
0 references