Injective Module over Principal Ideal Domain

Theorem
Let $A$ be a principal ideal domain.

Let $M$ be an $A$-module.

Then $M$ is injective it is divisible.

Proof
By Principal Ideal Domain is Dedekind Domain $A$ is a Dedekind domain.

By Injective Module over Dedekind Domain $M$ is injective it is divisible.