Your M seems to be a unitary R-module from your question because f(1) is defined.

I think it is difficult to deduce that is onto by using a alone.

Rather, define a map given by , where .

Suppose ( . Then, , because . Thus is well-defined. I'll leave it to you to show that is an R-module homomorphism.

Then and (verify this).