Torsion-free groups, infinite rank Abelian groups mathematics