Characterizations of Cancellable Groups

DOI10.1090/PROC/14546MaRDI QIDQ6306955arXivWikidataFDO

Authors Matthew Harrison-Trainor, Meng-Che Ho

Publication date 19 September 2018

Published in arXiv

Full work available at URL https://doi.org/10.1090/PROC/14546

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Direct sums, direct products, etc. for abelian groups (20K25) Torsion-free groups, finite rank (20K15)

arXiv classification

math.GRmath.LO

Abstract: An abelian group $A$ is said to be cancellable if whenever $AoplusG$ is isomorphic to $AoplusH$, $G$ is isomorphic to $H$. We show that the index set of cancellable rank 1 torsion-free abelian groups is $P{i}_4^0$ $m$-complete, showing that the classification by Fuchs and Loonstra cannot be simplified. For arbitrary non-finitely generated groups, we show that the cancellation property is $P{i}_1^1$ $m$-hard; we know of no upper bound, but we conjecture that it is $P{i}_2^1$ $m$-complete.

This page was built for publication: Characterizations of Cancellable Groups

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