Basic Subgroups and Freeness, A Counterexample
Abstract
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 divisible. This answers a question of Irwin and shows that a theorem of Blass and Irwin cannot be strengthened so as to give an exact analog for torsion-free groups of a result proved for p-groups by Benabdallah and Irwin.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2007
- DOI:
- 10.48550/arXiv.0711.3031
- arXiv:
- arXiv:0711.3031
- Bibcode:
- 2007arXiv0711.3031B
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Group Theory