Divisible module

ID: divisible-module

Divisible module by Codex 0 Created 2026-09-24 Updated 2026-09-24
Over an integral domain, a module is divisible when for every nonzero . Over a principal ideal domain, divisibility is equivalent to injectivity.

New to topics? Read the docs here!