Stability of the divisor class group upon completion (Q2382948)

Let \((A, M)\) be a local domain, \(\widehat{A}\) its completion with respect to its maximal ideal \(M\) and \(\text{Cl}(A)\) (respectively \(\text{Cl}(\widehat{A})\)) the divisor class group of \(A\) (respectively \(\widehat{A}\)). It's well-known that the canonical group homomorphism \(i: \text{Cl}(A)\rightarrow \text{Cl}(\widehat{A}), [I]\mapsto [\widehat{I}]\) (where \([J]\) denotes the equivalence class of a divisorial \(A\)-ideal \(J\) in the divisorial class group \(\text{Cl}(A)\)) is one-to-one, but not onto, in general. In this paper the author presents some conditions under which \(i\) is an isomorphism. Precisely, if \((A,M)\) is a local normal approximation domain with finite divisor class group, then the canonical group homomorphism \(i: \text{Cl}(A)\rightarrow \text{Cl}(\widehat{A})\) is an isomorphism (in fact, the condition of \(R_{2}\)-regularity in \textit{C. Rotthaus} [J. Algebra 178, 541--560 (1995; Zbl 0864.13006)] is eliminated and the complete approximation property is weakened to the approximation property only).