torsion-free commutative group