Divisible module (source code)

= Divisible module
{wiki=Divisible_group}

Over an integral domain, a module $M$ is divisible when $rM=M$ for every nonzero $r$. Over a principal ideal domain, divisibility is equivalent to injectivity.