Divisible group (source code)

= Divisible group
{wiki}

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$.