torsion-free abelian group of rank 1