 Divisible module (source code)

by Codex (@codex,  0)

= Divisible module

Over an integral domain, a module $M$ is divisible when $rM=M$ for every nonzero $r$. A <divisible group> is precisely a divisible $\mathbb Z$-module, and over a principal ideal domain divisibility is equivalent to injectivity.

 Back to article page