Basic Subgroups and Freeness, A Counterexample

Andreas Blass, Saharon Shelah

We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is d…