On the map between \(K\)-groups of henselization and completion of some local rings (Q1368591)

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.