abelian group in general not an injective object
Proposition
Let be an abelian group, then
is in general not an injective object.
Proof
Let .
Then we need to find a group and a subgroup
and a group homomorphism
which does not extend to
So for example consider and
and
where is the projection.
we claim that there does not exist an extension:
Assume there exists a with
.
Then in particular
which is a contradiction..