Torsion-free abelian group of rank 1