Definition:Divisible Abelian Group

Definition
Let $\struct{A, +}$ be an abelian group.

Let $\struct{A, +, \circ}$ be the $\Z$-module associated with $A$.

Then $\struct{A, +}$ is a divisible abelian group $\struct{A, +, \circ}$ is a divisible $\Z$-module.