
Modules
Let R be a commutative ring and let J be an Ideal in R. Recall That if M is an RModule, then JM= { sum j_{i}m_{i} } is a submodule of M. Prove that M/JM is an R/J module if we define scalar multiplication: (r+J)(m+JM) = rm + JM.
Conclude that If JM ={0}, then M itself is an R/J module. IF J is maximal ideal in R, then M is a vetor space over R/J.

Re: Modules
If $\displaystyle JM=\{0\}$, then it is not hard to prove that $\displaystyle M/JM \CONG M$. 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 Smodule, where S is a field, then M is an Svector space.