Quotient module

For a submodule $N\le M$, the quotient module $M/N$ consists of additive cosets with scalar multiplication $r(m+N)=rm+N$.