[[!redirects torsion-free halving group]] [[!redirects torsion-free halving groups]] < [[nlab:torsion-free abelian group]]