Divisible module
= 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.
= 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.