Are all $\mathbb{Z}/(6)$-modules injective? I'm trying to show that every $\mathbb{Z}/(6)$ module is injective. My strategy is to use Baer's Criterion.
The only nontrivial ideals of $\mathbb{Z}/(6)$ are $(2)=(4)=\{0,2,4\}$ and $(3)=\{0,3\}$. Suppose $g:(2)\to Q$ is a morphism into any $\mathbb{Z}/(6)$ module $Q$. I try to extend it some $G$ on all of $\mathbb{Z}/(6)$. I know $G$ will be uniquely determined by $G(1)$. From 
$$
g(2)=G(2)=2G(1)
$$
and $2g(4)=g(8)=g(2)=2G(1)$, I want to define $G(1)=g(4)$ and extend homomorphically. It seems to check out that $G$ is an extension of $g$. My concern is, is there some guarantee that just setting $G(1)=g(4)$ is ok? Will $G(1)$ be well-defined to extend to a module homomorphism on all of $\mathbb{Z}/(6)$?

*

*Every module over a field (i.e. vector space) is injective.

*If $C_1,C_2$ are categories with injective objects $I_1 \in C_1$, $I_2 \in C_2$, then $(I_1,I_2)$ is an injective object of $C_1 \times C_2$.

*If $R_1,R_2$ are rings, there is an equivalence of categories $\mathsf{Mod}(R_1 \times R_2) \simeq\mathsf{Mod}(R_1) \times \mathsf{Mod}(R_2)$.

*Chinese Remainder Theorem.
Combining these basic facts, we get that in $\mathsf{Mod}(\mathbb{Z}/6) \simeq \mathsf{Mod}(\mathbb{F}_2) \times \mathsf{Mod}(\mathbb{F}_3)$ every object is injective.
In order to make your proof work, use $\hom(\mathbb{Z}/n,A) \cong \{a \in A : n \cdot a = 0\}$, $f \mapsto f(1)$.
