2001/07/29 by Saharon Shelah, Shelah, Saharon, Lutz Strüngmann +1
Mathematics · #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #math.GR #math.LO
paper · pdf · doi:10.48550/arxiv.math/0107208
published as Rocky Mountain J. Math. 32 No. 4 (2002) 1617--1626
arxiv created 2001/07/29 · arxiv updated 2009/11/30
Given an aleph1-free abelian group G we characterize the class CG of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes CG for arbitrary torsion-free abelian G. It follows that there exist some ugly aleph1-free abelian groups.