Homotopy Type Theory torsion-free halving group > history (Rev #1)

 Definition

A halving group $G$ is torsion-free if the only integer $n:\mathbb{Z}$ such that $ng = 0$ for all $g:G$ is $0$.

See also

• halving group

• dyadic rational numbers?