Decidability and computability of certain torsion-free abelian groups (Q976537)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability and computability of certain torsion-free abelian groups |
scientific article |
Statements
Decidability and computability of certain torsion-free abelian groups (English)
0 references
11 June 2010
0 references
The paper investigates the computable properties of torsion-free abelian groups of the form \({\mathcal G}_S = \bigoplus_{n \in S} {\mathbb{Q}}_{p_n}\), for sets \(S \subseteq \omega\), where \(p_n\) is the \(n\)-th prime number and \({\mathbb{Q}}_p\) is the subgroup of \(({\mathbb{Q}}, +)\) generated by the numbers \(1/p^k\), for \(k \in \omega\). It is shown that \({\mathcal G}_S\) has a decidable copy if and only if \(S\) is \(\Sigma_2^0\) and has a computable copy if and only if \(S\) is \(\Sigma_3^0\).
0 references
completely decomposable torsion-free abelian groups
0 references
coding in groups
0 references