Here is the problem I'm working on:
Let be an associative ring with , a right -module, a homomorphism of -modules with . Prove that there is a decomposition with and is an isomorphism.
I think that should be the kernel of . Then should be something like , but it seems like I need something that's actually in instead. What should I use for , and how do I show that and is an isomorphism?