Skip to main content
1 of 2
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

No.

$\varprojlim_{n\in\mathbb{N}}\mathbb{Z}/p^n\mathbb{Z}=\mathbb{Z}_p$, the $p$-adic integers.

Take $I=\mathbb{Q}_p$, the $p$-adic rationals.

There is a nonzero map $\mathbb{Z}_p\to\mathbb{Q}_p$, the inclusion, but $\operatorname{Hom}(\mathbb{Z}/p^n\mathbb{Z},\mathbb{Q}_p)=0$ for every $n\in\mathbb{N}$, since $\mathbb{Q}_p$ is torsion-free.

Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151