If , then it is not hard to prove that . Now you can define what scalar multiplcation by elements of (R/J) to M meeans using this isomorphism.

Recall That if J is a maximal ideal of R, then R/J is a field. If M is an S-module, where S is a field, then M is an S-vector space.