The decomposability problem for torsion-free abelian groups is analytic-complete

DOI10.1090/PROC/12509zbMATH Open1347.03083arXiv1311.1865OpenAlexW1964777739MaRDI QIDQ5255271FDOQ5255271

Kyle Riggs

Publication date: 12 June 2015

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $Sigm{a}_3^0$-complete. However, when we consider groups of infinite rank, it becomes $Sigm{a}_1^1$-complete, so it cannot be characterized by a first-order formula in the language of arithmetic.

Full work available at URL: https://arxiv.org/abs/1311.1865

Recommendations

• Decidability and computability of certain torsion-free abelian groups
• Enumerations and completely decomposable torsion-free abelian groups
• Effectively completely decomposable Abelian groups.
• Computable completely decomposable groups
• Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete

zbMATH Keywords

decomposable torsion-free abelian group

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15)

Cites Work

• Title not available (Why is that?)
• Effectively categorical abelian groups
• Computable completely decomposable groups
• Title not available (Why is that?)
• Decidability and computability of certain torsion-free abelian groups
• The isomorphism problem for torsion-free abelian groups is analytic complete

Cited In (11)

• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• Characterizations of cancellable groups
• The computational complexity of module socles
• Decompositions of decidable abelian groups
• Using computability to measure complexity of algebraic structures and classes of structures
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Effectiveness of Walker's cancellation theorem
• Effectively completely decomposable Abelian groups.
• Torsion-free abelian groups with optimal Scott families
• The complexity of decomposability of computable rings
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES

This page was built for publication: The decomposability problem for torsion-free abelian groups is analytic-complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5255271)