Torsion-free groups, finite rank Abelian groups mathematics