کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6414911 | 1630541 | 2013 | 26 صفحه PDF | دانلود رایگان |
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 În0-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 the theory of S-independent sets. We apply these techniques to show that every homogeneous completely decomposable group is Î30-categorical.We prove that a homogeneous completely decomposable group of infinite rank is Î20-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.
Journal: Journal of Algebra - Volume 373, 1 January 2013, Pages 223-248