Torsion-free group