Effectively categorical abelian groups

Rodney Downey, Alexander G. Melnikov
2013 Journal of Algebra  
We study effective categoricity of computable abelian groups of the form i∈ω H, where H is a subgroup of (Q , +). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study 0 n -categoricity in this class of groups, for n > 1. We introduce a new algebraic concept of S-independence which is a generalization of the well-known notion of p-independence. We develop
more » ... the theory of S-independent sets. We apply these techniques to show that every homogeneous completely decomposable group is 0 3 -categorical. We prove that a homogeneous completely decomposable group of infinite rank is 0 2 -categorical if and only if it is isomorphic to the free module over the localization of Z by a computably enumerable set of primes P with the semi-low complement (within the set of all primes). We apply these results and techniques to study the complexity of generating bases of computable free modules over localizations of integers, including the free abelian group.
doi:10.1016/j.jalgebra.2012.09.020 fatcat:fr5ae4mhkzhlla66zchc2sz4cq