you forgot to mention that R is commutative.

a) --> b) is trivial by the definition of a field. for b) --> c) look at the kernel of the homomorphism, which is an ideal of R.

for c) --> a) suppose that r is a non-zero element of R and put I = Rr, S = R/I and take f : R ---> S to be the natural homomorphism.