Divisible group

A divisible group is an abelian group $G$ in which, for every positive integer $n$ and every $g\in G$, some $h\in G$ satisfies $nh=g$.

An abelian group $A$ is $p$-divisible when multiplication by $p$ is surjective, equivalently $A/pA=0$. This does not mean it has no $p$-torsion: $\mathbb{Q}/\mathbb{Z}$ is divisible and has elements of every finite order. The Kummer cohomology divisibility criterion relates this property to Galois cohomology.

A divisible Abelian group is torsion-free precisely when division by each nonzero integer is unique. Defining rational scalar multiplication by $n((m/n)a)=ma$ identifies these groups with vector spaces over the rational numbers, including the zero space.