Pro-torsion completions of abelian groups (Q686037)

For every class \(\mathcal X\) of abelian groups satisfying certain conditions the authors obtain a covariant functor on the category of abelian groups as follows. If \(A\) is a group, consider the collection of its quotients belonging to \(\mathcal X\). These quotients determine an inverse diagram whose morphisms are all those epimorphisms \(A/M\twoheadrightarrow A/N\) corresponding to an inclusion of \(M\) into \(N\). The inverse limit \(A_{\mathcal X}^ \wedge\) of this diagram is called the \({\mathcal X}\)- completion of \(A\). For every class \(\mathcal X\) satisfying the condition: if \(X\in {\mathcal X}\) then every subgroup of \(X\) is also in \(\mathcal X\), there is a covariant functor \({\mathcal X}^ \wedge:{\mathcal A}{\mathcal B} \to {\mathcal A}{\mathcal B}\). If \(A\) is finitely generated then \(A^ \wedge_{\mathcal T} \cong A^ \wedge_{\mathcal F}\) and, for each prime \(p\), \(A^ \wedge_{{\mathcal T}_ p}\cong A^ \wedge_{{\mathcal F}_ p}\) (\({\mathcal F}\)=\{finite groups\}, \({\mathcal F}_ p\)=\{finite \(p\)-groups\}, \({\mathcal T}\)=\{torsion groups\}, \({\mathcal T}_ p\)=\{\(p\)-torsion groups\}. The authors show that completion with respect to any of the classes \({\mathcal T}_ p\), \({\mathcal T}_ f\), \(\mathcal T\) is an exact functor (\({\mathcal T}_ f\)=\{torsion groups with torsion at only finitely many primes\}). A group \(A\) in \({\mathcal T}_ p\), resp. \(\mathcal T\), is naturally a \(\mathbb{Z}^ \wedge_ p\)-module (resp. a \(\prod\mathbb{Z}^ \wedge_ p\)-module). Hence there are natural transformations \(\varphi_{{\mathcal T}_ p}: A\otimes \mathbb{Z}^ \wedge_ p\to A^ \wedge_{{\mathcal T}_ p}\) and \(\varphi_{\mathcal T}: A\otimes \mathbb{Z}^ \wedge_{\mathcal T}\to A^ \wedge_{\mathcal T}\). \(\varphi_{{\mathcal T}_ p}\) and \(\varphi_{\mathcal T}\) are natural equivalences.