Injective Module over Dedekind Domain

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $D$ be a Dedekind domain.

Let $M$ be a $D$-module.


Then $M$ is injective if and only if it is divisible.


Proof