If $A \rightarrow B \rightarrow C$ is exact, with morphisms a and b respectively, that is $Im(a)=ker(b)$, then $C^*\rightarrow B^* \rightarrow A^*$ is also exact?
$A^*=Hom(A,G)$
A, B, C and G are groups, but I guess it might be also a good question in the case of modules.
The inclusion $Im(b^*)\subset ker(a^*)$ is easy, but the other inclusion is quite difficult to prove (maybe not even true)
Any ideas?
Edit: I was able to prove the statement in the case b has a right inverse. Maybe this is a necessary condition, I will check it later.
Edit 2: The splitting condition is sufficient but not necessary. As was mentioned in the answers, one could choose G to be an injective object and the sequence would always be exact.