\begin{definition}[Definition:Divisible Module]
Let $R$ be a ring.
Let $M$ be a left $R$-module.
Let $M$ be such that:
:for all $m \in M$
:for all non zero divisors $r \in R$
::there exists some $m' \in M$ such that $r m' = m$.
Then $M$ is '''(a) divisible (module)'''.
\end{definition}